Calculabiliti, Physique Et Cognition Une Thhse Originale (french Edition) [Paperback]

Une argumentation hypoth?tico-d?ductive est propos?e pour montrer que l'hypoth?se du computationnalisme en science cognitive est incompatible avec une forme, pourtant tr?s faible, de mat?rialisme. La d?monstration est partiellement constructive en ce sens qu'elle montre comment r?duire en principe la physique ? une psychologie computationnelle. Par computationnalisme nous entendons une version indexicale du m?canisme digital, ce qui n?cessite aussi la th?se de Church et le r?alisme arithm?tique. Les premiers chapitres pr?sentent la d?monstration proprement dite au moyen des arguments du d?ployeur universel et du graphe film?. Le dernier chapitre isole une logique des observations possibles ? partir de la logique de la prouvabilit? par des machines autor?f?rentiellement correctes. De cette fa?on une th?orie de la mati?re est d?riv?e. Nous terminons en comparant la logique de cette th?orie avec la logique quantique. On trouvera dans les annexes des rappels sur les logiques modales, sur le probl?me du corps et de l'esprit, et sur les probl?mes de la mesure en m?canique quantique, ainsi qu'une d?rivation ais?e de l'incompl?tude des discours des machines ? partir de la th?se de Church.