Gentzen's consistency proof: 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 00:3900:39, 23 June 2024 David Eppstein talk contribs 15,396 bytes +6‎ →Gentzen's theorem: fix broken link undo
curprev 00:3700:37, 23 June 2024 David Eppstein talk contribs 15,390 bytes −770‎ let's not continue to cite two five-year-old unpublished preprints (not found in MathSciNet) on fringy topics undo

curprev 02:5402:54, 26 May 2024 IznoRepeat talk contribs m 16,160 bytes −8‎ →References: remove Template:Date per documentation; genfixes undo Tag: AWB

curprev 00:2100:21, 12 November 2023 DuncanHill talk contribs 16,168 bytes +33‎ →References: ref = {{harvid|Bernays|1967}} undo
curprev 00:1300:13, 12 November 2023 Marc Schroeder talk contribs m 16,135 bytes +125‎ moved all references to list undo

curprev 02:1202:12, 8 April 2023 AnomieBOT talk contribs m 16,010 bytes +32‎ Dating maintenance tags: {{Citation needed}} undo
curprev 00:1200:12, 8 April 2023 82.10.1.217 talk 15,978 bytes +38‎ →Other consistency proofs of arithmetic undo

curprev 20:0220:02, 29 January 2023 OAbot talk contribs m 15,940 bytes +16‎ Open access bot: doi added to citation with #oabot. undo

curprev 00:5800:58, 16 October 2022 Alan U. Kennington talk contribs m 15,924 bytes −6‎ →Other consistency proofs of arithmetic: Fixed typos. undo

curprev 22:3022:30, 24 August 2022 Mgkrupa talk contribs m 15,546 bytes +24‎ Added {{Mathematical logic}} undo

curprev 23:1523:15, 16 August 2022 C7XWiki talk contribs 15,522 bytes +687‎ Another view on Hilbert's program undo

curprev 19:2119:21, 21 April 2022 Headbomb talk contribs 14,835 bytes −466‎ -predatory source undo

curprev 19:4219:42, 13 April 2022 Headbomb talk contribs 15,301 bytes −73‎ Alter: template type. Add: eprint, class. Removed parameters. Some additions/deletions were parameter name changes. | Use this tool. Report bugs. | #UCB_Gadget undo
curprev 19:2919:29, 13 April 2022 Citation bot talk contribs 15,374 bytes +71‎ Alter: journal, pages. Add: doi, arxiv. Formatted dashes. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 4/13 undo

curprev 06:0306:03, 18 March 2022 Citation bot talk contribs 14,180 bytes 0‎ Alter: journal, chapter-url, url. URLs might have been anonymized. Add: s2cid, doi, pages, year. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 115/299 undo

curprev 02:3802:38, 8 March 2022 Spacepotato talk contribs 14,180 bytes +17‎ disambiguate link undo
curprev 02:3802:38, 8 March 2022 Spacepotato talk contribs 14,163 bytes +17‎ disambiguate link undo

curprev 21:3021:30, 6 February 2022 Qwerfjkl (bot) talk contribs m 14,146 bytes 0‎ Capitalising short description "mathematical logic concept" per WP:SDFORMAT (via Bandersnatch) undo

curprev 00:1300:13, 27 January 2022 BattyBot talk contribs m 14,146 bytes −4‎ Fixed CS1 errors: extra text: volume and general fixes undo Tag: AWB

curprev 23:2323:23, 13 December 2021 AxelBoldt talk contribs 14,150 bytes +337‎ Gödel's reformulation; proof-theoretic ordinal undo Tag: Visual edit
curprev 21:5921:59, 13 December 2021 AxelBoldt talk contribs m 13,813 bytes 0‎ →References undo

curprev 18:5518:55, 7 May 2021 GreenC bot talk contribs 13,813 bytes +152‎ Rescued 1 archive link. Wayback Medic 2.5 undo

curprev 17:1617:16, 29 January 2021 Monkbot talk contribs m 13,661 bytes −14‎ Task 18 (cosmetic): eval 11 templates: hyphenate params (4×); del |ref=harv (2×); undo Tag: AWB

curprev 21:2121:21, 13 January 2020 Coastside talk contribs 13,675 bytes −26‎ →Gentzen's theorem: fixed dab link undo

curprev 03:5003:50, 18 December 2019 InternetArchiveBot talk contribs 13,701 bytes +81‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 11:5711:57, 22 November 2019 Onel5969 talk contribs m 13,620 bytes +25‎ Disambiguating links to Tree (disambiguation) (help needed) using DisamAssist. undo

curprev 05:5705:57, 20 October 2019 Justin Stafford talk contribs m 13,595 bytes +1‎ typo undo

curprev 06:0306:03, 29 September 2019 Monkbot talk contribs m 13,594 bytes −1‎ →References: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

curprev 10:0310:03, 27 July 2019 78.104.0.239 talk 13,595 bytes +73‎ →Gentzen's theorem: note that the ordinal is countable undo

curprev 06:5006:50, 11 February 2019 Citation bot talk contribs m 13,522 bytes −89‎ Alter: journal, isbn. Add: citeseerx, issue, chapter-url. Removed parameters. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 17:2017:20, 26 September 2018 64.57.49.36 talk 13,611 bytes +2‎ Fixed typo. undo

curprev 09:4609:46, 6 July 2018 101.110.37.162 talk 13,609 bytes 0‎ →Gentzen's theorem undo
curprev 09:4309:43, 6 July 2018 101.110.37.162 talk 13,609 bytes +50‎ →Gentzen's theorem undo

curprev 19:0519:05, 23 June 2018 AxelBoldt talk contribs 13,559 bytes +2‎ →Gentzen's theorem: apostrophe undo Tags: Mobile edit Mobile web edit

curprev 04:1904:19, 20 June 2018 Ulric1313 talk contribs 13,557 bytes +16‎ dab undo

curprev 07:1407:14, 16 June 2018 Rodw talk contribs m 13,541 bytes +27‎ Disambiguating links to Jeff Paris (link changed to Jeff Paris (mathematician)) using DisamAssist. undo

curprev 11:3911:39, 22 March 2018 GSS talk contribs m 13,514 bytes −1‎ clean up, typo(s) fixed: Therefore → Therefore, using AWB undo

curprev 08:5408:54, 21 February 2018 Trovatore talk contribs 13,515 bytes +49‎ {{short description}} undo

23 June 2024

26 May 2024

12 November 2023

8 April 2023

29 January 2023

16 October 2022

9 September 2022

24 August 2022

16 August 2022

21 April 2022

13 April 2022

26 March 2022

18 March 2022

8 March 2022

6 February 2022

27 January 2022

13 December 2021

7 May 2021

29 January 2021

13 January 2020

18 December 2019

22 November 2019

20 October 2019

29 September 2019

27 July 2019

11 February 2019

26 September 2018

6 July 2018

23 June 2018

20 June 2018

16 June 2018

22 March 2018

21 February 2018