共 15 条
[1]
Anderson J. R.(2005)Human symbol manipulation within an integrated cognitive architecture Cognitive Science 29 313-341
[2]
Awodey S.(2004)An answer to G. Hellman’s question ‘Does category theory provide a framework for mathematical structuralism?’ Philosophia Mathematica 12 54-64
[3]
Dehaene S.(2004)Arithmetic and the brain Current Opinion in Neurobiology 14 218-224
[4]
Molko N.(2003)Intentional gaps in mathematical proofs Synthese 134 45-69
[5]
Cohen L.(1963)Is justified true belief knowledge? Analysis 23 121-123
[6]
Wilson A. J.(2004)The mathematics of the past: Distinguishing its history from our heritage Historia Mathematica 31 163-185
[7]
Fallis D.(1990)Abstract planning and perceptual chunks: Elements of expertise in geometry Cognitive Science 14 511-550
[8]
Gettier E.(2006)The Poincaré Conjecture–Proved Science 314 1848-1849
[9]
Grattan-Guinness I.(2005)Book review: Notices of the American Mathematical Society 52 44-47
[10]
Koedinger K. R.(1998) and Hales’s proof Journal of Experimental Psychology: General 127 377-397