Résumé
Ce travail présente une démonstration de l'indécidabilité du calcul des prédicats du premier ordre, à travers l'étude de propriétés d'arrêt des machines de Turing et du problème de l'appartenance pour les semi-systèmes de Thue.| la date de réponse | juin 1992 |
|---|---|
| langue originale | Français |
| L'institution diplômante |
|
| Superviseur | Jacques Mersch (Promoteur) |