Eftersom det är lite på tapeten med Artificiell Intelligens så tyckte jag det var dags med
att ifrågasätta den allmänna visdomen att en dator kan slå en människa på precis allt.
Vist förmår de att bli mer skickliga på Schack eller kanske t.o.m. Jepordy men det finns
uppenbara motexempel på vad en dator aldrig kan räkan ut.
Ta frågan om en dator kan bevisa Pythagoras sats och förstå beviset. (Låt
oss säga att det gör det vanligaste geometriska beviset för satsen).
Detta görs nu genom att inte abstrahera längder från någon enskild geometrisk
figur utan det kräver att att du förstå längderna som allmänna.
Men för en dator skulle det omedelbar uppstå en motsägelse, då alla de
geometriska figurer den kan rita enbart har approximativt lika sidor. Medan
det krävs att du förstå att det enbart gäller om du har exakt lika sidor i din
geometriska figur för att beviset skall gälla som sant (givet Euklides axiom).
Detta är alltså en andlig egenskap som människan har som en dator, inte ens
i princip, skulle kunna förstå på samma sätt m.h.a. algoritmer.
På samma sätt skulle en dator inte kunna emullera denna förståelse i oss
någonsin på algoritmisk basis.
Så måste vi tro på en god Gud som förstår dessa sanningar genom oss utan vilket
vi inte kunde vara till alls.
Går någon emot detta resonemang?