Théorème d'incomplétude de Gödel (notice n° 4104)
[ vue normale ]
| 010 ## - ISBN | |
|---|---|
| ISBN | 2912126134 |
| 099 ## - Informations locales | |
| Type de document | Brochure (irem, autres) |
| 100 ## - Données générales de traitement | |
| données générales de traitement | 20170516 frey50 |
| 101 ## - Langue | |
| langue du document | français |
| 102 ## - Pays de publication ou de production | |
| pays de publication | France |
| 200 ## - Titre | |
| titre propre | Théorème d'incomplétude de Gödel |
| Auteur | Par Philippe ROYER |
| 210 ## - Editeur | |
| lieu de publication | Lille |
| nom de l'éditeur | IREM de Lille |
| date de publication | 2002 |
| 215 ## - Description | |
| Importance matérielle | 34 p. |
| format | 30cm. |
| 610 ## - sujets | |
| sujet | Enoncé |
| 610 ## - sujets | |
| sujet | langage du premier ordre |
| 610 ## - sujets | |
| sujet | théorie du premier ordre |
| 610 ## - sujets | |
| sujet | Démonstration |
| 610 ## - sujets | |
| sujet | théorème |
| 610 ## - sujets | |
| sujet | syntaxe |
| 610 ## - sujets | |
| sujet | sémantique |
| 610 ## - sujets | |
| sujet | Algorithme |
| 610 ## - sujets | |
| sujet | récursivité |
| 610 ## - sujets | |
| sujet | non- contradiction |
| 610 ## - sujets | |
| sujet | complétude |
| 610 ## - sujets | |
| sujet | incomplétude |
| 700 ## - Auteur | |
| code de fonction | Auteur |
| auteur | ROYER |
| partie du nom autre que l'élément d'entrée | Philippe |
| Abîmé | Perdu ? | Retiré de la circulation | Date de création | Site Propriétaire | Site Dépositaire | Code barre | cote | Statut |
|---|---|---|---|---|---|---|---|---|
| 16/05/2017 | IREM P7 | IREM P7 | 4229 | LIL dublirem 2002 112 Gödel | Empruntable |