La décidabilité est une notion fondamentale en logique et en informatique théorique, depuis longtemps, on croyait que tout problème mathématique est décidable jusqu'à la preuve d'Alan Turing avec le problème dit de l'arrêt.
- 10 жыл бұрын
Décidabilité et indécidabilité : Problème de l'arrêt | Rachid Guerraoui
- Рет қаралды 24,880
Пікірлер: 24