Kurt Gödel and the Foundations of Mathematics

2019 ◽  
Vol 22 (3) ◽  
pp. 411-438
Author(s):  
Gustavo Augusto Fonseca

In The Principles of Mechanics, physicist Heinrich Hertz argues that instead of replying to the question “what is force?” like physicists and philosophers had been doing unsuccessfully, Newtonian physics should be reformulated without considering “force” a basic concept. Decades after Hertz’s book, Ludwig Wittgenstein considered the physicist’s proposal a perfect model for how philosophical problems should be solved, to the point that he made it the foundation of his way of doing philosophy. This article addresses Wittgenstein’s way of doing philosophy, while it also proposes the reason why he failed in solving the philosophical problems — as did Hertz in his project on reformulating Newtonian physics without considering the concept “force”. And to illustrate Wittgenstein’s failure, it examines his disputes with mathematicians Kurt Gödel and Alan Turing on the foundations of mathematics.


Author(s):  
Jan von Plato

It may sound paradoxical, but if around 1930 Kurt Gödel had not thought very deeply about the foundations of mathematics, there would be no information society in the form in which we have it today. Gödel’s solitary work was the single most important factor in the development of precise theories of formal languages, ones that through the coding he invented could be handled by a machine. Likewise, his work led to precise notions of algorithmic computability from which a direct path led to the first theoretical ideas of a computer, in the work of Alan Turing in 1936 and John von Neumann some years later....


Sign in / Sign up

Export Citation Format

Share Document