Publisher's Synopsis
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.
