Jump to content

Timeline of mathematical logic: 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 20:5220:52, 17 February 2025 Tassedethe talk contribs m 8,095 bytes +32 v2.05 - Repaired 1 link to disambiguation page - (You can help) - Harvey Friedman undo Tag: WPCleaner

curprev 18:0018:00, 17 November 2023 ReyHahn talk contribs 8,063 bytes +26 →References: {{History of mathematics}} undo

curprev 13:3813:38, 30 June 2023 True Pagan Warrior talk contribs 8,037 bytes 0 copy edit undo

curprev 16:1816:18, 24 August 2022 Mgkrupa talk contribs 8,037 bytes +213 No edit summary undo

curprev 01:3801:38, 12 April 2022 Ser Amantio di Nicolao talk contribs 7,824 bytes +29 add short description undo Tag: AWB

curprev 01:3001:30, 7 October 2021 CaptainAngus talk contribs m 7,795 bytes −3 Fixed misspelling(s) found by Wikipedia:Typo Team/moss undo Tag: Visual edit

curprev 08:1508:15, 19 June 2021 Narky Blert talk contribs 7,798 bytes +11 Link to DAB page repaired undo

curprev 22:0822:08, 2 April 2021 Selfworm talk contribs 7,787 bytes +124 See also undo

curprev 14:4814:48, 27 March 2021 Ben Standeven talk contribs 7,663 bytes +275 →20th century: +Turing degrees and Post's problem undo
curprev 14:3814:38, 27 March 2021 Ben Standeven talk contribs 7,388 bytes +302 →1950-1999: +some Kolmogorov complexity dates undo
curprev 00:2900:29, 27 March 2021 Ben Standeven talk contribs 7,086 bytes +138 →1950-1999: +Matiyasevich undo

curprev 22:2422:24, 26 March 2021 Ben Standeven talk contribs m 6,948 bytes +30 →1950-1999: dab undo
curprev 22:2322:23, 26 March 2021 Ben Standeven talk contribs m 6,918 bytes +8 →1950-1999 undo
curprev 22:2322:23, 26 March 2021 Ben Standeven talk contribs 6,910 bytes +381 →20th century: word problems undo

curprev 12:4712:47, 24 March 2021 Ben Standeven talk contribs 5,849 bytes +30 →20th century: dablink undo
curprev 00:1200:12, 24 March 2021 Ben Standeven talk contribs 5,819 bytes +447 →20th century: +LS Theorem. undo

curprev 16:5516:55, 14 September 2020 SSSB talk contribs m 1,832 bytes +2 Date format audit undo Tag: 2017 wikitext editor

curprev 13:2313:23, 31 December 2019 Lion-hearted85 talk contribs m 1,830 bytes −17 Dashes, spacing and punctuation consistency undo Tag: Visual edit

curprev 17:3817:38, 29 October 2017 Simsong talk contribs 1,847 bytes +113 →19th century undo

curprev 19:5219:52, 8 March 2016 RJGray talk contribs 1,734 bytes +2 →20th century: spelling correction undo

curprev 18:3518:35, 12 February 2011 RJGray talk contribs 1,732 bytes −45 →19th century: 1874 Cantor: Fixed publication date of diagonal method, added link, reworded and kept focus on 1874 result undo

curprev 07:0607:06, 24 October 2010 Tony1 talk contribs m 1,777 bytes +18 fixed dashes using a script, unified date formats by script undo

Retrieved from "https://en.wikipedia.org/wiki/Timeline_of_mathematical_logic"