Proof sketch for Gödel's first incompleteness theorem: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 20:2720:27, 2 September 2024‎ 64.98.231.246 talk‎ 22,879 bytes −2‎ →‎The provability relation undo

curprev 21:4621:46, 11 August 2024‎ MichaelMaggs talk contribs‎ 22,881 bytes +54‎ Adding local short description: "Summary of a mathematical proof", overriding Wikidata description "proof sketch" undo Tag: Shortdesc helper

curprev 18:1518:15, 12 February 2024‎ Joyous! talk contribs‎ m 22,827 bytes +4‎ Reverted 1 edit by 193.6.168.192 (talk) to last revision by Benny121221 undo Tags: Twinkle Undo
curprev 18:1418:14, 12 February 2024‎ 193.6.168.192 talk‎ 22,823 bytes −4‎ →‎The provability relation undo Tag: Reverted

curprev 23:4023:40, 14 July 2023‎ Benny121221 talk contribs‎ m 22,827 bytes +14‎ Note that this proof considers 0 to be a natural number undo

curprev 08:0408:04, 30 May 2023‎ 148.252.141.145 talk‎ 22,813 bytes +1‎ →‎Gödel numbering: ‘Sentence’ for ‘formula’ undo Tags: Mobile edit Mobile web edit

curprev 20:1620:16, 22 August 2022‎ Kreizl talk contribs‎ m 22,812 bytes −1‎ →‎Self-referential formula: same typo again (that makes the formula not well formed) undo
curprev 20:1320:13, 22 August 2022‎ Kreizl talk contribs‎ m 22,813 bytes −1‎ →‎Self-referential formula: typo -- eliminated stray comma that made the formula not well formed undo

curprev 22:4122:41, 6 August 2022‎ Mgkrupa talk contribs‎ m 22,814 bytes +22‎ Added {{Mathematical logic}} undo

curprev 21:1521:15, 17 December 2021‎ 74.111.24.115 talk‎ 22,792 bytes 0‎ Improved clarity of this line. undo

curprev 15:0615:06, 4 June 2021‎ Ardub23 talk contribs‎ m 22,792 bytes −1‎ →‎Gödel numbering: Replaced large ✕ dingbat with standard multiplication sign × undo

curprev 06:2906:29, 25 May 2021‎ Beland talk contribs‎ m 22,793 bytes 0‎ convert special characters (via WP:JWB) undo

curprev 20:2720:27, 29 March 2021‎ Blakestern talk contribs‎ 22,793 bytes +1‎ Undid revision 1014931120 by Blakestern (talk) undo Tag: Undo
curprev 20:2520:25, 29 March 2021‎ Blakestern talk contribs‎ m 22,792 bytes −1‎ →‎Boolos's short proof: removed extra "f" on the word iff undo Tag: Reverted

curprev 23:4723:47, 22 February 2021‎ 131.111.184.86 talk‎ 22,793 bytes 0‎ →‎Gödel numbering undo

curprev 22:0922:09, 12 January 2021‎ WikiCleanerBot talk contribs‎ m 22,793 bytes 0‎ v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 09:1409:14, 27 September 2020‎ Razcomdary talk contribs‎ 22,793 bytes +14‎ No edit summary undo Tags: Mobile edit Mobile web edit

curprev 23:1723:17, 8 June 2020‎ Andresroliveira talk contribs‎ 22,779 bytes −19‎ →‎References: change link http://hirzels.com/martin/papers/canon00-goedel.pdf undo Tag: Visual edit

curprev 15:2615:26, 27 February 2020‎ Hampshire2004 talk contribs‎ m 22,798 bytes +118‎ Added citation to GEB, mentioned in the article undo

curprev 23:1223:12, 13 September 2019‎ Sam-2727 talk contribs‎ 22,680 bytes +47‎ Definitely undo Tag: Visual edit

curprev 20:1320:13, 9 May 2019‎ Tachyon77 talk contribs‎ m 22,633 bytes +2‎ →‎The provability relation: Removes confusion on what the Godel number refers to specifically in this statement. undo

curprev 09:0909:09, 8 March 2019‎ Bbbaat talk contribs‎ m 22,631 bytes −4‎ →‎The provability relation: clarification/style undo
curprev 09:0109:01, 8 March 2019‎ Bbbaat talk contribs‎ m 22,635 bytes +226‎ →‎Gödel numbering: Clarification of the necessary conditions on the encoding (or Gödel numbering). undo

curprev 07:2407:24, 26 February 2019‎ KarlFrei talk contribs‎ 22,409 bytes −1,756‎ →‎The provability relation: P is never referred to. Renamed PF to something understandable. (It is not referred to either... this should be changed.) undo

curprev 22:4022:40, 18 August 2018‎ Uanfala talk contribs‎ 24,165 bytes −37‎ →‎top: rm irrelevant template message undo

curprev 06:0006:00, 8 February 2018‎ 200.68.137.216 talk‎ 24,202 bytes 0‎ →‎Boolos's short proof: Changed date of the publication of the proof (I believe it was a typo), according to George Boolos article, he died on 1996, the date of the publication is on the references undo Tags: Mobile edit Mobile web edit

