Par expérience, on ne parle plus de "fonctions calculables", mais de "fonctions calculables au sens de Turing". C'est la même différence qu'entre la vérité et la démonstrabilité. Et là, on en a pour un moment...

Conseil: Googlez un max, parmi les billions de matchs, il y en a quelques-uns qui sont réellement intéressants.

-- françois