IziBooks IziBooks IziBooks IziBooks
Logique arithmétique : L'arithmétisation de la logique - Yvon Gauthier - PUL Diffusion

Suivre l’actualité de ce titre (promotion, parution...)

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

de Yvon Gauthier (auteur)
Maison d'édition : PUL Diffusion
novembre 2010
205 pages Téléchargement après achat
26,36 €

Comment récupérer et lire mon ebook ?

  Paiement sécurisé

Résumé

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.

Auteur

  • Yvon Gauthier (auteur)

    Né à Drummondville (Québec) en 1941, Yvon Gauthier a obtenu une maîtrise en philosophie à l’Université de Montréal en 1962 et il a étudié à l’Université de Heidelberg sous la direction du professeur Hans-Georg Gadamer de 1964 à 1966 (Dr.phil. 1966). Il a été attaché de recherche en mathématiques à l’Université de la Californie à Berkeley en 1972 et à l’Université de Léningrad (LOMI, 1986). Il a enseigné au Séminaire de Saint-Hyacinthe (1962-1963), à l’Université de Sudbury (1966-1972) et à l’Université de Toronto (1972-1973), puis à l’Université de Montréal (1973). Il est professeur titulaire à l’Université de Montréal depuis 1976.Yvon Gauthier donne des cours de premier cycle en Épistémologie des sciences exactes, Épistémologie des sciences sociales et une Introduction à la lecture de Hegel. Il assure la direction de deux séminaires bisannuels sur les Fondements des mathématiques et les Fondements de la physique.

Auteur(s) : Yvon Gauthier

Avis

Pour évaluer et laisser un commentaire sur le produit, merci de vous connecter à votre compte.

Caractéristiques

Editeur : PUL Diffusion

Auteur(s) : Yvon Gauthier

Publication : 1 novembre 2010

Intérieur : Noir & blanc

Support(s) : Livre numérique eBook [PDF]

Contenu(s) : PDF

Protection(s) : Marquage social (PDF)

Taille(s) : 2,31 Mo (PDF)

Langue(s) : Français

Code(s) CLIL : 3051

EAN13 Livre numérique eBook [PDF] : 9782763709970

EAN13 (papier) : 9782763789972

Vous aimerez aussi
--:-- / --:--