Typographical Number Theory: Revision history

4 February 2024

• curprev 17:4217:42, 4 February 2024 WeyerStudentOfAgrippa talk contribs 6,053 bytes +35 notability template undo

25 November 2023

• curprev 17:3317:33, 25 November 2023 91.196.52.42 talk 6,018 bytes −2 →Negation: ~ does not require parentheses since it is unary operation: the following term is negated undo

15 June 2023

• curprev 01:3601:36, 15 June 2023 Beland talk contribs 6,020 bytes +14 convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB) undo

14 June 2022

• curprev 23:0223:02, 14 June 2022 69.159.146.176 talk 6,006 bytes +23 No edit summary undo

29 January 2022

• curprev 00:4800:48, 29 January 2022 HLwiKi talk contribs 5,983 bytes +42 →Negation undo

24 September 2021

• curprev 15:2115:21, 24 September 2021 Cedar101 talk contribs m 5,941 bytes −6 →Quantifiers: fix syntaxhighlight error undo
• curprev 15:2115:21, 24 September 2021 Cedar101 talk contribs m 5,947 bytes 0 →Compounds: fix syntaxhighlight error undo

11 April 2021

• curprev 16:4616:46, 11 April 2021 Hjwhitmore talk contribs 5,947 bytes +2 →Operators: Fixed typo undo Tags: canned edit summary Mobile edit Mobile app edit Android app edit

14 February 2021

• curprev 19:2519:25, 14 February 2021 EntangledSpins talk contribs m 5,945 bytes −1 →Quantifiers undo

30 December 2020

• curprev 13:0513:05, 30 December 2020 Cedar101 talk contribs 5,946 bytes −145 →Quantifiers: {{code}} undo

22 December 2020

• curprev 00:5900:59, 22 December 2020 Cedar101 talk contribs m 6,091 bytes +111 →Quantifiers: <code> undo
• curprev 00:5100:51, 22 December 2020 Cedar101 talk contribs 5,980 bytes +47 →Compounds: {{code|2=tnt|1=}} undo

18 April 2020

• curprev 20:2120:21, 18 April 2020 2601:586:8000:c69c:25d7:a104:7339:eb79 talk 5,933 bytes +1 Spelling mistake (qualifiers -> quantifiers) undo

7 September 2019

• curprev 20:0820:08, 7 September 2019 InternetArchiveBot talk contribs 5,932 bytes +93 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

17 August 2019

• curprev 07:0707:07, 17 August 2019 Beland talk contribs m 5,839 bytes −8 convert special characters (via WP:JWB) undo

19 June 2019

• curprev 20:1920:19, 19 June 2019 Theodore Kloba talk contribs 5,847 bytes +39 Adding short description: "Axiomatic system" (Shortdesc helper) undo

14 March 2019

• curprev 21:1721:17, 14 March 2019 202.150.103.86 talk 5,808 bytes 0 →Negation undo

26 October 2018

• curprev 12:3112:31, 26 October 2018 Gmarmstrong talk contribs 5,808 bytes −87 →Numerals: Remove unencyclopedic fluff sentence undo Tags: Mobile edit Mobile web edit

23 June 2018

• curprev 13:3613:36, 23 June 2018 42.108.161.50 talk 5,895 bytes −1 →Atoms and propositional statements: Fixed typo undo Tags: canned edit summary Mobile edit Mobile app edit
• curprev 13:3513:35, 23 June 2018 42.108.161.50 talk 5,896 bytes −3 →Atoms and propositional statements: Fixed an exampke for Atoms undo Tags: Mobile edit Mobile app edit
• curprev 13:3413:34, 23 June 2018 42.108.161.50 talk 5,899 bytes −43 →Atoms and propositional statements: Removed an erroneous example for Atoms undo Tags: Mobile edit Mobile app edit

18 April 2018

• curprev 15:0415:04, 18 April 2018 31.205.131.27 talk 5,942 bytes +1 →Compounds undo

23 March 2018

• curprev 14:0214:02, 23 March 2018 84.81.100.91 talk 5,941 bytes +385 Added another important part of TNT from Gödel, Escher, Bach... which is in between 'Negations' and 'Quantifications' called 'Compounds' that was missing in the wiki. undo

27 February 2018

• curprev 21:2221:22, 27 February 2018 I dream of horses talk contribs m 5,556 bytes +1 →Addition and multiplication of numerals: Cleaning up a randomly generated list, typo(s) fixed: Therefore → Therefore, using AWB undo

