Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Hilary W. Putnam"'
Autor:
Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr
This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely a
Autor:
Hilary W. Putnam
In the Encyclopedia of Philosophy (Edwards, 1967, 348–49), the article by Jean van Heijenoort titled “Godel's Theorem” begins with the following terse paragraphs: By Godel's theorem the following statement is generally meant: In any formal syst
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::119358ad445ac3db49bcd8278e07a2b1
https://doi.org/10.1017/cbo9780511974236.018
https://doi.org/10.1017/cbo9780511974236.018