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 qu'il n'y a aucune séquence d'états nécessaire pour être dans un état quelconque. ce

Réalisateur : kenji misumi année : 1972 durée : 83 minutes/89 minutes (uncut) budget : toujours inconnu ! baby cart iii : dans la terre de l'ombre de kenji misumi suite des aventures d’ogami itto, « le loup à l’enfant » et de son fils, daigoro. le 2 e épisode, l’enfant massacre , terminait sur une note « positive » puisque l’ancien

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é de confirmation élevé. ici, on peut déjà faire remarquer (et putnam, dans « ce que le

Si, quand on agit, on agit toujours en accord avec une préférence que l'action exprime mais que la préférence n'existe pas en dehors de l'action (=/= samuelson, caplan (1)), dire qu'on agit toujours en accord avec ses préférences, c'est dire qu'on agit toujours en accord avec son action. bref, la capacité prédictive de cet axiome est compar

Matteo salvini lancerait une nouvelle monnaie qui circulerait dans le marché italien : les minibots, semblables aux iou californiens de 2009. comme le déclare david cayla au figaro , "concrètement, les minibots serviront à payer les entreprises à qui l’état doit de l’argent par des titres de dette, titres qui seront en retour acceptés po

Premier succès de martin scorsese après plus de 10 ans d’échecs et de déceptions (à tombeau ouvert, kudun, casino, gangs of new york, le temps de l’innocence), aviator marque l’alliance du cinéaste avec les producteurs weinstein, qui règnent aujourd’hui sur hollywood, « aussi bien admirés que redoutés » faisait remarquer studio c

Réalisateur : jean-luc godard année : 1960 acteurs : voire critique durée : 89 minutes a bout de souffle de jean-luc godard sorti en 1960, à bout de souffle est l’un des premiers films du mouvement de la nouvelle vague, après le beau serge de chabrol (1958) et les 400 coups de truffaut (1959). le film est aussi le premier long-métrage de je

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 nous serons tous morts" est vrai ; c'est d'ailleurs probablement vrai, nous pouvons

((x=a) ⊃ ¬c) ⊃ (c ⊃ ¬a) démontrez que c'est faux. si p(a|c) = 1, alors c => a. soit a la proposition "julie va au japon" et c, "julie apprendra le japonais". il ne suit pas de ce que julie n'apprenne pas le japonais si elle va au japon (ce qui n'est pas une bonne idée en passant) qu'elle n'ira forcément pas au japon si elle décide d'app

Réalisateur : paul ws anderson année : 2010 durée : 97 minutes budget : estimé à 60m$. acteurs : voire critique resident evil : afterlife de paul ws anderson après un premier opus à succès en 2002, on peut dire qu’anderson avait laissé tombé la saga resident evil, pour mieux aller tourner alien vs predator (ce en quoi il avait plutôt r