Küsimus:
Kas Bertrand Russell lahkus II rahvusvahelisest matemaatikute kongressist, et lugeda Giuseppe Peano Formulario?
Franck Dernoncourt
2014-11-05 23:54:39 UTC
view on stackexchange narkive permalink

Giuseppe Peano Vikipeedia leht väidab järgmist:

Konverentsil kohtus Peano Bertrand Russelliga ja kinkis talle Formulario koopia. Russellile avaldasid Peano uuenduslikud loogilised sümbolid nii suurt lööki, et ta lahkus konverentsilt ja naasis koju Peano teksti uurima.

Nõudele pole siiski viidatud. Kas Bertrand Russell lahkus II rahvusvahelisest matemaatikute kongressist Giuseppe Peano Formulario lugemiseks või on see lihtsalt mingi müüt?

Ray Monk, „Russell, Bertrand Arthur William, kolmas Earl Russell (1872–1970) ”, Oxfordi rahvusbiograafia sõnaraamat, Oxford University Press, 2004; online edn, mai 2014 ( http://www.oxforddnb.com/view/article/35875, vaadatud 5. novembril 2014) seda enneaegset lahkumist ei mainita:

Pariisis kohtus Russell Itaalia matemaatiku Giuseppe Peanoga, liikumise juhiga, kelle lõppeesmärk oli üles ehitada üks aksiomaatiline süsteem, millele saaks rajada kogu matemaatika. Selle eesmärgi saavutamiseks oli Peano leiutanud spetsiaalse sümboolika, mida ta kasutas matemaatilise loogika süsteemi ülesehitamiseks, mille keskmes on juba tuttav mõte „propositsioonifunktsioon”. Seda süsteemi kasutades olid Peano ja tema kolleegid näidanud, et aritmeetika võib põhineda ühel elegantsel formaalsel teoorial, milles kasutati ainult kolme põhiideed (null, arv ja järeltulija) ning viit algset aksioomi. Inspireerituna Peanoga kohtumisest ja Peano töö uurimisest, naasis Russell Pariisist peaaegu ekstaatilise veendumusega, et ta teab edasisi teid: kui ta suudaks näidata, et kõik matemaatilised mõisted on põhimõtteliselt aritmeetilised ja et Peano süsteem on põhimõtteliselt loogikasüsteem , siis oleks tal õnnestunud oma püstitatud eesmärk näidata, et matemaatika oli loogika. Selle jaoks oleks ülioluline samm näidata, et Peano aksioomid võiksid põhineda loogikasüsteemil.

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

Olen leidnud Hubert Kennedyst kaksteist artiklit Giuseppe Peanost (2002): mida Russell Peanolt õppis , kasutajalt Notre Dame Journal of Formal Logic (1983) järgmine:

Tõendid pärinevad Russellilt endalt muu hulgas Pariisi rahvusvahelise filosoofiakongressi kirjelduses, 1900, oma autobiograafias (lk 217–219):

Kongress oli minu intellektuaalse elu pöördepunkt, sest kohtusin seal Peanoga. Tundsin teda juba nimepidi ja olin mõnda tema teost näinud, kuid polnud oma vaevaga vaeva näinud, et tema noodikirja omandada. [...] Päevade möödudes otsustasin, et see peab olema tingitud tema matemaatilisest loogikast.

Panin ta seetõttu andma mulle kõik oma teosed ja niipea kui kongress oli lõppenud läksin pensionile Fernhursti, et uurida vaikselt iga tema ja tema jüngrite kirjutatud sõna [rõhutus lisatud].



See küsimus ja vastus tõlgiti automaatselt inglise keelest.Algne sisu on saadaval stackexchange-is, mida täname cc by-sa 3.0-litsentsi eest, mille all seda levitatakse.
Loading...