- 205 pages
- French
- PDF
- Disponible sur iOS et Android
Logique arithmétique : L'arithmétisation de la logique
À propos de ce livre
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.
Foire aux questions
- Essentiel est idéal pour les étudiants et les professionnels qui aiment explorer un large éventail de sujets. Accédez à la bibliothèque Essentiel comprenant plus de 800 000 titres de référence et best-sellers dans les domaines du commerce, du développement personnel et des sciences humaines. Il comprend un temps de lecture illimité et la voix standard de la fonction Écouter.
- Complet est parfait pour les étudiants avancés et les chercheurs qui ont besoin d'un accès complet et illimité. Accédez à plus de 1,4 million de livres sur des centaines de sujets, y compris des titres académiques et spécialisés. L'abonnement Complet comprend également des fonctionnalités avancées telles que la fonction Écouter Premium et l'Assistant de recherche.
Veuillez noter que nous ne pouvons pas prendre en charge les appareils fonctionnant sur iOS 13 et Android 7 ou versions antérieures. En savoir plus sur l'utilisation de l'application.