- This entry has no external links.Add one.
Esistono problemi assolutamente insolubili? La dicotomia di Gödel
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Computazione, regolazione, informazione: in che cosa consiste la risposta di Turing 1948 a Gödel 1972?Giorgio Sandri -2007 -Discipline Filosofiche 17 (1).
Kurt Gödel. Review of Hilbert's Die Grundlegung der elementaren Zahlentheorie . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 212, 214. , p. 260.) - Kurt Gödel. English translation by John Dawson of this review. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 213, 215. - Solomon Feferman. Introductory note to 1931C. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York a. [REVIEW]Martin Davis -1990 -Journal of Symbolic Logic 55 (1):344-344.
Kurt Gödel. Einige metamathematische Resultate über Entscheidunasdefinitheit und Widerspruchsfreiheit . A reprint of 4181. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 140, 142. - Kurt Gödel. Some metamathematical results on completeness and consistency . A reprint of XXXVII 405 . Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 141, 143. - Kurt Gödel. Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I . A reprint of 4183. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. [REVIEW]Martin Davis -1990 -Journal of Symbolic Logic 55 (1):342-343.
Kurt Gödel. Review of Skolem's Über die Unmöglichkeit einer vollständigen Charakterisierung der Zahlenreihe mittels eines endlichen Axiomensystems . Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 378, 380. , pp. 193–194.) - Kurt Gödel. English translation by John Dawson of this review. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 379, 381. - Kurt Gödel. Review of Skolem's Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mil ausschlieβlich Zahlenvariablen . Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregor. [REVIEW]Martin Davis -1990 -Journal of Symbolic Logic 55 (1):347-348.
Solomon Feferman, Charles Parsons, and Steven [sic]* G. Simpson, eds. Kurt Gödel: Essays for His Centennial: Book of Essays.[author unknown] -2010 -Philosophia Mathematica 18 (3):368-369.
Kurt Gödel. Diskussion zur Grundlegung der Mathematik . A reprint of 4184. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 200, 202. - Kurt Gödel. Discussion on providing a foundation for mathematics . English translation by John Dawson of the preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 201, 203. , pp. 125-126.) - Kurt Gödel. Nachtrag. A reprint of 4185. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoor. [REVIEW]Martin Davis -1990 -Journal of Symbolic Logic 55 (1):343-343.
Kurt Gödel. Review of Church's A set of postulates for the foundation of logic . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 256, 258. , pp. 145–146.) - Kurt Gödel. English translation by John Dawson of this review. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 257, 259. - Kurt Gödel. Review of Church's A set of postulates for the foundation of logic . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon P. [REVIEW]Martin Davis -1990 -Journal of Symbolic Logic 55 (1):345-345.
Kurt Gödel. Review of Hahn's Reelle Funktionen. by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, even pp. 332– 336. , Literaturberichte, pp. 20– 22.) - Kurt Gödel. English translation by John Dawson of this review. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 odd pp. 333– 337. [REVIEW]Martin Davis -1990 -Journal of Symbolic Logic 55 (1):346-347.
Analytics
Added to PP
2015-02-06
Downloads
0
6 months
0
2015-02-06
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-vb4rf uwo