Peano by Roque Junior https://padlet.com/roquejunior/yjq1bcn3nzi30e49 N as Sets en-us 2021-07-21 00:36:15 UTC 2021-08-05 14:11:49 UTC hello@padlet.com As as Introduction roquejunior https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656442841 ... at once a landmark in the history of mathematical logic and of the foundations of mathematics.

By:  H C Kennedy, Peano : Life and Works of Giuseppe Peano (Dordrecht, 1980).]]> 2021-07-21 00:46:08 UTC https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656442841 Happy Birthday! roquejunior https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656445646 27 August 1858]]> 2021-07-21 00:47:41 UTC https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656445646 He's weird... roquejunior https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656453898 In college, he was the only one who choose (on his third year) to keep studying pure mathematics, instead of changing to engineering, like all other with sanity]]> 2021-07-21 00:52:19 UTC https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656453898 Good people die, That's so sad ;-; roquejunior https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656457787 20 April 1932]]> 2021-07-21 00:54:30 UTC https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656457787 He looked like a smart guy roquejunior https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656470272 2021-07-21 01:01:32 UTC https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656470272 He was a tester! roquejunior https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656477702 His first "big thing" was finding an error in a standard definition in 1882]]> 2021-07-21 01:05:29 UTC https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656477702 To the moon! roquejunior https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656483076 In 1889 he published his famous axioms, called Peano axioms, which defined the natural numbers in terms of sets]]> 2021-07-21 01:08:20 UTC https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656483076 The title comes from here! roquejunior https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656484850 See? All connected :)]]> 2021-07-21 01:09:12 UTC https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656484850 What axioms are you talking about? roquejunior https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656486698 2021-07-21 01:10:09 UTC https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656486698 Axiom 1 roquejunior https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656487735 1 is a natural number

(Yeah, I know, you knew that, at least i hope so)]]> 2021-07-21 01:10:37 UTC https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656487735 Axiom 2 roquejunior https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656491730 Every natural number 
n has a natural number 
n' as a successor
]]> 2021-07-21 01:12:37 UTC https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656491730 Axioim 3 roquejunior https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656491921 1 is not the successor of a natural number]]> 2021-07-21 01:12:42 UTC https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656491921 Axiom 4 roquejunior https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656492077 Natural numbers with the same successor are the same]]> 2021-07-21 01:12:47 UTC https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656492077 Axiom 5 roquejunior https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656492579 If the set X contains 1 and for every natural number 
n also its successor 
n" then the natural numbers form a subset of X
]]> 2021-07-21 01:13:01 UTC https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656492579 He was great at finding errors in things that another person did roquejunior https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656506461 2021-07-21 01:19:57 UTC https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656506461 One of the founders of mathematical logic btw roquejunior https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656510409 2021-07-21 01:22:04 UTC https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656510409 Entrepreneur? roquejunior https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656517882 In 1891 Peano founded Rivista di matematica, a journal devoted mainly to logic and the foundations of mathematics]]> 2021-07-21 01:25:52 UTC https://padlet.com/roquejunior/yjq1bcn3nzi30e49/wish/1656517882