Xref: utzoo comp.edu:1958 sci.math:5497 Path: utzoo!attcan!uunet!mcvax!ukc!harrier.ukc.ac.uk!eagle.ukc.ac.uk!icdoc!qmc-cs!flash From: flash@cs.qmc.ac.uk (Flash Sheridan) Newsgroups: comp.edu,sci.math Subject: Re: Peano vs Dedekind Summary: Down with Peano! Message-ID: <815@sequent.cs.qmc.ac.uk> Date: 24 Jan 89 16:14:46 GMT References: <2035@water.waterloo.edu> Reply-To: sheridan@nss.cs.ucl.ac.uk (Flash Sheridan) Organization: EE Dept, Queen Mary College, ULondon E1-4NS Lines: 13 In article <2035@water.waterloo.edu> ljdickey@water.waterloo.edu (Lee Dickey) writes: >In article <1088@l.cc.purdue.edu> cik@l.cc.purdue.edu (Herman Rubin) writes >>The Peano postulates (really due to Dedekind) contain the essence of the >>structure of the integers. ... [ much more deleted ] > >Really? Yes. Peano deserves zilch in the way of credit. Nothing. He'd read Was SInd und Was Zollen die Zahlen; the only difference is that he uses a weaker logic (first order, Dedekind uses 2nd). -- From: flash@cs.qmc.ac.uk (Flash Sheridan) Reply-To: sheridan@nss.cs.ucl.ac.uk Portal,MacNet: FlashsMom