>> Une question en l'air, les langages d'assistant à la preuve sont-ils vraiment des langages de programmation ?
Oui. Mais leur expressivité ne leur permet pas d'exprimer toutes les fonctions calculable.
C'est pas tellement différent d'une machine de turing avec une bande de seulement 1 mètre, ou d'un ordi avec seulement 64Ko de RAM... Tu peux quand même t'amuser avec et résoudre certains problèmes...
[^] # Re: Victoire de la communauté scientifique non-informaticienne!
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Le langage C serait redevenu le langage le plus utilisé. Évalué à 3.
Oui. Mais leur expressivité ne leur permet pas d'exprimer toutes les fonctions calculable.
C'est pas tellement différent d'une machine de turing avec une bande de seulement 1 mètre, ou d'un ordi avec seulement 64Ko de RAM... Tu peux quand même t'amuser avec et résoudre certains problèmes...