Hilbert's second problem: Revision history

19 March 2024

• curprev 01:0701:07, 19 March 2024 Jabberspocky talk contribs m 14,907 bytes +30 I added a link to the Wikipedia page "Dialectica interpretation". undo

3 November 2023

• curprev 15:3715:37, 3 November 2023 KarlJacobi talk contribs m 14,877 bytes −3 Small English corrections. undo

20 June 2023

• curprev 10:4210:42, 20 June 2023 Dedhert.Jr talk contribs 14,880 bytes +75 note for someone who will need it one day undo

19 June 2023

• curprev 06:2906:29, 19 June 2023 Dedhert.Jr talk contribs 14,805 bytes +56 →References: author-mask, although it's not important very well undo

18 June 2023

• curprev 15:1815:18, 18 June 2023 Dedhert.Jr talk contribs 14,749 bytes 0 →Hilbert's problem and its interpretation: typo, it should be 1901 undo
• curprev 15:1615:16, 18 June 2023 Dedhert.Jr talk contribs 14,749 bytes +1 →Gödel's incompleteness theorem: ; undo
• curprev 15:1615:16, 18 June 2023 Dedhert.Jr talk contribs 14,748 bytes +7 →Gödel's incompleteness theorem: ndash undo
• curprev 15:1515:15, 18 June 2023 Dedhert.Jr talk contribs 14,741 bytes +1 →Gödel's incompleteness theorem: period undo
• curprev 15:1415:14, 18 June 2023 Dedhert.Jr talk contribs 14,740 bytes +316 nagel-newman 2001 undo
• curprev 15:0115:01, 18 June 2023 Dedhert.Jr talk contribs 14,424 bytes +91 →References: authorlinks undo
• curprev 11:3311:33, 18 June 2023 Dedhert.Jr talk contribs 14,333 bytes 0 →Modern viewpoints on the status of the problem: 1988 undo
• curprev 11:2711:27, 18 June 2023 Dedhert.Jr talk contribs 14,333 bytes +161 harvid undo
• curprev 11:2011:20, 18 June 2023 Dedhert.Jr talk contribs 14,172 bytes +1,105 reformat whole references and citations by templatizing the references to cs1, add inline citations, and change parenthetical referencing per WP:PAREN. undo Tag: harv-error

8 June 2023

• curprev 19:3119:31, 8 June 2023 Macrakis talk contribs 13,067 bytes 0 Changing short description from "On the consistency of arithmetic axioms" to "Consistency of the axioms of arithmetic" undo Tag: Shortdesc helper

24 August 2022

• curprev 22:3122:31, 24 August 2022 Mgkrupa talk contribs 13,067 bytes +24 Added {{Mathematical logic}} undo

26 June 2022

• curprev 01:1801:18, 26 June 2022 Citation bot talk contribs 13,043 bytes +67 Add: doi, s2cid. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

8 March 2022

• curprev 02:3602:36, 8 March 2022 Spacepotato talk contribs 12,976 bytes +17 disambiguate undo

7 February 2022

• curprev 23:5423:54, 7 February 2022 ArnoldReinhold talk contribs 12,959 bytes +62 Adding local short description: "On the consistency of arithmetic axioms", overriding Wikidata description "one of twenty-three, asking to prove the consistency of arithmetic axioms" (Shortdesc helper) undo

4 March 2021

• curprev 18:2518:25, 4 March 2021 Tom.Reding talk contribs 12,897 bytes +20 +{{Authority control}} (1 ID from Wikidata), WP:GenFixes on undo Tag: AWB

27 December 2020

• curprev 19:0919:09, 27 December 2020 Monkbot talk contribs m 12,877 bytes +4 Task 18 (cosmetic): eval 5 templates: hyphenate params (4×); undo Tag: AWB

14 January 2020

• curprev 05:4105:41, 14 January 2020 InternetArchiveBot talk contribs 12,873 bytes +43 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0 undo

22 September 2019

• curprev 04:2504:25, 22 September 2019 Monkbot talk contribs m 12,830 bytes −15 →References: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

28 April 2019

• curprev 06:0606:06, 28 April 2019 Fuuuchs talk contribs m 12,845 bytes +46 →Hilbert's problem and its interpretation: Made precise which of the 2 incompleteness theorems places a limit to a finitistic proof of the consistency of Peano Arithmetic. undo

16 May 2018

• curprev 17:2817:28, 16 May 2018 Nemo bis talk contribs 12,799 bytes +28 Added free to read link in citations with OAbot #oabot undo Tag: OAbot [1.0]

