The Mathematical Experience |
From inside the book
Results 1-3 of 19
Page 337
... Hilbert program was unattainable — that any con- sistent formal system strong enough to contain elementary ... Hilbert's program rested on two unexamined premises ; first , the Kantian premise that something in mathematics— at least the ...
... Hilbert program was unattainable — that any con- sistent formal system strong enough to contain elementary ... Hilbert's program rested on two unexamined premises ; first , the Kantian premise that something in mathematics— at least the ...
Page 338
... Hilbert was able to envision even the possibility of a mathematical justification of mathematics . Brouwer , who like Hilbert took it for granted that math- ematics could and should be established on a " sound " and " firm " foundation ...
... Hilbert was able to envision even the possibility of a mathematical justification of mathematics . Brouwer , who like Hilbert took it for granted that math- ematics could and should be established on a " sound " and " firm " foundation ...
Page 437
... Hilbert , D. , 2 , 157 , 183 , 225 , 229 , 323 , 338 Hilbert space , 268 Hobbes , T. , 148 Honsburger , R. , 309 , 316 Horn , W. , 100 Horoscope , 106 Hrbacek , K. , 140 , 155 Hrosvita of Gandersheim , 110 Humanism , 50 Hume , D. , 329 ...
... Hilbert , D. , 2 , 157 , 183 , 225 , 229 , 323 , 338 Hilbert space , 268 Hobbes , T. , 148 Honsburger , R. , 309 , 316 Horn , W. , 100 Horoscope , 106 Hrbacek , K. , 140 , 155 Hrosvita of Gandersheim , 110 Humanism , 50 Hume , D. , 329 ...
Other editions - View all
The Mathematical Experience, Study Edition Philip Davis,Reuben Hersh,Elena Anne Marchisotto Limited preview - 2011 |
The Mathematical Experience, Study Edition Philip Davis,Reuben Hersh,Elena Anne Marchisotto Limited preview - 2011 |
The Mathematical Experience: Study Edition Philip J. Davis,Reuben Hersh,Elena Anne Marchisotto Limited preview - 1995 |
Common terms and phrases
abstract aesthetic algebra algorithmic analysis analytic answer applications argument arithmetic asserts axiom of choice Bibliography calculus called century circle complex conjecture construct continuum hypothesis course definition differential equations elements ematics Euclid Euclidean geometry Euler example existence experience fact figure finite formal language formalist formula Fourier Fourier series function Further Readings G. H. Hardy Hilbert human hypercube hypersquares idea ideal infinite set infinitesimal infinity integers intuition knowledge Lakatos logic mathe mathematical objects mathematical proof mathematicians matics means ment method natural numbers non-Euclidean geometry non-Riemannian nonstandard notion number theory parallel postulate philosophy of mathematics physical Platonism Platonist possible postulate prime number prime number theorem problem proof proved question real numbers reason restricted set theory result rigorous sense solution square statement straight line symbols theorem thing tion triangle true truth universe words zero