Kysymys:
Poistuiko Bertrand Russell lukemasta Giuseppe Peanon Formularioa toisesta kansainvälisestä matemaatikkojen kongressista?
Franck Dernoncourt
2014-11-05 23:54:39 UTC
view on stackexchange narkive permalink

Giuseppe Peanon Wikipedia-sivu väittää seuraavaa:

Konferenssissa Peano tapasi Bertrand Russellin ja antoi hänelle kopion Formulariosta. Peanon innovatiiviset loogiset symbolit hämmästyttivät Russellia niin, että hän lähti konferenssista ja palasi kotiin tutkimaan Peanon tekstiä.

Väitteeseen ei kuitenkaan viitata. Poistuiko Bertrand Russell toisesta kansainvälisestä matemaatikoiden kongressista lukemaan Giuseppe Peanon Formulario -sivuston vai onko se vain myytti?

Ray Monk, 'Russell, Bertrand Arthur William, kolmas Earl Russell (1872–1970) ', Oxford Dictionary of National Biography, Oxford University Press, 2004; online edn, toukokuu 2014 ( http://www.oxforddnb.com/view/article/35875, katsottu 5. marraskuuta 2014) ei mainita tätä ennenaikaista poistumista:

Pariisissa Russell tapasi italialaisen matemaatikon Giuseppe Peanon, liikkeen johtajan, jonka perimmäisenä tavoitteena oli rakentaa yksi aksiomaattinen järjestelmä, jolle koko matematiikka voisi perustua. Tämän tavoitteen saavuttamiseksi Peano oli keksinyt erityisen symboliikan, jota hän rakensi matemaattisen logiikan järjestelmän rakentamiseksi, jonka ytimessä on jo tuttu käsite 'propositionaalisesta toiminnasta'. Tätä järjestelmää käyttäessään Peano ja hänen kollegansa olivat osoittaneet, että aritmeetti voidaan perustaa yhteen eleganttiin muodolliseen teoriaan, jossa käytettiin vain kolmea perusideaa (nolla, luku ja seuraaja) ja viittä alkuperäistä aksiomia. Innoittamana tapaamisestaan ​​Peanon kanssa ja tutkimuksesta Peanon työstä, Russell palasi Pariisista melkein hurmioituneena vakaumuksena siitä, että tiesi tietävänsä eteenpäin: jos pystyi osoittamaan, että kaikki matemaattiset käsitteet olivat pohjimmiltaan aritmeettisia ja että Peanon järjestelmä oli pohjimmiltaan logiikkajärjestelmä , sitten hän olisi onnistunut ilmoitetussa tavoitteessaan osoittaa, että matematiikka oli logiikkaa. Tätä varten ratkaiseva askel olisi osoittaa, että Peanon aksiomit voisivat perustua logiikkajärjestelmään.

üks vastaus:
#1
+8
Mauro ALLEGRANZA
2014-11-06 01:47:51 UTC
view on stackexchange narkive permalink

Olen löytänyt Hubert Kennedyn julkaisusta Twelve Article on Giuseppe Peano (2002): mitä Russell oppi Peanolta , > Notre Dame Journal of Formal Logic (1983) seuraavat:

Todisteet ovat peräisin Russellilta itseltään muun muassa Pariisin kansainvälisen filosofiakongressin kuvauksessa, 1900, hänen omaelämäkerrassa (s. 217–219):

Kongressi oli käännekohta henkisessä elämässäni, koska tapasin siellä Peanon. Tunsin hänet jo nimellä ja olin nähnyt osan hänen työstään, mutta en ollut ottanut vaivaa hallita hänen merkintöjään. [...] Ajan mittaan päätin, että tämä johtuu hänen matemaattisesta logiikastaan.

Sain hänet siis antamaan minulle kaikki teoksensa, ja heti kongressin päättyessä vetäydyin Fernhurstiin tutkimaan hiljaa kaikkia hänen ja hänen opetuslastensa kirjoittamia sanoja [kursivointi lisätty].



Tämä Q & A käännettiin automaattisesti englanniksi.Alkuperäinen sisältö on saatavilla stackexchange-palvelussa, jota kiitämme cc by-sa 3.0-lisenssistä, jolla sitä jaetaan.
Loading...