Calculabilité, physique et cognition

par Bruno Marchal

Thèse de doctorat en Informatique

Sous la direction de Jean-Paul Delahaye.

Soutenue en 1998

à Lille 1 .


  • 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.

  • Titre traduit

    Computability, physics and cognition


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (XII-112 p.)
  • Annexes : Bibliogr. p. 103-112

Où se trouve cette thèse ?

  • Bibliothèque : Université des sciences et technologies de Lille (Villeneuve d'Ascq, Nord). Service commun de la documentation.
  • Disponible pour le PEB
  • Cote : 50376-1998-121
  • Bibliothèque : Université des sciences et technologies de Lille (Villeneuve d'Ascq, Nord). Service commun de la documentation.
  • Disponible pour le PEB
  • Cote : 50376-1998-122

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : MF-1998-MAR
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.