La logique interne est une entreprise fondationnelle qui vise à montrer que la logique est fondée sur l'arithmétique. C'est donc un point de vue anti-frégéen qui est défendu ici. C'est en même temps une tentative pour montrer les limites de la sémantique ensembliste, la théorie des modèles adossée à la théorie cantorienne des ensembles, afin de formuler une arithmétique de Fermat où la descente infinie, ou indéfinie, tient lieu du postulat d'induction de l'arithmétique de Peano. La théorie finitaire, ou mieux effinitaire, de la logique et de l'arithmétique qui en découle constitue l'assise d'une théorie générale de la logique interne du discours scientifique et plus particulièrement du discours mathématique.
L'ouvrage s'adresse aux philosophes, logiciens et mathématiciens intéressés au problème des fondements, mais dont les intérêts ne convergent pas toujours. Le style formel - informel de ce livre pourra peut-être les réconcilier.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Avec la collection "La BD en classe", le Syndicat national de l’édition propose des supports pédagogiques autour de thématiques précises
Découvrez les auteurs, autrices et libraires qui accompagneront le président du jury Jean-Christophe Rufin !
Une plume vive, des héros imparfaits et une jolie critique de notre société
Sénèque écrit une ultime lettre, alors qu'il a été condamné à mort par celui dont il fut le précepteur, conseiller, et ami : l'empereur Néron
