Pour les "variables locales" je n'ai pas -du tout- les compétences .
Pour ce qui est des "algorithmes" il y a deux limites intrinsèques
- le non déterminisme est nécessaire pour écrire certaines équations ( pour NP Complet mais pas que)
- le formalisme lui-même contient ( en un certain sens ) de l'indécidabilité ( Gödel théorèmes 2 et 3 ) donc , pas algorithmique dans ce sens .
En plus , la machine de Turing elle-même, qui décrit un( tout) algorithme en général , n'est vraiment entièrement axiomatisable dans sa forme la plus vaste , c'est un modèle instanciable ( très ! ) .
T l'a dit lui même très bien. un petit survey pas trop mauvais
http://philosophiascientiae.revues.org/769
la thèse de Church
https://fr.wikipedia.org/wiki/Th%C3%A8se_de_Church
problème de Post : lisible mais un peu sommaire
http://www.fil.univ-lille1.fr/~tison/AAC/C14/C12.pdf
bon courage :hot: :scratch:
Du coup bah ouais faudra des tas de philosophes des sciences aussi . Et des bons (nouveaux ? ) , venus d'autres champs ?