Talk:Peano axioms/Archive 1: 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 17:1817:18, 4 April 2017 CBM talk contribs 199,908 bytes +117,824 Archiving undo Tag: Reverted

curprev 03:4203:42, 13 November 2008 BotPuppet talk contribs m 81,793 bytes +711 BOT: substituting template per WP:SUBST, Replaced: {unsigned → {subst:unsigned (3) undo

curprev 13:3813:38, 23 March 2007 CBM talk contribs 81,082 bytes −124 add talkarchive tag, remove math rating tag undo
curprev 13:3613:36, 23 March 2007 CBM talk contribs m 81,206 bytes 0 moved Talk:Peano axioms to Talk:Peano axioms/Archive 1: Archiving old tak wia the "move" method undo
curprev 00:0500:05, 23 March 2007 CBM talk contribs 81,206 bytes +93 →[[WP:LEAD|Lede]]: maths rating template and A-class review undo

curprev 22:3222:32, 23 January 2007 Wvbailey talk contribs 70,335 bytes +884 →First section: add more names to the survey. The jury is deadlocked whether "modern" presentation is with 1 or 0: Two fine authors present them starting with 1. undo
curprev 19:1419:14, 23 January 2007 Wvbailey talk contribs 69,451 bytes +2,156 →First section: survey of history of Peano axioms from the sources, and where did 0 come into the act? undo
curprev 17:5917:59, 23 January 2007 Wvbailey talk contribs 67,295 bytes +8,624 →First section: stemp save, will return to clean up and add more undo

curprev 18:5818:58, 22 January 2007 Wvbailey talk contribs 58,671 bytes +5,289 →First section: I've cc'd my Peano from van heijenoort as a .pdf. A excursion into Principia Mathematica *50-*56. undo
curprev 16:3016:30, 22 January 2007 JoergenB talk contribs 53,382 bytes +1,772 →First section: 1 → 0 possible to find in van Heijenoort? undo
curprev 16:0916:09, 22 January 2007 Wvbailey talk contribs 51,610 bytes +1,478 replace Cyrillic symbol with ⊃ the preface with the logic is in my edition (in english -- van Heijenoort had to translate from the Italian version) undo
curprev 12:4412:44, 22 January 2007 JoergenB talk contribs 50,132 bytes +2,444 →First section: Recommend sign substitution. More speculation. undo

curprev 18:1318:13, 21 January 2007 Wvbailey talk contribs 47,688 bytes +1 →First section: correct a couple mispellings -- I've reproduced the 9 axioms here plus the required definitions undo
curprev 18:0418:04, 21 January 2007 Wvbailey talk contribs 47,687 bytes +3,160 →First section: the 9 axioms include the 5 we are familiar with., reproduced here. undo
curprev 13:1713:17, 21 January 2007 CBM talk contribs 44,527 bytes +184 →First section: resp. undo
curprev 13:1513:15, 21 January 2007 JRSpriggs talk contribs 44,343 bytes +166 →First section: where will the modern view go? undo