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.