Jump to content

Gödel's incompleteness theorems: Revision history

View logs for this page (view filter log)

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 07:3607:36, 1 November 2024 2600:6c44:117f:95be:a9fc:7094:f10c:aee0 talk 93,992 bytes −63 →Implications for consistency proofs: Conciseness undo [accepted by TheWikiToby]
curprev 07:3407:34, 1 November 2024 2600:6c44:117f:95be:a9fc:7094:f10c:aee0 talk 94,055 bytes +4 →Implications for consistency proofs: Fixed grammar undo

curprev 22:2922:29, 5 July 2024 I am One of Many talk contribs 94,051 bytes −2 Reverted 1 edit by 2604:2000:2FC0:F:E123:5FF5:2949:5DEF (talk): Not a grammatical improvement undo Tags: Twinkle Undo [automatically accepted]

curprev 05:0605:06, 3 July 2024 2604:2000:2fc0:f:e123:5ff5:2949:5def talk 94,053 bytes +2 No edit summary undo Tag: Reverted [accepted by TurboSonic]

curprev 11:4511:45, 2 July 2024 InternetArchiveBot talk contribs 94,051 bytes +180 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo [automatically accepted]

curprev 11:1411:14, 26 June 2024 84.163.212.197 talk 93,871 bytes −3 →First incompleteness theorem undo Tag: Manual revert [automatically accepted]
curprev 11:1311:13, 26 June 2024 84.163.212.197 talk 93,874 bytes +3 →First incompleteness theorem undo Tag: Reverted

curprev 09:3609:36, 10 June 2024 Koavf talk contribs 93,871 bytes +112 →top undo [automatically accepted]

curprev 01:4401:44, 29 May 2024 GreenC bot talk contribs 93,759 bytes +37 Rescued 1 archive link. Wayback Medic 2.5 per WP:URLREQ#webcitation.org undo [automatically accepted]

curprev 13:4813:48, 13 May 2024 Magioladitis talk contribs m 93,722 bytes +11 Moved punctuation mark to correct place + other fixes, References after punctuation per WP:CITEFOOT and WP:PAIC undo Tag: AWB [automatically accepted]

curprev 15:4615:46, 9 May 2024 David Eppstein talk contribs m 93,711 bytes −177 Reverted edits by 50.223.161.42 (talk) to last version by Wbm1058 undo Tag: Rollback [automatically accepted]
curprev 15:1815:18, 9 May 2024 50.223.161.42 talk 93,888 bytes +12 No edit summary undo Tag: Reverted
curprev 15:1715:17, 9 May 2024 50.223.161.42 talk 93,876 bytes +165 No edit summary undo Tag: Reverted

curprev 03:0003:00, 7 May 2024 Wbm1058 talk contribs 93,711 bytes −17 →Construction of a statement about "provability": removing hatnote for Bew undo [automatically accepted]

curprev 05:3805:38, 31 March 2024 Citation bot talk contribs 93,728 bytes +37 Altered pages. Add: issue, doi. Formatted dashes. | Use this bot. Report bugs. | Suggested by LeapTorchGear | #UCB_webform 39/74 undo [automatically accepted]
curprev 05:2205:22, 31 March 2024 InternetArchiveBot talk contribs 93,691 bytes +149 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5) (LeapTorchGear - 18495 undo [automatically accepted]

curprev 18:4718:47, 23 March 2024 Turtlens talk contribs m 93,542 bytes +41 →Books about the theorems: ISBNs undo [automatically accepted]

curprev 13:4213:42, 16 March 2024 Vanderwaalforces talk contribs 93,501 bytes −72 Reverted 1 pending edit by 93.86.237.45 to revision 1210755310 by WikiCleanerBot: Spam undo Tag: Manual revert [automatically accepted]
curprev 13:4113:41, 16 March 2024 93.86.237.45 talk 93,573 bytes +72 →External links undo Tag: Reverted

curprev 05:3205:32, 28 February 2024 WikiCleanerBot talk contribs m 93,501 bytes −3 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner [automatically accepted]

curprev 14:3814:38, 12 February 2024 2a02:8109:af81:9400:4845:144b:4373:f801 talk 93,095 bytes 0 →Diagonalization undo Tag: Manual revert [automatically accepted]
curprev 14:3714:37, 12 February 2024 2a02:8109:af81:9400:4845:144b:4373:f801 talk 93,095 bytes 0 →Diagonalization undo Tag: Reverted

curprev 19:3919:39, 18 January 2024 Duckmather talk contribs m 93,095 bytes −1 move hatnote down to the appropriate section undo Tag: Visual edit [automatically accepted]

curprev 01:1901:19, 6 January 2024 OAbot talk contribs m 93,096 bytes +18 Open access bot: arxiv updated in citation with #oabot. undo [automatically accepted]

curprev 09:5909:59, 15 December 2023 FatalSubjectivities talk contribs 93,078 bytes +22 →Minds and machines: blockquote undo [automatically accepted]

Retrieved from "https://en.wikipedia.org/wiki/Gödel%27s_incompleteness_theorems"