Calculabilité, physique et cognition

Computability, physics and cognition

• 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

Mots clés contrôlés

Lambda-calcul

Logique quantique

Modalité (logique)

Résumé

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.