Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
The Nachlass of Kurt Gödel: an overview
View through CrossRef
Abstract
The Nachlass of Kurt Gödel was bequeathed by him to his wife Adele, who donated it to the Institute for Advanced Study in his memory prior to her death in 1981. Under terms of her will, literary rights to the papers are also vested in the Institute for Advanced Study. The papers comprise documents relating to all periods of Godel’s life, including scientific correspondence, notebooks, drafts, unpublished manuscripts, academic, legal, and financial records and all manner of loose notes and memoranda.
Title: The Nachlass of Kurt Gödel: an overview
Description:
Abstract
The Nachlass of Kurt Gödel was bequeathed by him to his wife Adele, who donated it to the Institute for Advanced Study in his memory prior to her death in 1981.
Under terms of her will, literary rights to the papers are also vested in the Institute for Advanced Study.
The papers comprise documents relating to all periods of Godel’s life, including scientific correspondence, notebooks, drafts, unpublished manuscripts, academic, legal, and financial records and all manner of loose notes and memoranda.
Related Results
Alfred Tarski
Alfred Tarski
Abstract
Alfred Tarski first met Kurt Gödel on the occasion of his visit to Vienna early in 1930, at the invitation of Karl Menger. Their subsequent contact, both pe...
Hilbert and his famous problem
Hilbert and his famous problem
In 1936 mathematics was changing profoundly, thanks to Turing and his fellow revolutionaries Gödel and Church. Older views about the nature of mathematics, such as those powerfully...
Kurt Gödel, 28 April 1906 - 14 January 1978
Kurt Gödel, 28 April 1906 - 14 January 1978
Abstract
Kurt Gödel did not invent mathematical logic; his famous work in the thirties settled questions which had been clearly formulated in the preceding quarte...
Rosser Systems
Rosser Systems
Our first proof of the incompleteness of P.A. was based on the assumption that P.A. is correct. Gödel’s proof of the last chapter was based on the metamathematically weaker assumpt...
Many Valued Logic of Gödel and Łukasiewicz
Many Valued Logic of Gödel and Łukasiewicz
Gödel and Łukasiewicz proposed the three-valued logic by adding the third logical situation, which includes uncertainty and ambiguity, to the classical two logical values, true or ...
Leonard Goddard
Leonard Goddard
Abstract
Leonard Goddard (b. 1925) was a senior lecturer in philosophy at the University of New England in New South Wales, Australia when he wrote to Gödel in 1965....
Introductory note to *1930c
Introductory note to *1930c
Abstract
This item is, apparently, the lecture Gödel delivered on 6 Septem ber 1930 at the Conference on Epistemology of the Exact Sciences in Konigsberg. In it Göde...
İngiliz Seyyahların Gözüyle Ondokuzuncu Yüzyılda Kürtler
İngiliz Seyyahların Gözüyle Ondokuzuncu Yüzyılda Kürtler
İngiliz Seyyahların Gözüyle Ondokuzuncu Yüzyılda Kürtler adlı kitap, 19. yüzyılda Kürt toplumunun idari ve toplumsal yapısını oluşturan unsurların İngiliz seyyahların gözlemleri ve...