Question:
Bertrand Russell a-t-il quitté le deuxième congrès international des mathématiciens pour lire le Formulario de Giuseppe Peano?
Franck Dernoncourt
2014-11-05 23:54:39 UTC
view on stackexchange narkive permalink

La page Wikipedia sur Giuseppe Peano affirme ce qui suit:

Lors de la conférence, Peano a rencontré Bertrand Russell et lui a donné une copie de Formulario. Russell a été tellement frappé par les symboles logiques innovants de Peano qu'il a quitté la conférence et est rentré chez lui pour étudier le texte de Peano.

Cependant, l'affirmation n'est pas référencée. Bertrand Russell a-t-il quitté le deuxième Congrès international des mathématiciens pour lire le Formulario de Giuseppe Peano, ou est-ce juste un mythe?

Ray Monk, «Russell, Bertrand Arthur William, troisième Earl Russell (1872–1970) », Oxford Dictionary of National Biography, Oxford University Press, 2004; edn en ligne, mai 2014 ( http://www.oxforddnb.com/view/article/35875, consulté le 5 novembre 2014) ne mentionne pas ce départ prématuré:

A Paris, Russell a rencontré le mathématicien italien Giuseppe Peano, le chef d'un mouvement dont le but ultime était de construire un système axiomatique unique sur lequel l'ensemble des mathématiques pourrait être fondé. Dans la poursuite de cet objectif, Peano avait inventé un symbolisme spécial qu’il utilisa pour construire un système de logique mathématique, au cœur duquel se trouve la notion désormais familière de «fonction propositionnelle». En utilisant ce système, Peano et ses collègues avaient montré que l'arithmétique pouvait être fondée sur une seule théorie formelle élégante qui n'utilisait que trois idées de base (zéro, nombre et successeur) et cinq axiomes initiaux. Inspiré par sa rencontre avec Peano et son étude de l'œuvre de Peano, Russell est revenu de Paris avec une conviction presque extatique qu'il connaissait la voie à suivre: s'il pouvait montrer que toutes les notions mathématiques étaient fondamentalement arithmétiques et que le système de Peano était fondamentalement un système de logique , alors il aurait réussi son objectif déclaré de démontrer que les mathématiques étaient de la logique. Pour cela, l'étape cruciale serait de montrer que les axiomes de Peano pourraient être fondés sur un système de logique.

Un répondre:
#1
+8
Mauro ALLEGRANZA
2014-11-06 01:47:51 UTC
view on stackexchange narkive permalink

J'ai trouvé dans Hubert Kennedy, Douze articles sur Giuseppe Peano (2002): Ce que Russell a appris de Peano , de Notre Dame Journal of Formal Logic (1983) ce qui suit:

La preuve vient de Russell lui-même, entre autres, dans la description du Congrès international de philosophie à Paris, 1900, dans son Autobiographie (p.217–219):

Le Congrès a été un tournant dans ma vie intellectuelle, car j'y ai rencontré Peano. Je le connaissais déjà par son nom et j'avais vu certains de ses travaux, mais je n'avais pas pris la peine de maîtriser sa notation. [...] Au fil des jours, j'ai décidé que cela devait être dû à sa logique mathématique.

Je l'ai donc amené à me donner toutes ses œuvres, et aussitôt le Congrès terminé je me suis retiré à Fernhurst pour étudier tranquillement chaque mot écrit par lui et ses disciples [italiques ajouté].



Ce Q&R a été automatiquement traduit de la langue anglaise.Le contenu original est disponible sur stackexchange, que nous remercions pour la licence cc by-sa 3.0 sous laquelle il est distribué.
Loading...