![]() | This article is rated Start-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||||||||||||||||||
|
I think that all the references in this article should specifically pertain to the paper, its translations, or reviews or commentary on them. So I think that some of the general references to Godel's theorems that were added here belong in the article on the theorems, not here. I'm copying some of the references here to sort them out. CMummert · talk 19:59, 25 January 2007 (UTC)
- Torkel Franzen, (2005). Gödel's Theorem: An Incomplete Guide to Its Use and Abuse, A. K. Peter's, Ltd. Wellesley, MA. ISBN 1-56881-238-8. Few equations but more advanced than Goldstein.
- Ernest Nagel and James Newman, 1958, Gödel's Proof, New York University Press, New York; no ISBN] Card Catalog 58-5610. Small, brief, detailed and dense, but useful for a first, extended introduction to the proof. Mentioned by Dawson (1997, p. 215) as "a popular exposition of the incompleteness theorems".
- Rebecca Goldstein, (2005). Incompleteness: The Proof and Paradox of Kurt Gödel, W. W. Norton & Company, New York. ISBN 0-393-32760-4 pbk. No formulas -- entirely a verbal account, cf in particular chapter III: "The Proof of Incompleteness".
I integrated quite a bit of the annotations from the references into the main article. They made a big defference in the section on the translations, which is less cold now. CMummert · talk 03:09, 26 January 2007 (UTC)
I am confused about the intent/reason for this article -- is it to expand on the "main article?" Or will this one eventually be fleshed out? If not then dispense with it and move the translation section back to the lead article, perhaps as a footnote. If it were left to me I would move the more detailed stuff here -- e.g. flesh this one out with the detailed Godelization examples (kind of like what Davis did) and with a more detailed description -- how he went about it -- and use the "main" article to discuss at "top-level" the issues of consistency etc. -- hard issues for us non-specialists to get a handle on. As it is you have to go back to read the details, then go to Godel numbers to get a handle on that, etc etc. To read about "Godel's theorems" becomes a link-fest.wvbailey Wvbailey 15:22, 26 January 2007 (UTC)
Does anyone have information on the current copyright status of Gödel's paper? I notice that it is linked to at the bottom, which suggests that publication is legal; in this case, it might be worthwhile to wikisource it. -- Ian Maxwell ( talk) 15:44, 30 March 2008 (UTC)
Does anyone know which translation appears in Gödel's Collected works vol 1, edited by Feferman? The article should mention this. 75.62.109.146 ( talk) 23:48, 22 February 2010 (UTC)
---
I now have a cc of Feferman et. al. (editors), 1986, Kurt Gõdel: Collected Works, Oxford University Press, Oxford and New York, ISBN 13: 978-0-195-14720-9. The published version of Goedel's 1931 appears on alternate pages 140ff -- German on the left (the even) pages and the English translation by van Heijenoort on the right (the odd) pages; this translation also appears in van Heijenoort 1967. See the note center-page 141 just after the introduction by Stephen C. Kleene to this effect. Note that, along with Feferman, Dawson, Kleene, Moore, and Solovay, van Heijenoort was an editor of this collection. Bill Wvbailey ( talk) 03:45, 26 February 2010 (UTC)
It now reads with my words in (so that nobody gets disappointed anymore): On formally undecidable propositions of Principia Mathematica and related systems I. Translated by Martin Hirzel, November 27, 2000, breviated, section 3 and 4 omitted so as to make this copy free! with a dot removed and ", breviated, section 3 and 4 omitted so as to make this copy free!" added. I hope you find it useful. For people who know some German and how to handle Google Translate, here is the same paper in German: https://metalab.at/wiki/images/0/0b/Goedel.pdf "Uber formal unentscheidbare Sätze der Principia mathematica und verwandter. Systeme I" - Complete this time. Feel free to change the words. I've been a bit "coarse" on it. 62.16.241.158 ( talk) 22:31, 18 June 2012 (UTC)
![]() | This article is rated Start-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||||||||||||||||||
|
I think that all the references in this article should specifically pertain to the paper, its translations, or reviews or commentary on them. So I think that some of the general references to Godel's theorems that were added here belong in the article on the theorems, not here. I'm copying some of the references here to sort them out. CMummert · talk 19:59, 25 January 2007 (UTC)
- Torkel Franzen, (2005). Gödel's Theorem: An Incomplete Guide to Its Use and Abuse, A. K. Peter's, Ltd. Wellesley, MA. ISBN 1-56881-238-8. Few equations but more advanced than Goldstein.
- Ernest Nagel and James Newman, 1958, Gödel's Proof, New York University Press, New York; no ISBN] Card Catalog 58-5610. Small, brief, detailed and dense, but useful for a first, extended introduction to the proof. Mentioned by Dawson (1997, p. 215) as "a popular exposition of the incompleteness theorems".
- Rebecca Goldstein, (2005). Incompleteness: The Proof and Paradox of Kurt Gödel, W. W. Norton & Company, New York. ISBN 0-393-32760-4 pbk. No formulas -- entirely a verbal account, cf in particular chapter III: "The Proof of Incompleteness".
I integrated quite a bit of the annotations from the references into the main article. They made a big defference in the section on the translations, which is less cold now. CMummert · talk 03:09, 26 January 2007 (UTC)
I am confused about the intent/reason for this article -- is it to expand on the "main article?" Or will this one eventually be fleshed out? If not then dispense with it and move the translation section back to the lead article, perhaps as a footnote. If it were left to me I would move the more detailed stuff here -- e.g. flesh this one out with the detailed Godelization examples (kind of like what Davis did) and with a more detailed description -- how he went about it -- and use the "main" article to discuss at "top-level" the issues of consistency etc. -- hard issues for us non-specialists to get a handle on. As it is you have to go back to read the details, then go to Godel numbers to get a handle on that, etc etc. To read about "Godel's theorems" becomes a link-fest.wvbailey Wvbailey 15:22, 26 January 2007 (UTC)
Does anyone have information on the current copyright status of Gödel's paper? I notice that it is linked to at the bottom, which suggests that publication is legal; in this case, it might be worthwhile to wikisource it. -- Ian Maxwell ( talk) 15:44, 30 March 2008 (UTC)
Does anyone know which translation appears in Gödel's Collected works vol 1, edited by Feferman? The article should mention this. 75.62.109.146 ( talk) 23:48, 22 February 2010 (UTC)
---
I now have a cc of Feferman et. al. (editors), 1986, Kurt Gõdel: Collected Works, Oxford University Press, Oxford and New York, ISBN 13: 978-0-195-14720-9. The published version of Goedel's 1931 appears on alternate pages 140ff -- German on the left (the even) pages and the English translation by van Heijenoort on the right (the odd) pages; this translation also appears in van Heijenoort 1967. See the note center-page 141 just after the introduction by Stephen C. Kleene to this effect. Note that, along with Feferman, Dawson, Kleene, Moore, and Solovay, van Heijenoort was an editor of this collection. Bill Wvbailey ( talk) 03:45, 26 February 2010 (UTC)
It now reads with my words in (so that nobody gets disappointed anymore): On formally undecidable propositions of Principia Mathematica and related systems I. Translated by Martin Hirzel, November 27, 2000, breviated, section 3 and 4 omitted so as to make this copy free! with a dot removed and ", breviated, section 3 and 4 omitted so as to make this copy free!" added. I hope you find it useful. For people who know some German and how to handle Google Translate, here is the same paper in German: https://metalab.at/wiki/images/0/0b/Goedel.pdf "Uber formal unentscheidbare Sätze der Principia mathematica und verwandter. Systeme I" - Complete this time. Feel free to change the words. I've been a bit "coarse" on it. 62.16.241.158 ( talk) 22:31, 18 June 2012 (UTC)