Domanda:
Bertrand Russell ha lasciato il Secondo Congresso Internazionale di Matematici per leggere il Formulario di Giuseppe Peano?
Franck Dernoncourt
2014-11-05 23:54:39 UTC
view on stackexchange narkive permalink

La pagina Wikipedia su Giuseppe Peano afferma quanto segue:

Alla conferenza Peano incontrò Bertrand Russell e gli diede una copia del Formulario. Russell fu così colpito dagli innovativi simboli logici di Peano che lasciò la conferenza e tornò a casa per studiare il testo di Peano.

Tuttavia, l'affermazione non è referenziata. Bertrand Russell ha lasciato il Secondo Congresso Internazionale di Matematici per leggere il Formulario di Giuseppe Peano, o è solo un mito?

Ray Monk, 'Russell, Bertrand Arthur William, terzo Earl Russell (1872-1970) », Oxford Dictionary of National Biography, Oxford University Press, 2004; edn online, maggio 2014 ( http://www.oxforddnb.com/view/article/35875, consultato il 5 novembre 2014) non menziona questa partenza prematura:

A Parigi, Russell incontrò il matematico italiano Giuseppe Peano, a capo di un movimento il cui obiettivo finale era costruire un unico sistema assiomatico su cui fondare l'intera matematica. Nel perseguire questo scopo Peano aveva inventato un simbolismo speciale che ha utilizzato per costruire un sistema di logica matematica, al centro del quale è la nozione ormai familiare di una "funzione proposizionale". Usando questo sistema, Peano ei suoi colleghi avevano dimostrato che l'aritmetica poteva essere fondata su un'unica elegante teoria formale che utilizzava solo tre idee di base (zero, numero e successore) e cinque assiomi iniziali. Ispirato dall'incontro con Peano e dal suo studio sul lavoro di Peano, Russell tornò da Parigi con una convinzione quasi estatica di conoscere la strada da percorrere: se avesse potuto dimostrare che tutte le nozioni matematiche erano fondamentalmente aritmetiche e che il sistema di Peano era fondamentalmente un sistema logico , allora sarebbe riuscito nel suo scopo dichiarato di dimostrare che la matematica era logica. Per questo il passo cruciale sarebbe mostrare che gli assiomi di Peano potrebbero essere fondati su un sistema logico.

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

Ho trovato in Hubert Kennedy, Dodici articoli su Giuseppe Peano (2002): Ciò che Russell ha imparato da Peano , da Notre Dame Journal of Formal Logic (1983) il seguente:

L'evidenza proviene dallo stesso Russell, tra l'altro, nella descrizione del Congresso Internazionale di Filosofia di Parigi, 1900, nella sua Autobiografia (p.217–219):

Il Congresso è stato un punto di svolta nella mia vita intellettuale, perché lì ho incontrato Peano. Lo conoscevo già per nome e avevo visto alcuni dei suoi lavori, ma non mi ero preso la briga di padroneggiare la sua notazione. [...] Col passare dei giorni, ho deciso che questo doveva essere dovuto alla sua logica matematica.

Lo convinsi quindi a darmi tutte le sue opere e non appena il Congresso terminò mi ritirai a Fernhurst per studiare in silenzio ogni parola scritta da lui e dai suoi discepoli [enfasi aggiunto].



Questa domanda e risposta è stata tradotta automaticamente dalla lingua inglese. Il contenuto originale è disponibile su stackexchange, che ringraziamo per la licenza cc by-sa 3.0 con cui è distribuito.
Loading...