Giuseppe Peano
Peano twierdził, że arytmetykę można zbudować na kilku aksjomatach liczb naturalnych, a matematykę i logikę zapisać w ścisłej notacji symbolicznej, którą później przejęli Russell i Whitehead.
Umiejscowienie
Włoski matematyk, który nadał liczbom naturalnym krótką postać aksjomatyczną i opracował symboliczną notację dla logiki, przejętą przez Russella i Whiteheada; Frege w 1897 roku bronił przed nią własnego pisma pojęciowego.
Kluczowe idee
- Aksjomaty liczb naturalnych
- Notacja symboliczna dla logiki i matematyki
Wpływ
Wpływ na 1
Bertrand Russell
wpływ na ✓
Russell met Peano at the Paris congress of 1900, and Principia Mathematica adopts Peano’s logical notation. SEP “Bertrand Russell” (A. D. Irvine), chronology; SEP “The Algebra of Logic Tradition” (S. Burris, J. Legris)
Źródło: także w Wikidanych · Wikidata
Bertrand Russell › 1872–1970
Krytyka
Wzajemna krytyka 1
Gottlob Frege ⇄ wzajemnie
krytykuje sporne
Peano’s 1895 review of Frege’s Grundgesetze I in the Rivista di matematica prompted Frege’s replies of 1896–97; what exactly Peano objected to was not checked. Bibliographic data from the Frege–Peano literature (G. Besler; Rivista di matematica 5, 1895, 122–128 and 6, 1896–99, 53–61); review text not read
Źródło: szkic AI
krytyka ze strony
In 1897 Frege compared Peano’s logical notation with his own and defended the superiority of his concept-script. Frege, “Über die Begriffsschrift des Herrn Peano und meine eigene” (1897), listed in SEP “Frege’s Logic” (R. Cook, 2023)
Źródło: szkic AI
Gottlob Frege › 1848–1925
Dzieła
Krótki łaciński traktat, który podaje aksjomaty liczb naturalnych w notacji symbolicznej, w postaci znanej dziś jako aksjomaty Peana.
Zbiór twierdzeń matematycznych zapisanych w symbolicznej notacji Peana, zapoczątkowany w 1891 roku; piąte i ostatnie wydanie ukazało się w 1908 roku. Russella uderzyły jego symbole logiczne, gdy w 1900 roku poznał Peana.
Stanowisko
Peano is on the map for two things that shaped logic and the foundations of mathematics: a short axiomatisation of the natural numbers, set out in Latin in Arithmetic Principles (1889) and now called the Peano axioms, and a symbolic notation for logic and mathematics, developed in the Rivista and in the Formulario, a collection of mathematical theorems written in it, of which the fifth and last edition appeared in 1908. At the Paris congress of 1900 he met Bertrand Russell, who was struck by his logical symbols and went on to study his work and that of his school; the Principia Mathematica adopts Peano’s notation. Frege compared Peano’s notation with his own concept-script in a paper of 1897 and defended the superiority of his own; Peano’s review of Frege’s Basic Laws of Arithmetic, vol. 1 (1895), which prompted Frege’s replies of 1896–97, has not been checked in the sources, and the line from Frege to Peano is marked as disputed.
Życie i kontekst
Giuseppe Peano was born on 27 August 1858 in Spinetta near Cuneo in Piedmont. He studied at the University of Turin from 1876, graduated in 1880 with high honours and worked first as assistant to Enrico D’Ovidio and then to Angelo Genocchi. From 1886 he also taught at the Royal Military Academy, which dismissed him later because he neglected calculus in favour of his new symbols, and from 1890 he was a professor at Turin. In 1890 he founded the Rivista di matematica, whose first issue appeared in 1891. In 1903 he announced an auxiliary language based on Latin vocabulary with simplified grammar, Latino sine flexione, in which he wrote most of his later work. He died on 20 April 1932 in Turin.
Dalsze główne dzieła
- Arithmetic Principles, Presented by a New Method (Arithmetices principia, nova methodo exposita, 1889)
- Mathematical Formulary (Formulario mathematico, from 1895; fifth edition 1908)
- Rivista di matematica (journal, founded 1890)
Stan na listopad 2026 · Źródła · Ulepsz tę stronę · Jak powstaje Agora