Preuve, Vérité et Théorèmes logiques limitatifs - Elamami, Saeb
77,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
payback
39 °P sammeln
  • Broschiertes Buch

Dans cet ouvrage, l'auteur traite «le problème du déflationnisme et les théorèmes limitatifs de la logique mathématique». Les théories «déflationnistes» sont des conceptions de la vérité souvent, mais pas toujours, caractérisées comme des approches qui acceptent l'utilité expressive de la vérité sans lui accorder d'utilité cognitive. En ce qui concerne la notion de vérité en mathématiques, une variété déflationniste de ce type n'est désormais plus soutenable. Le cas de l'arithmétique et de la notion tarskienne de vérité fournit un argument concluant en faveur de l'utilité épistémique et…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
Dans cet ouvrage, l'auteur traite «le problème du déflationnisme et les théorèmes limitatifs de la logique mathématique». Les théories «déflationnistes» sont des conceptions de la vérité souvent, mais pas toujours, caractérisées comme des approches qui acceptent l'utilité expressive de la vérité sans lui accorder d'utilité cognitive. En ce qui concerne la notion de vérité en mathématiques, une variété déflationniste de ce type n'est désormais plus soutenable. Le cas de l'arithmétique et de la notion tarskienne de vérité fournit un argument concluant en faveur de l'utilité épistémique et démonstrative des théories de la vérité. L'ajout de la définition de la vérité de Tarski à un système formel cohérent T (l'arithmétique de Peano) permet d'établir la vérité de la phrase de Gödel G(T), ainsi que d'énoncés cognitivement utiles pour la pratique mathématique (comme la cohérence de l'arithmétique et, par conséquent, la fiabilité du raisonnement mathématique).
Autorenporträt
Saeb Elamami est chercheur post-doctoral en logique et épistémologie des mathématiques. Il est titulaire d'une maîtrise en mathématiques, d'une licence en philosophie, d'un mastère en fondements des mathématiques et d'une thèse de doctorat en 'logique et philosophie des mathématiques'. Il est aussi doctorant en didactique des mathématiques.