PSYKENS TOPOLOGI - Niels Engelsted

Jens Mammen, 27.04.98
Svar til Preben Bertelsen
Kære Preben - og STP!
1. Lad mig […] prøve at svare på Preben Bertelsens indlæg til STP fra den 18.
marts. Preben rejser for mig at se tre sammenhængende spørgsmål: A) Hvad
skal der til, for at et dyrs forbindelse til omverden kan karakteriseres ved udvalgskategorier?
B) Er det en nødvendig betingelse for realiseringen af denne
forbindelse, at der i dyret forløber nonalgoritmiske eller noncomputable processer?
C) Hvad er det materielle eller organiske grundlag for sådanne processer?
2. Spørgsmål A henvender sig nok i højere grad til Niels Engelsted end til mig,
så jeg vil gerne vente med at svare på det, til jeg forhåbentligt snart kommenterer
Niels' mening om spørgsmålet i hans "Efter Studiebrevene".
Spørgsmål C vedrører i høj grad Roger Penrose's og Stuart Hameroff's teori om
quantum computere i hjernen, som jeg ikke føler mig kvalificeret til at kommentere
i denne omgang.
Tilbage står spørgsmål B, som jeg vil forsøge at svare på i det følgende.
3. Lad mig først sige, at jeg mener, at der er mange gode grunde til at tro, at der
- i det mindste i menneskers hjerner - forløber nonalgoritmiske processer. Jeg er
dog usikker på, hvorvidt der i dag findes noget virkeligt tvingende argument for
det. Penrose's argument ud fra menneskers evne til at nå frem til ny matematisk
indsigt, som ikke kan nås ved (algoritmisk) deduktion fra allerede eksisterende
matematisk indsigt (jfr. Kurt Gödel), beviser formentlig kun, at vi aldrig vil
kunne definere en algoritmisk model af vores egen funktionsmåde, ikke at en
sådan ikke findes. Penrose's argument er formentlig kun tvingende som et epistemologisk
argument, der afviser muligheden af AI, men ikke som et ontologisk
argument, der afviser, at vi faktisk fungerer algoritmisk, efter ikke-erkendte
regler.
4. Når jeg ovenfor siger, at vi næppe i dag har et sådant tvingende argument, så
har jeg også antydet, at jeg ikke mener, at selve det forhold, at vi som mennesker
er forbundet med vores omverden som beskrevet med mine 11 axiomer for
sanse- og udvalgskategorier, implicerer, at vi fungerer nonalgoritmisk, selv om
jeg som sagt faktisk tror, at vi gør det.
Men jeg kan godt se, at tanken er nærliggende ud fra, hvad jeg har skrevet i
DMS og især i studiebrevene. Lad mig uddybe det:
324