$No$ d'ordre : 2269

THèSE
présentée à

L'UNIVERSITé DES SCIENCES ET TECHNOLOGIES DE LILLE

en vue de l'obtention du titre de
Docteur de l'Université de Lille
Discipline : Informatique


présentée et soutenue publiquement par
BRUNO MARCHAL


Calculabilité, Physique
et Cognition
Date de soutenance : mardi 2 juin 1998

MAX DAUCHET Université de Lille I Président

JEAN-PAUL DELAHAYE Université de Lille I Directeur

SERGE GRIGORIEFF Université Paris VII Rapporteur

PATRICE ENJALBERT Université de Caen Rapporteur

PAUL GOCHET Université de Liège Rapporteur

FRANçOIS DENIS Université de Lille III Examinateur

PHILIPPE SMETS Université Libre de Bruxelles Examinateur

IRIDIA/BRUXELLES, LIFL/LILLE

Table des Matières

 
• Contents
• Remerciements
• Introduction
• L'hypothèse du computationnalisme
• Comment fonctionne la démonstration ?
• L'argument du déployeur universel
  • Le mécanisme entraîne une forme forte d'indéterminisme phénoménal
  • La sélection ne dépend pas des délais de reconstitutions
  • Le mécanisme entraîne une forme forte de non-localité phénoménale
  • La sélection ne dépend pas de la nature des reconstitutions
  • L'argument du déployeur universel
    • L'hypothèse extravagante
    • Une phénoménologie de la matière est nécessaire
  • A quoi peut ressembler une phénoménologie computationnelle de la $matière\; ?$
• L'argument du graphe filmé
  • Les thèses de supervénience
    • La supervénience physique
      • La supervénience %physique [type]
    • La supervénience computationnelle
  • L'éliminination de l'hypothèse extravagante
    • COMP entraîne SUP-COMP
    • Le graphe filmé: COMP=> ~SUP-PHYS
    • Objections et raffinements
      • Et si le film rêvait?
      • Contrefactuellement correcte/accidentellement correcte
      • Barnes et Malcolm
• Opinions et silences de la machine löbienne
  • Une ``toute petite théorie de la conscience"
  • La prouvabilité formelle
  • La phénoménologie du sujet
    • L'idée de Théétète
    • Réfutation de Lucas et Penrose
  • Phénoménologies de l'objet
    • De la vérité à la possibilité
    • La Sigma<sub>1</sub>-restriction
  • Comparaison avec la physique actuelle
    • Indéterminisme et non-localité
    • Etats multiples et relatifs
    • Logique quantique : contrefactualité
    • Logiques quantiques : mesures et qualia ``arithmétiques"
    • Comparaison avec Maudlin et Penrose
    • L'arithmétique comme ``Théorie de Tout"
    • Penrose, Maudlin
    • Penrose, Deutsch, Albert, Wheeler, Tipler, Böhm 19
• Logique modale
  • La sémantique de Kripke
  • Théories et démonstrations
  • La sémantique de Scott et Montague
• La thèse de Church
  • Généralité et histoire
  • La thèse de Church entraîne l'incomplétude de Gödel
  • La thèse de Church intensionnelle
  • La thèse de Church permet de réhabiliter une ``philosophie de Pythagore"
• Mécanique quantique
  • Le doute qui vient de la chimie
  • Quel effet cela fait-il d'être une machine dans un univers quantique ?
    • L'indéterminisme quantique est un cas particulier de l'indéterminisme abrupte mécaniste
    • Le point de vue du chat de Schrödinger
    • L'ordinateur avec l'instruction ``KILL-THE-USER"
    • Confirmation à la troisième personne de l'interprétation d'Everett
    • Le rôle pédagogique de l'interprétation d'Everett
    • Peut-on croire à l'interprétation d'Eve$rett\; ?$
  • Inégalités de Bell et Logique Quantique
    • Violation des Inégalités de Bell
      • Principes de Base
      • Démonstration d'une inégalité de Bell
      • Violations expérimentales des inégalités de Bell
    • Logique quantique
• Zombies et compagnie
  • Le problème du corps et de l'esprit
    • Le paradoxe du fonctionnalisme
    • Une formulation générale du problème du corps et de l'esprit
      • Ontologie, rasoirs d' Occam et phénoménologie
  • Le computationnalisme est une hypothèse forte
  • Le computationnalisme est une hypothèse faible
• References
• About this document ...

back to Bruno Marchal’s main page