Logique arithmétique. L’arithmétisation de la logique
EAN13
9782763789972
ISBN
978-2-7637-8997-2
Éditeur
Presses de l'Université Laval
Date de publication
Collection
Logique de la science — LOGS (1)
Dimensions
22,8 x 15,2 x 1,3 cm
Poids
701 g
Langue
français
Fiches UNIMARC
S'identifier

Logique arithmétique. L’arithmétisation de la logique

Presses de l'Université Laval

Logique de la science — LOGS

Offres

Autre version disponible

Dans ce traité, l’auteur veut insister en particulier sur le retournement de la question de Frege :
« jusqu’où peut-on aller en arithmétique par la seule voie déductive ? ». Cette
question inaugurale de la logique formelle doit être révisée dans mon sens de
la question d’inspiration kroneckerienne : « jusqu’où peut-on aller en logique
par la seule voie arithmétique ? ».
S'identifier pour envoyer des commentaires.