4 December 2017

• curprev 19:0019:00, 4 December 2017 Colonies Chris talk contribs 12,771 bytes +2 →Hilbert's problem and its interpretation undo

3 November 2017

• curprev 22:3122:31, 3 November 2017 InternetArchiveBot talk contribs 12,769 bytes +147 Rescuing 1 sources and tagging 0 as dead. #IABot (v1.6) undo

14 June 2017

• curprev 11:4211:42, 14 June 2017 Magic links bot talk contribs m 12,622 bytes +12 Replace magic links with templates per local RfC and MediaWiki RfC undo

6 January 2017

• curprev 14:4814:48, 6 January 2017 Praxidicae talk contribs m 12,610 bytes −71 Reverted 1 edit by Farqueinstienaldo (talk) to last revision by Magioladitis. (TW) undo
• curprev 14:4214:42, 6 January 2017 Farqueinstienaldo talk contribs m 12,681 bytes +71 added a minor quote from Hilbert about his 23 problems, in order to provide further clarity. undo Tag: Visual edit

7 March 2016

• curprev 11:4011:40, 7 March 2016 Magioladitis talk contribs m 12,610 bytes −9 WP:CHECKWIKI error fixes/ ISSN syntax fixes using AWB (11966) undo

23 December 2015

• curprev 06:2306:23, 23 December 2015 R.e.b. talk contribs 12,619 bytes +61 →References: Adding/improving reference(s) undo
• curprev 06:1806:18, 23 December 2015 R.e.b. talk contribs 12,558 bytes +2 →top: Expanding article undo
• curprev 06:1406:14, 23 December 2015 R.e.b. talk contribs 12,556 bytes +164 →References: Expanding article undo
• curprev 05:4405:44, 23 December 2015 R.e.b. talk contribs 12,392 bytes +336 →Hilbert's problem and its interpretation: Expanding article undo

11 October 2015

• curprev 19:2119:21, 11 October 2015 Paolo Lipparini talk contribs 12,056 bytes +234 see talk page undo

11 February 2015

• curprev 14:3614:36, 11 February 2015 Rjwilmsi talk contribs m 11,822 bytes +118 →References: Journal cites, using AWB (10820) undo

30 June 2013

• curprev 20:1720:17, 30 June 2013 Josve05a talk contribs m 11,704 bytes −4 clean up using AWB undo

10 June 2013

• curprev 21:4721:47, 10 June 2013 Addbot talk contribs m 11,708 bytes −125 Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q13424667 undo

18 April 2013

• curprev 22:1222:12, 18 April 2013 Mmfrb talk contribs 11,833 bytes +36 No edit summary undo

1 October 2012

• curprev 16:4616:46, 1 October 2012 Deltahedron talk contribs 11,797 bytes −1,119 revert problematic content, obtain consensus at talk page before restoring undo
• curprev 15:4715:47, 1 October 2012 Michael Hardy talk contribs 12,916 bytes +83 →Huang’s Hilbert logic and his universal consistent theorem undo
• curprev 13:1113:11, 1 October 2012 Jkuodo talk contribs 12,833 bytes +1,036 No edit summary undo
• curprev 12:3512:35, 1 October 2012 JayBeeEll talk contribs 11,797 bytes −1,011 Undid revision 515454639 by Jkuodo (talk) discuss on talk before adding again undo
• curprev 12:2112:21, 1 October 2012 Jkuodo talk contribs 12,808 bytes +1,011 →Modern viewpoints on the status of the problem undo
• curprev 06:4206:42, 1 October 2012 Deltahedron talk contribs 11,797 bytes −929 removed problematic material, see talk page undo
• curprev 06:2706:27, 1 October 2012 Jkuodo talk contribs 12,726 bytes −24 No edit summary undo
• curprev 06:1606:16, 1 October 2012 Jkuodo talk contribs 12,750 bytes +953 No edit summary undo
• curprev 05:3005:30, 1 October 2012 David Eppstein talk contribs 11,797 bytes −1,027 Undid revision 515420575 by Jkuodo (talk) continued self-promotion and reference spam undo
• curprev 05:2005:20, 1 October 2012 Jkuodo talk contribs 12,824 bytes +1,027 →Modern viewpoints on the status of the problem undo
• curprev 05:0605:06, 1 October 2012 David Eppstein talk contribs m 11,797 bytes −1,053 Reverted edits by Jkuodo (talk) to last version by Biker Biker undo