Téléchargez le livre : Logique arithmétique : L'arithmétisation de la logique

Logique arithmétique : L'arithmétisation de la logique

de

Éditeur :

PUL Diffusion


Paru le : 2010-11-01

eBook Téléchargement ebook sans DRM
Lecture en ligne (streaming)
26,36 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description
La logique arithmétique est la logique interne de l'arithmétique, c'est la traduction ou l'interprétation de la logique formelle dans le langage de l'arithmétique. Cette arithmétique n'est pas l'arithmétique formelle de Frege et Peano, mais l'arithmétique classique de Fermat à Kronecker jusqu'à la théorie contemporaine des nombres. L'hypothèse proposée ici suppose qu'après l'arithmétisation de l'analyse, chez Cauchy et Weierstrass, et l'arithmétisation de l'algébre, chez Kronecker, la logique formelle a amorcé son arithmétisation avec Hilbert pour atteindre son aboutissement avec l'informatique théorique actuelle. Dans cette perspective, la méthode de la descente infinie de Fermat et l'arthmétique générale de Kronecker fournissent une critique constructiviste de l'induction transfinie en même temps qu'une preuve de consistance interne de l'artihmétique polynimiale. La position fondationnelle défendue dans l'ouvrage se réclame du constructivisme logicomathématique et constitue les assises d'un programme qu'on peut bien appeler « logique de la science » après Peirce et Carnap. Le motif recteur des travaux formels est d'ordre philosophique et c'est dans un esprit oecuménique que l'auteur a voulu mener ces recherches.
Pages
205 pages
Collection
n.c
Parution
2010-11-01
Marque
PUL Diffusion
EAN papier
9782763789972
EAN PDF SANS DRM
9782763709970
Informations sur l'ebook
Prix
26,36 €

Suggestions personnalisées