curprev 03:0203:02, 26 November 2017‎ Omnipaedista talk contribs‎ 24,202 bytes +2‎ MOS:NOITALIC: "Titles of shorter works should be enclosed in double quotation marks" undo

curprev 11:0711:07, 7 January 2017‎ DWIII talk contribs‎ m 24,200 bytes +42‎ →‎Hypotheses of the theory: adjusted link undo
curprev 11:0111:01, 7 January 2017‎ DWIII talk contribs‎ m 24,158 bytes +106‎ →‎Hypotheses of the theory: note on enumerability of induction axioms undo
curprev 10:2710:27, 7 January 2017‎ DWIII talk contribs‎ m 24,052 bytes +242‎ →‎Hypotheses of the theory: bold-formatting formal symbols used in example (for clarity) undo

curprev 19:2519:25, 21 September 2016‎ 92.205.6.78 talk‎ 23,810 bytes +2‎ →‎Gödel numbering undo

curprev 23:3023:30, 17 June 2016‎ Dan Gluck talk contribs‎ 23,808 bytes +257‎ →‎Outline of the proof: use and definability of primitive recursive functions undo

curprev 16:5916:59, 10 April 2016‎ Baking Soda talk contribs‎ 23,551 bytes +4‎ →‎Hypotheses of the theory: link --> free variable undo
curprev 16:4016:40, 10 April 2016‎ Baking Soda talk contribs‎ 23,547 bytes +71‎ →‎Hypotheses of the theory: link --> successor operation, Quantifier (logic), Completeness (logic) undo
curprev 16:3716:37, 10 April 2016‎ Baking Soda talk contribs‎ 23,476 bytes +12‎ →‎Hypotheses of the theory: unbold, link formal theory --> Formal system undo
curprev 16:3516:35, 10 April 2016‎ Baking Soda talk contribs‎ 23,464 bytes +10‎ clean spaces, remove empty ''Notes'' section undo

curprev 21:4621:46, 23 March 2016‎ BG19bot talk contribs‎ m 23,454 bytes −2‎ →‎Boolos's short proof: Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at [[Wikipedia talk:WikiProject Accessibility#LIS... undo

curprev 21:1621:16, 20 October 2015‎ 128.112.16.122 talk‎ 23,456 bytes +15‎ →‎Boolos's short proof undo

curprev 03:4003:40, 26 July 2015‎ 2601:681:4700:a290:a4f6:892f:f01:f3df talk‎ 23,441 bytes +7‎ →‎Gödel numbering undo

curprev 22:4122:41, 20 September 2014‎ 109.145.57.108 talk‎ 23,434 bytes 0‎ →‎The provability relation undo
curprev 22:3322:33, 20 September 2014‎ 109.145.57.108 talk‎ 23,434 bytes 0‎ No edit summary undo
curprev 22:3222:32, 20 September 2014‎ 109.145.57.108 talk‎ 23,434 bytes +66‎ →‎Hypotheses of the theory undo
curprev 21:0821:08, 20 September 2014‎ 109.145.57.108 talk‎ 23,368 bytes 0‎ →‎Hypotheses of the theory undo

curprev 22:4022:40, 20 August 2014‎ BD2412 talk contribs‎ m 23,368 bytes +19‎ →‎Boolos's short proof: minor fixes, mostly disambig links using AWB undo

curprev 14:1214:12, 3 July 2014‎ Faizan talk contribs‎ m 23,349 bytes −1‎ →‎Self-referential formula: clean up, typo(s) fixed: , → , using AWB undo

curprev 16:4316:43, 1 June 2014‎ Hobeewahn talk contribs‎ m 23,350 bytes +11‎ →‎Boolos's short proof undo

curprev 22:4922:49, 12 May 2014‎ YohanN7 talk contribs‎ 23,339 bytes −29‎ The truth of the Gödel sentence: Formatting done (?) undo
curprev 22:4422:44, 12 May 2014‎ YohanN7 talk contribs‎ 23,368 bytes +275‎ Boolos's short proof: Formatting continued undo
curprev 22:3322:33, 12 May 2014‎ YohanN7 talk contribs‎ 23,093 bytes +572‎ Self-referential formula: Formatting continued undo
curprev 21:5421:54, 12 May 2014‎ YohanN7 talk contribs‎ 22,521 bytes +8‎ Outline of the proof: Formatting continued undo

2 September 2024

11 August 2024

12 February 2024

14 July 2023

30 May 2023

22 August 2022

6 August 2022

17 December 2021

4 June 2021

25 May 2021

29 March 2021

22 February 2021

12 January 2021

27 September 2020

8 June 2020

27 February 2020

13 September 2019

9 May 2019

8 March 2019

26 February 2019

18 August 2018

8 February 2018

26 November 2017

7 January 2017

21 September 2016

17 June 2016

10 April 2016

23 March 2016

20 October 2015

26 July 2015

20 September 2014

20 August 2014

3 July 2014

1 June 2014

12 May 2014