"Abstract representations of numbers in the animal and human brain" | |
---|---|
" in his History of Western Philosophy• is simply the study of abstract structures, or formal patterns of connectedness | "The Feynman Integral and Feynman's Operational Calculus" |
Proof and Other Dilemmas: Mathematics and Philosophy | Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists |
---|---|
, , September 27, 2010 | American Mathematical Society 1991 reprint |
[I]t is first necessary to ask what is meant by mathematics in general | , Bruno, Leonard 2003 [1999] |
---|---|
4 "A few complain that the computer program can't be verified properly", in reference to the Haken—Apple proof of the Four Color Theorem | Shasha, Dennis Elliot; Lazere, Cathy A |