Discussion:Système formel

Une page de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Autres discussions [liste]
  • Suppression
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives

A la fin du chapitre L’énumérabilité des théories axiomatiques, il est question de 'proposition vraie', mais nulle part n'est définie la notion de vérité?

Thibautlg (d) 8 janvier 2009 à 14:44 (CET)

Systèmes formels et informatique[modifier le code]

Je considère que la partie langage informatique qui énonce que qu'un langage informatique dispose d'une sémantique opérationnelle est plutôt fausse. Un langage comme Haskell n'en définit pas, il ne définit qu'une sémantique dénotationnelle. Sedrikov (d)

Je maintiens : tout langage informatique a une sémantique opérationnelle, y compris Haskell. Peut-être devrais-je relativiser et ajouter tout langage informatique implémenté sur un ordinateur que ça soit sous forme d'interprète, de compilo, ou autre, l'implémentation étant la définition (très formelle il est vrai) de la sémantique opérationnelle du langage. C'est du reste ce qui est dit dans l'article : « La sémantique opérationnelle d'un langage est en général réalisée par un programme ». Laurent de Marseille (d) 9 mai 2012 à 22:48 (CEST)