Informatique-Theorique

Pourquoi le problème de l'arrêt est-il indécidable sur les machines de Turing ? featured image
Informatique Machine-De-Turing Calcul-Mathematique Theorie-Du-Langage-De-Programmation Logique-Mathematiques Informatique-Theorique

Pourquoi le problème de l'arrêt est-il indécidable sur les machines de Turing ?

Réponse publiée sur Quora C’est plus grave que ça. Turing lui-même a démontré que le Problème de l’arrêt était indécidable, mais pas que pour “sa” machine. C’est valable pour tous …

Read more
Pourquoi la machine de Turing est-elle un modèle de calcul populaire ? featured image
Informatique Calcul Machine-De-Turing Histoire-De-L-Informatique Science-De-L-Informatique Informatique-Theorique Technique-Informatique

Pourquoi la machine de Turing est-elle un modèle de calcul populaire ?

Réponse publiée sur Quora Plutôt que “populaire” je dirais plutôt “scientifiquement solide” car elle satisfait la Thèse de Church qui est à la base de la Théorie de la …

Read more
Quelle est la réalité du lambda-calcul la structure logique sous-jacente aux langues naturelles dont les mathématiques, inscrite dans le cerveau ? featured image
Mathematiques Cerveau Cognition Linguistique Informatique-Theorique

Quelle est la réalité du lambda-calcul la structure logique sous-jacente aux langues naturelles dont les mathématiques, inscrite dans le cerveau ?

Réponse publiée sur Quora Houlala quelle salade… Le Lambda-calcul est quelque chose de bien défini en maths et très utilisé en informatique. Il fut un temps où on pensait qu’il …

Read more