2018
Ce document est lié à :
https://hdl.handle.net/20.500.13089/2scb
Ce document est lié à :
https://doi.org/10.4000/books.enseditions
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/isbn/978-2-84788-995-6
info:eu-repo/semantics/openAccess , https://www.openedition.org/12554
Louis Couturat et al., « Sur une définition logique du nombre », ENS Éditions
Dans le troisième volume de son grand ouvrage sur l’Algèbre de la Logique, M. Schröder reconnaît à M. Dedekind l’honneur d’avoir comblé (au moins en partie) la lacune qui séparait jusqu’ici la Logique des Mathématiques, et d’avoir trouvé les vrais fondements logiques de l’Arithmétique, en définissant logiquement l’idée de nombre entier, et en démontrant logiquement le principe de l’induction complète. Que cet hommage flatteur soit pleinement mérité par la rigueur et la subtilité des déductions...