T. Holyoke and S. W. Hahn, Eds., (1968): Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel. Berlin: Springer Verlag. DM. 39. Pp. 228.

1970 ◽  
Vol 21 (4) ◽  
pp. 403-404
Author(s):  
JOHN P. CLEAVE
Keyword(s):  
Foundations Of Mathematics ◽  
Sixtieth Birthday ◽  
Kurt Gödel

scholarly journals Observações sobre a meta final do modo de fazer filosofia de Ludwig Wittgenstein

2019 ◽  
Vol 22 (3) ◽  
pp. 411-438
Author(s):  
Gustavo Augusto Fonseca
Keyword(s):  
Ludwig Wittgenstein ◽  
Basic Concept ◽  
Foundations Of Mathematics ◽  
Newtonian Physics ◽  
Alan Turing ◽  
Kurt Gödel ◽  
Perfect Model ◽  
Proposal A ◽  
Heinrich Hertz

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.

Prologue

2017 ◽  
Author(s):  
Jan von Plato
Keyword(s):  
Information Society ◽  
Formal Languages ◽  
Foundations Of Mathematics ◽  
Direct Path ◽  
John Von Neumann ◽  
Von Neumann ◽  
Alan Turing ◽  
Kurt Gödel

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