Hilbert's program: Revision history

18 August 2024

• curprev 13:5013:50, 18 August 2024 2a02:1812:110c:dc00:39c1:aae3:534f:53a4 talk 8,743 bytes +130 No edit summary undo

23 June 2024

• curprev 07:5507:55, 23 June 2024 Jochen Burghardt talk contribs 8,613 bytes −13 →See also: unrelated undo

8 March 2024

• curprev 03:1103:11, 8 March 2024 PAGreenwood talk contribs m 8,626 bytes +20 Linked Alfred Tarski undo

23 December 2023

• curprev 21:5721:57, 23 December 2023 Hindi porela talk contribs 8,606 bytes −14 No edit summary undo Tag: Manual revert
• curprev 21:5421:54, 23 December 2023 Hindi porela talk contribs 8,620 bytes +14 No edit summary undo Tag: Reverted

8 July 2023

• curprev 07:1007:10, 8 July 2023 GünniX talk contribs m 8,606 bytes +13 More footnotes undo

5 July 2023

• curprev 14:2314:23, 5 July 2023 Arjayay talk contribs m 8,593 bytes −4 Duplicate word removed undo
• curprev 04:5904:59, 5 July 2023 Xpander1 talk contribs m 8,597 bytes −4 Removed unnecessary spaces undo Tag: Visual edit
• curprev 04:5804:58, 5 July 2023 Xpander1 talk contribs m 8,601 bytes +379 Added more precise date. undo Tag: Visual edit

28 April 2023

• curprev 02:2902:29, 28 April 2023 101.116.89.76 talk 8,222 bytes −14 Changed In link which takes you to instragram to In word because I'm almost certain that the word in here is meant to be a word not a link to instagram undo

9 April 2023

• curprev 22:1722:17, 9 April 2023 Schweinchen talk contribs 8,236 bytes +33 added {{No footnotes|date=April 2023}} undo Tag: 2017 wikitext editor

12 February 2023

• curprev 16:3816:38, 12 February 2023 SporkBot talk contribs m 8,203 bytes −25 Remove template per TFD outcome undo

14 October 2022

• curprev 03:0203:02, 14 October 2022 176.205.94.196 talk 8,228 bytes +1 →Statement of Hilbert's program undo

23 September 2022

• curprev 14:5814:58, 23 September 2022 95.68.107.163 talk 8,227 bytes +14 No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

26 August 2022

• curprev 13:0813:08, 26 August 2022 Ikiwi talk contribs 8,213 bytes +18 clarify ambiguous wording undo

8 February 2022

• curprev 02:2102:21, 8 February 2022 ArnoldReinhold talk contribs 8,195 bytes +95 Adding local short description: "Attempt to formalize all of mathematics, based on a finite set of axioms", overriding Wikidata description "attempt to formalize all of mathematics, based on a finite set of axioms" (Shortdesc helper) undo

3 November 2021

• curprev 17:3817:38, 3 November 2021 UrielAcosta talk contribs 8,100 bytes +7 →References: Replaced dead link with pdf of paper undo Tags: Mobile edit Mobile web edit

3 March 2021

• curprev 01:4301:43, 3 March 2021 Tom.Reding talk contribs 8,093 bytes +22 +{{Authority control}} (1 ID from Wikidata), WP:GenFixes on undo Tag: AWB

13 February 2020

• curprev 16:1516:15, 13 February 2020 WestwoodMatt talk contribs m 8,071 bytes +1 →References: Corrected title of Hilbert's work, by checking it against the Springer Math. Ann. archives undo

22 October 2019

• curprev 15:3215:32, 22 October 2019 78.15.193.193 talk 8,070 bytes −196 →Hilbert's program after Gödel: The completeness thm is not about "completeness" in the same sense of the incompleteness thm nor in the sense that ALG of fixed char is complete. Since this is confusing and it misses the point, I'll remove it undo

16 September 2019

• curprev 03:3203:32, 16 September 2019 Jarble talk contribs m 8,266 bytes +4 linking undo

1 August 2019

• curprev 10:4610:46, 1 August 2019 Ontoraul talk contribs 8,262 bytes −82 →External links: template SEP undo

3 May 2019

• curprev 06:2606:26, 3 May 2019 Tea2min talk contribs 8,344 bytes −131 Undid revision 895188828 by Sanjay9818 (talk): ? undo Tag: Undo

2 May 2019

• curprev 15:4415:44, 2 May 2019 Sanjay9818 talk contribs 8,475 bytes +131 No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

14 June 2018

