Les Principia Mathematica sont une œuvre en trois volumes d'Alfred North Whitehead et Bertrand Russell, publiés en 1910-1913. Cette œuvre a pour sujet les fondements des mathématiques. C'est un ouvrage fondamental, dans la mesure où il participe de façon décisive à la naissance de la logique moderne et est à l'origine de la logique contemporaine.
A la page 379 (lol !) du Volume I de la première édition (voir image ci-dessous), on peut lire "From this proposition it will follow, when arithmetical addition has been defined, that 1+1=2.". La preuve a été complétée à la page 86 du Volume II, accompagnée du commentaire suivant "The above proposition is occasionally useful.".
Aucun commentaire:
Enregistrer un commentaire