Logique arithmétique : L'arithmétisation de la logique (Logique de la science)

 
9782763789972: Logique arithmétique : L'arithmétisation de la logique (Logique de la science)
Ver todas las copias de esta edición ISBN.
 
 
Reseña del editor:

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'arithmé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'arithmétique polynomiale. 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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver libro

Gastos de envío: EUR 4,26
De Francia a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Yvon Gauthier
Publicado por Presses Université Laval (2010)
ISBN 10: 2763789978 ISBN 13: 9782763789972
Nuevo Tapa blanda Cantidad disponible: 3
Librería
Gallix
(Gif sur Yvette, Francia)
Valoración
[?]

Descripción Presses Université Laval, 2010. Condición: Neuf. Nº de ref. del artículo: 9782763789972

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 31,50
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,26
De Francia a Estados Unidos de America
Destinos, gastos y plazos de envío