• curprev 14:5014:50, 14 June 2018 TennisFans talk contribs 8,344 bytes +9 →Hilbert's program after Gödel undo
• curprev 14:4014:40, 14 June 2018 TennisFans talk contribs 8,335 bytes +14 →Gödel's incompleteness theorems undo

15 May 2018

• curprev 09:1709:17, 15 May 2018 Agor153 talk contribs m 8,321 bytes +33 →References: Journal reference undo

26 January 2018

• curprev 09:4709:47, 26 January 2018 KolbertBot talk contribs m 8,288 bytes +1 Bot: HTTP→HTTPS (v481) undo

17 November 2017

• curprev 21:3721:37, 17 November 2017 50.234.189.7 talk 8,287 bytes 0 de-caps undo

30 June 2017

• curprev 13:0113:01, 30 June 2017 ClueBot NG talk contribs m 8,287 bytes −34 Reverting possible vandalism by 110.174.12.218 to version by 27.32.1.146. Report False Positive? Thanks, ClueBot NG. (3075551) (Bot) undo
• curprev 13:0113:01, 30 June 2017 110.174.12.218 talk 8,321 bytes +34 →Hilbert's program after Gödel undo
• curprev 13:0013:00, 30 June 2017 27.32.1.146 talk 8,287 bytes +2 →Statement of Hilbert's Program undo
• curprev 12:5812:58, 30 June 2017 Hayman30 talk contribs m 8,285 bytes −75 Reverted edits by 110.174.12.218 (talk) (HG) (3.1.22) undo Tag: Huggle
• curprev 12:5812:58, 30 June 2017 110.174.12.218 talk 8,360 bytes +71 →Hilbert's program after Gödel undo
• curprev 12:5612:56, 30 June 2017 110.174.12.218 talk 8,289 bytes +4 →Statement of Hilbert's Program undo
• curprev 11:0811:08, 30 June 2017 27.32.1.146 talk 8,285 bytes −4 →Statement of Hilbert's Program undo

13 May 2017

• curprev 14:4514:45, 13 May 2017 Chackerian talk contribs 8,289 bytes −3 No edit summary undo Tag: Visual edit

8 May 2017

• curprev 16:2016:20, 8 May 2017 Sleety Dribble talk contribs 8,292 bytes +38 C'mon, we need *some* kind of time frame. As it stood, it could have been anywhere in Hilbert's lifetime. If someone wants to risk it, please pin it down even tighter -- e.g. "first two decades"? undo

2 January 2017

• curprev 02:4502:45, 2 January 2017 CBM talk contribs 8,254 bytes −192 →Gödel's Incompleteness Theorems: copyedit undo

25 November 2016

• curprev 09:2409:24, 25 November 2016 204.11.129.243 talk 8,446 bytes +6 →Gödel's Incompleteness Theorems: fixed a minor mistake I made earlier. undo
• curprev 09:1809:18, 25 November 2016 204.11.129.243 talk 8,440 bytes +112 →Gödel's Incompleteness Theorems: fixed the wording to make it clearer for the readers. undo
• curprev 09:1309:13, 25 November 2016 204.11.129.243 talk 8,328 bytes −5 →Hilbert's program after Gödel: It's a known fact that some statements are unprovable within ZF theory. undo
• curprev 08:4108:41, 25 November 2016 204.11.129.243 talk 8,333 bytes +6 →Hilbert's program after Gödel: clarify the sentence better. undo

22 January 2016

• curprev 09:5209:52, 22 January 2016 78.156.108.25 talk 8,327 bytes +4 No edit summary undo

7 November 2015

• curprev 18:0318:03, 7 November 2015 Iridescent talk contribs m 8,323 bytes +1 →Hilbert's program after Gödel: Typo fixing, typo(s) fixed: On the other hand → On the other hand, using AWB undo

1 July 2015

• curprev 01:4301:43, 1 July 2015 Robertgreer talk contribs m 8,322 bytes +8 →External links undo

26 November 2014

• curprev 03:4703:47, 26 November 2014 198.48.203.25 talk 8,314 bytes +17 →References undo
• curprev 03:4703:47, 26 November 2014 198.48.203.25 talk 8,297 bytes +20 →External links undo

15 October 2014

• curprev 10:4310:43, 15 October 2014 Jdaloner talk contribs m 8,277 bytes −7 Changed how this is sorted in "Hilbert's problems" category. undo

22 August 2014

• curprev 19:0019:00, 22 August 2014 Discospinster talk contribs m 8,284 bytes 0 Reverted edits by 70.182.26.12 (talk) to last version by 24.248.213.41 undo