Les théorèmes limitatifs de la logique mathématique
Uitgelicht
|
96,90 |
Naar shop
|
|
96,90 |
Naar shop
|
| VERGELIJK ALLE AANBIEDERS (2) | ||
Beschrijving
Bol
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é.
Beschrijving
(2)
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é.
AmazonPages: 312, Paperback, Editions Universitaires Europeennes
Productspecificaties
Prijshistorie
* Prijshistorie bevat geen data van Amazon.
Prijzen voor het laatst bijgewerkt op:
Gerelateerde resultaten
