turing
A propos de l'Espace-Turing | Partenaires | Nous contacter
twitterfacebookrssyoutube
Accueil > Ephéméride > Historique > Naissance du logicien et philosophe Polonais « Alfred Tarski »

Naissance du logicien et philosophe Polonais « Alfred Tarski »

14 janvier 1902

Voir en ligne : https://fr.wikipedia.org/wiki/Alfre...
JPEG - 13.8 ko

"Le théorème de Tarski, montre que la notion de vérité des énoncés d’un langage formalisé, suffisamment riche, ne peut être définie dans ce langage, mais dans ce qu’il appelle un métalangage (metajęzyk). La démonstration introduit des techniques assez proches de celles de Gödel.

Tarski est l’auteur de nombreux résultats féconds dont il est difficile de faire l’inventaire. Il a notamment formulé plusieurs énoncés équivalents à l’axiome du choix et montré la décidabilité de théories comme celle des algèbres de Boole ou des corps algébriquement clos et l’indécidabilité de théories comme celle des treillis."


info portfolio

titre documents joints


Suivre la vie du site RSS 2.0 | Plan du site | Espace privé | SPIP | squelette | Contact site : marc.monticelli [at] unice [point] fr