Mathematics - Proving a link between logic and origami

被引：1
|
作者：
Cipra, B
机构：
来源：
SCIENCE | 1998年 / 279卷 / 5352期
关键词：
D O I：
10.1126/science.279.5352.804
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：804 / 805
页数：2
相关论文
共 50 条
  • [1] ON THE DEMARCATION BETWEEN LOGIC AND MATHEMATICS
    WEINGARTNER, P
    [J]. MONIST, 1982, 65 (01): : 38 - 51
  • [2] Proving the link
    Katherine Whalley
    [J]. Nature Reviews Neuroscience, 2009, 10 (10) : 694 - 694
  • [3] Proving and constraint solving in computational origami
    Ida, T
    Tepeneu, D
    Buchberger, B
    Robu, J
    [J]. ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2004, 3249 : 132 - 142
  • [4] Origami and Learning Mathematics
    Pope, Sue
    Lam, Tung Ken
    [J]. ORIGAMI(5): FIFTH INTERNATIONAL MEETING OF ORIGAMI SCIENCE, MATHEMATICS, AND EDUCATION, 2011, : 205 - 217
  • [5] The link between deductive reasoning and mathematics
    Morsanyi, Kinga
    McCormack, Teresa
    O'Mahony, Eileen
    [J]. THINKING & REASONING, 2018, 24 (02) : 234 - 257
  • [6] RELATION BETWEEN MATHEMATICS, PHYSICS AND LOGIC
    RIES, JD
    [J]. MATRIX AND TENSOR QUARTERLY, 1969, 19 (03): : 108 - &
  • [7] The link between logic, mathematics and imagination: evidence from children with developmental dyscalculia and mathematically gifted children
    Morsanyi, Kinga
    Devine, Amy
    Nobes, Alison
    Szucs, Denes
    [J]. DEVELOPMENTAL SCIENCE, 2013, 16 (04) : 542 - 553
  • [8] Proof Documents for Automated Origami Theorem Proving
    Ghourabi, Fadoua
    Ida, Tetsuo
    Kasem, Asem
    [J]. AUTOMATED DEDUCTION IN GEOMETRY, 2011, 6877 : 78 - +
  • [9] On proving in epistemic logic
    Grzegorczyk, Dawid
    Mulawka, Jan J.
    Nieznanski, Edward
    [J]. PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2012, 2012, 8454
  • [10] Proving completeness by logic
    Escoffier, B
    Paschos, VT
    [J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2005, 82 (02) : 151 - 161
12345