- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Deciding the undecidable: Wrestling with Hilbert's problems
Abstract
In the year 1900, the German mathematician David Hilbert gave a dramatic address in Paris, at the meeting of the 2nd International Congress of Mathematicians—an address which was to have lasting fame and importance. Hilbert was at that point a rapidly rising star, if not superstar, in mathematics, and before long he was to be ranked with Henri Poincar´.Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Only published works are available at libraries.
My notes
Similar books and articles
Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories.Panu Raatikainen - 2003 - Journal of Symbolic Logic 68 (1):262-266.
Über die Variationsrechnung in Hilberts Werken zur Analysis.Rüdiger Thiele - 1997 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 5 (1):23-42.
'Unsolved Problems of Mathematics' J von Neumann's address to the International Congress of Mathematicians, Amsterdam, September 2-9, 1954.Miklos Redei - 1999 - The Mathematical Intelligencer 21:7-12.
Dedekind and Hilbert on the foundations of the deductive sciences.Ansten Klev - 2011 - Review of Symbolic Logic 4 (4):645-681.
Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.
Analytics
Added to PP
2009-01-28
Downloads
65 (#255,412)
6 months
3 (#1,045,430)
2009-01-28
Downloads
65 (#255,412)
6 months
3 (#1,045,430)
Historical graph of downloads
Citations of this work
ATHEISM AS AN EXTREME REJECTION OF RATIONAL EVIDENCE FOR THE EXISTENCE OF GOD.Carlo Alvaro - 2021 - Heythrop Journal 62 (2):1-16.
References found in this work
What is Cantor's Continuum Problem?Kurt Gödel - 1947 - The American Mathematical Monthly 54 (9):515--525.
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.
Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-8fb5884b9-k4bxp uwo