Les théorèmes limitatifs de la logique mathématique - Elamami, Saeb
62,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
payback
31 °P sammeln
  • Broschiertes Buch

Dans ce livre, qui constitue le premier volume de son trilogie sur la vérité, la preuve et les théorèmes limitatifs de la logique mathématique, l'auteur s'engage à développer une introduction lucide et subtile à la logique moderne, qui éclaire les concepts de base de cette logique mathématisée, ainsi que ses théorèmes non limitatifs (complétude) et ceux limitatifs (incomplétude et indéfinissabilité). Pour chaque concept, il explique son évolution historique et clarifie ses rôles dans l'étude des rapports entre syntaxe et sémantique, voire entre la notion de preuve et celle de vérité.

Andere Kunden interessierten sich auch für
Produktbeschreibung
Dans ce livre, qui constitue le premier volume de son trilogie sur la vérité, la preuve et les théorèmes limitatifs de la logique mathématique, l'auteur s'engage à développer une introduction lucide et subtile à la logique moderne, qui éclaire les concepts de base de cette logique mathématisée, ainsi que ses théorèmes non limitatifs (complétude) et ceux limitatifs (incomplétude et indéfinissabilité). Pour chaque concept, il explique son évolution historique et clarifie ses rôles dans l'étude des rapports entre syntaxe et sémantique, voire entre la notion de preuve et celle de vérité.
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.