Une machine de Turing peut vérifier qu'elle fait telle opération A (par exemple afficher la 3000e décimale de pi) en donnant une suite d'états ou d'opérations qui aboutit à telle opération A mais elle ne peut vérifier qu'elle est dans tel état B parce...

Un énoncé peut être vrai s'il peut être vérifié. Un énoncé a du sens s'il est vrai ou faux, et nous savons ce qui est le cas quand il est vrai. Nous savons ce qui est le cas si l'énoncé (A) "Il y aura de la neige au sommet du mont Everest même après que...

Carnap tente de reformuler les termes théoriques des énoncés physiques en langage observationnel. Par "langage observationnel", on tente de recouvrir les termes qui désignent des qualités observables et que l'on peut déterminer rapidement avec un degré...