Vers une structure fine des calculabilités
La calculabilité est centrée autour de la notion de fonction calculable telle que définie par Church, Kleene, Rosser et Turing au siècle dernier. D'abord focalisée sur les nombres entiers, la calculabilité a été généralisée aux ensembles, notamment par le biais de la théorie axiomatique des ens...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2013MON20160/document |