Informatique-Theorique | Dr. Goulu

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

Sat, 14 Aug 2021 00:00:00 +0000

Réponse publiée

Plutôt que “populaire” je dirais plutôt “scientifiquement solide” car elle satisfait la qui est à la base de la .

En gros c’est le moyen rigoureux le plus pratique pour exécuter des algorithmes. Il y en a d’autres comme les les , ou les , mais on a pas réussi les réaliser matériellement aussi bien que la machine du Turing. D’ailleurs, ces approches étant équivalentes, on a implanté le lambda calcul et les fonctions récursives dans des langages de programmation de machines de Turing.

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

Sat, 14 Aug 2021 00:00:00 +0000

Réponse publiée

C’est plus grave que ça.

Turing lui-même a démontré que le était indécidable, mais pas que pour “sa” machine.

C’est valable pour tous les systèmes de calcul envisageables selon la !

Ce n’est donc pas une limitation de l’architecture des ordinateurs et langages “de Turing”, mais quelque chose de plus fondamental résultant des axiomes utilisés pour la définition même de l’ensemble de ce qui est calculable.

La démonstration de Turing date de 1936, peu après les de 1931 dont elle est une application (presque) directe.

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

Tue, 29 Dec 2020 00:00:00 +0000

Réponse publiée

Houlala quelle salade…

Le est quelque chose de bien défini en maths et très utilisé en informatique. Il fut un temps où on pensait qu’il serait plus aisé de faire de l’intelligence artificielle avec ça à l’époque de Lisp , mais si vous faites de la aujourd’hui en JavaScript ou TypeScript, vous savez que ce n’est pas du tout proche de votre langue naturelle ni du fonctionnement de votre cerveau.

Et les maths ne sont ni une langue naturelle, ni inscrits dans notre cerveau.

Vous prévoyez lancer une nouvelle religion New Age basée sur le Lambda-calcul ? C’est vrai que ça sonne bien, mais vous avez oublié la sauce quantique indispensable de nos jours…