[Challenged by [challenged by [challenged by the Incompleteness Theorems]]] - a review of K. Godel, "Uber fromal unentscheidbare Satze der Principia Mathematica und verwandter Systeme I", translated and commented by Susumu Hayashi and Mariko Yasugi , / Kazuyuki Tanaka, "Challenged by Godel"

Journal of the Japan Association for Philosophy of Science 41 (1):63-80 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.4288/kisoron.41.1_63

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.
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.
Uber formal entscheidbare Saatzenkonjunktionen der principia Theologica und verwandter Systeme.K. G. GotkÜrdel - 1970 - Analysis 30 (4):140-144.
Uber formal entscheidbare Satzenkonjunktionen der Principia Theologica und verwandter Systeme.K. G. GotkÜrdel - 1970 - Analysis 30 (4):140.
Completeness and the Ends of Axiomatization.Michael Detlefsen - 2014 - In Juliette Cara Kennedy (ed.), Interpreting Gödel. New York: Cambridge University Press. pp. 59-77.
Gödel’s Incompleteness Theorems and Physics.Newton C. A. Da Costa - 2011 - Principia: An International Journal of Epistemology 15 (3):453-459.
B. Meltzer. Preface. On formally undecidable propositions of Principia mathematica and related systems, by Kurt Gödel, translated by B. Meltzer, with Introduction by R. B. Braithwaite, Oliver & Boyd, Edinburgh and London1962, pp. vii–viii. - R. B. Braithwaite. Introduction. On formally undecidable propositions of Principia mathematica and related systems, by Kurt Gödel, translated by B. Meltzer, with Introduction by R. B. Braithwaite, Oliver & Boyd, Edinburgh and London1962, pp. 1–32. [REVIEW]Alonzo Church - 1965 - Journal of Symbolic Logic 30 (3):357-359.
logicism, intuitionism, and formalism - What has become of them?Sten Lindstr©œm, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) - 2008 - Berlin, Germany: Springer.
Review of Kazuyuki Nomoto "Frege Tetsugaku no Zenbou (Gottlob Freges Logizismus und seine logische Semantik als der Prototyp)". [REVIEW]Hidenori Kurokawa - 2014 - Journal of the Japan Association for Philosophy of Science 42 (1):39-54.
We'll Meet Again: The Intrepid Logician Kurt Gödel Believed in the Afterlife.Alexander T. Englert - 2024 - Aeon 1.

Analytics

Added to PP
2019-10-04

Downloads
3 (#1,728,269)

6 months
1 (#1,516,001)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Extensions of some theorems of gödel and church.Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):87-91.
Slim models of zermelo set theory.A. R. D. Mathias - 2001 - Journal of Symbolic Logic 66 (2):487-496.
Incompatible Ω-Complete Theories.Peter Koellner & W. Hugh Woodin - 2009 - Journal of Symbolic Logic 74 (4):1155 - 1170.

Add more references