Uncategorized

Addition

Dans Principia Mathematica, Bertrand Russel et Alfred Whitehead ont tenté de fournir des assises rigoureuses aux mathématiques en utilisant comme base la logique formelle. Ils ont débuté avec ce qu’ils considéraient être des axiomes, dont ils se sont servis pour établir des théorèmes à la complexité croissante. Arrivés page 362, ils ont démontré suffisament de choses pour pouvoir avancer que 1+1=2.

Ted Chiang, Division par zéro, in La tour de Babylone

Standard

4 thoughts on “Addition

  1. Je te conseille sincèrement de faire un tour sur les sujets d’ADS (partie D du TIPE)… il y a eu un très beau sujet qui traite des relations sur l’ensemble des rationnels impliquant des relations sur celle des réels…

Comments are closed.