Thèse soutenue

Calculabilité, physique et cognition
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Bruno Marchal
Direction : Jean-Paul Delahaye
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1998
Etablissement(s) : Lille 1

Mots clés

FR

Mots clés contrôlés

Résumé

FR

Nous proposons une argumentation hypothetico-deductive montrant que l'hypothese du computationnalisme en science cognitive est incompatible avec une forme, pourtant tres faible, de materialisme. La demonstration est partiellement constructive en ce sens qu'elle montre comment reduire en principe la physique a une psychologie computationnelle. Par computationnalisme nous entendons une version indexicale du mecanisme digitale, ce qui necessite aussi la these de church et le realisme arithmetique. Dans une premiere partie (chapitres 2, 3, 4) nous presentons la demonstration proprement dite au moyen des arguments du deployeur universel et du graphe filme. Dans une seconde partie (chapitre 5) nous illustrons comment isoler une logique des observations possibles a partir de la logique de la prouvabilite par des machines autoreferentiellement correctes. Nous obtenons ainsi une phenomenologie (dans le sens traditionnel non husserlien du terme) de la matiere. Nous terminons en comparant cette phenomenologie avec la logique quantique ainsi qu'avec des interpretations recentes ( many-minds ) de la mecanique quantique. Nous avons reuni dans des annexes des rappels sur les logiques modales, sur le probleme du corps et de l'esprit, et sur les problemes de la mesure en mecanique quantique, et quelques reflexions sur la these de church.