Overview

La logique arithmetique est la logique interne de l'arithmetique, c'est la traduction ou l'interpretation de la logique formelle dans le langage de l'arithmetique. Cette arithmetique n'est pas l'arithmetique formelle de Frege et Peano, mais l'arithmetique classique de Fermat a Kronecker jusqu'a la theorie contemporaine des nombres. L'hypothese proposee ici suppose qu'apres l'arithmetisation de l'analyse, chez Cauchy et Weierstrass, et l'arithmetisation de l'algebre, chez Kronecker, la logique formelle a amorce son arithmetisation avec Hilbert pour atteindre son aboutissement avec l'informatique theorique actuelle. Dans cette perspective, la methode de la descente infinie de Fermat et l'arthmetique generale de Kronecker fournissent une critique constructiviste de l'induction transfinie en meme temps qu'une preuve de consistance interne de l'artihmetique polynimiale. La position fondationnelle defendue dans l'ouvrage se reclame du constructivisme logicomathematique et constitue les assises d'un programme qu'on peut bien appeler - logique de la science - apres Peirce et Carnap. Le motif recteur des travaux formels est d'ordre philosophique et c'est dans un esprit oecumenique que l'auteur a voulu mener ces recherches.

Full Product Details

9781322492636

Table of Contents

Reviews

Author Information

Tab Content 6

Customer Reviews

Recent Reviews

Countries Available