Logique arithmetique : L'arithmetisation de la logique (PDF)
(Sprache: Französisch)
La logique arithmetique est la logique interne de l'arithmetique, c'est la traduction ou l'interpretation de la logique formelle dans le langage de l'arithmetique. Cette arithmetique n'est pas l'arithmetique formelle de Frege et Peano, mais l'arithmetique...
Leider schon ausverkauft
eBook (pdf)
35.50 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Logique arithmetique : L'arithmetisation de la logique (PDF)“
La logique arithmetique est la logique interne de l'arithmetique, c'est la traduction ou l'interpretation de la logique formelle dans le langage de l'arithmetique. Cette arithmetique n'est pas l'arithmetique formelle de Frege et Peano, mais l'arithmetique classique de Fermat a Kronecker jusqu'a la theorie contemporaine des nombres. L'hypothese proposee ici suppose qu'apres l'arithmetisation de l'analyse, chez Cauchy et Weierstrass, et l'arithmetisation de l'algebre, chez Kronecker, la logique formelle a amorce son arithmetisation avec Hilbert pour atteindre son aboutissement avec l'informatique theorique actuelle. Dans cette perspective, la methode de la descente infinie de Fermat et l'arthmetique generale de Kronecker fournissent une critique constructiviste de l'induction transfinie en meme temps qu'une preuve de consistance interne de l'artihmetique polynimiale. La position fondationnelle dfendue dans l'ouvrage se rclame du constructivisme logicomathmatique et constitue les assises d'un programme qu'on peut bien appeler logique de la science aprs Peirce et Carnap. Le motif recteur des travaux formels est d'ordre philosophique et c'est dans un esprit oecumnique que l'auteur a voulu mener ces recherches.
Bibliographische Angaben
- Autor: Yvon Gauthier Yvon Gauthier
- 2010, 205 Seiten, Französisch
- Verlag: Presses de l'Universite Laval
- ISBN-10: 2763709974
- ISBN-13: 9782763709970
- Erscheinungsdatum: 01.11.2010
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 2.15 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Französisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Family Sharing
eBooks und Audiobooks (Hörbuch-Downloads) mit der Familie teilen und gemeinsam genießen. Mehr Infos hier.
Kommentar zu "Logique arithmetique : L'arithmetisation de la logique"
Schreiben Sie einen Kommentar zu "Logique arithmetique : L'arithmetisation de la logique".
Kommentar verfassen