Repository | Book | Chapter
Chance against constructibility
pp. 263-281
Abstract
Some time towards the end of the last century, mathematical existence acquired a new meaning that has since become the standard one. This change can be seen in for example David Hilbert's book on the foundations of geometry of 1899. In brief, the old sense was existence as something constructed, whereas the new one was existence as consistency. So, Hilbert considered a problem to possess a solution if a contradiction could be derived from the assumption that the problem is impossible. Such an indirect proof of existence need not give any indication of how to actually find a solution or even guarantee that one can be found.
Publication details
Published in:
Hintikka Jaakko (1995) From Dedekind to Gödel: essays on the development of the foundations of mathematics. Dordrecht, Springer.
Pages: 263-281
DOI: 10.1007/978-94-015-8478-4_11
Full citation:
von Plato Jan (1995) „Chance against constructibility“, In: J. Hintikka (ed.), From Dedekind to Gödel, Dordrecht, Springer, 263–281.