16 December 2017

• curprev 23:0523:05, 16 December 2017 Zeimusu talk contribs 5,555 bytes −7 →Negation undo
• curprev 23:0523:05, 16 December 2017 Zeimusu talk contribs 5,562 bytes +3 →Equivalency: Don't say "true statement of TNT" TNT has no concern with truth. undo

6 October 2017

• curprev 15:5415:54, 6 October 2017 Theodore Kloba talk contribs m 5,559 bytes −94 →Variables: apostrophes → unicode prime symbols undo

13 December 2013

• curprev 11:3611:36, 13 December 2013 Alexey Feldgendler talk contribs 5,653 bytes −14 →Quantifiers: no square brackets are used in the book undo
• curprev 11:3511:35, 13 December 2013 Alexey Feldgendler talk contribs 5,667 bytes −9 →Atoms and propositional statements: no square brackets are used in the book undo

6 March 2013

• curprev 17:5817:58, 6 March 2013 Addbot talk contribs m 5,676 bytes −91 Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q1052753 undo

31 January 2013

• curprev 08:5108:51, 31 January 2013 InverseHypercube talk contribs 5,767 bytes +4 italicizing GEB undo

27 June 2012

• curprev 23:1223:12, 27 June 2012 OneWeirdDude talk contribs m 5,763 bytes −65 Fixed tone. undo
• curprev 18:2718:27, 27 June 2012 GrouchoBot talk contribs m 5,828 bytes +40 r2.7.2) (Robot: Adding ca:Teoria Tipogràfica dels Nombres undo

5 June 2012

• curprev 05:4205:42, 5 June 2012 TjBot talk contribs m 5,788 bytes +20 r2.7.2) (Robot: Adding zh:印符数论 undo

10 May 2012

• curprev 13:0413:04, 10 May 2012 Helpful Pixie Bot talk contribs m 5,768 bytes +3 ISBNs (Build KE) undo

8 August 2011

• curprev 18:0418:04, 8 August 2011 CRGreathouse talk contribs m 5,765 bytes +44 {{inappropriate person}}; formatting: 12x whitespace, 2x unicode-escape, heading (using Advisor.js) undo

20 October 2010

• curprev 14:4414:44, 20 October 2010 R'n'B talk contribs m 5,721 bytes 0 Fix links to disambiguation page Boolean undo

24 August 2010

• curprev 20:0720:07, 24 August 2010 WikiPerfector talk contribs 5,721 bytes −6 No edit summary undo

14 January 2010

• curprev 04:4104:41, 14 January 2010 HJ Mitchell talk contribs m 5,727 bytes +4 Reverted edits by 69.223.183.45 (talk) to last version by The Anome undo
• curprev 04:4104:41, 14 January 2010 69.223.183.45 talk 5,723 bytes −4 →Negation: brackets are not used in this manner in TNT (only for fantasies); negation is assumed to have higher precedence than equality undo Tag: repeating characters

5 January 2010

• curprev 19:0819:08, 5 January 2010 The Anome talk contribs 5,727 bytes −72 use the abbreviation more undo
• curprev 19:0719:07, 5 January 2010 The Anome talk contribs 5,799 bytes +6 fmt undo
• curprev 19:0619:06, 5 January 2010 Michael Hardy talk contribs 5,793 bytes +65 →Atoms and propositional statements undo
• curprev 19:0619:06, 5 January 2010 Michael Hardy talk contribs 5,728 bytes +175 →Quantifiers undo
• curprev 19:0519:05, 5 January 2010 Michael Hardy talk contribs 5,553 bytes +31 →Negation undo
• curprev 19:0419:04, 5 January 2010 Michael Hardy talk contribs 5,522 bytes +29 →Equivalency undo
• curprev 19:0419:04, 5 January 2010 Michael Hardy talk contribs m 5,493 bytes +66 →Operators: nbsp undo
• curprev 19:0319:03, 5 January 2010 Michael Hardy talk contribs 5,427 bytes −20 No edit summary undo

16 August 2009

• curprev 09:4709:47, 16 August 2009 Renamed user efB5zCgPvkrQ7C talk contribs 5,447 bytes −180 links, fuller ref undo

17 May 2009

• curprev 17:4417:44, 17 May 2009 209.94.133.40 talk 5,627 bytes +1 →Atoms and propositional statements undo