Hvorfor skulle man ikke kunne bevise troen ?. Det er faktisk det naturvidenskab går ud på, at forsøge at bevise den hypotese man selv tror mest på.
Jeg er helt enig. Dog kan påstås, at hvis troen netop bevises, så er den ikke tro, men viden. Og da har man mistet troen. Så må vi til at bevise det modsatte, for at kunne forblive troende.
Darwin, er en "tro", mange mener er bevis for - og derfor ikke tro, men videnskab. For dem, der ikke godtager beviserne, er det dog stadigt en tro. Og man kan tro på den, trods man ikke tror på beviserne.
Problemet med Darwin, er at jeg ikke har set mange praktiske anvendelser. Jeg betragter først et område, som interessant, den dag vi kan bruge den, til at udvikle noget.
At tro på, at en computer med uendelig beregningshastighed og hukommelse er den ultimative gud, er en helt anderledes konstruktiv tro. Vi vil søge at opnå denne, ved at udvikle computere, som selv udvikler sig mod denne, og vi vil se at disse computere nærmer sig det vi kalder intelligens, og måske liv. Deres hastighed vil øges, fordi de uafbrudt finder nye måder, at løse deres programmer, og matematik, og en dag vil de måske endog tage omgivelserne med i deres betragtninger, og søge samarbejde med andre computere, og systemer de kan forstå, og opskrive et program for - og derved også i stand til at manipulere og få til at bruge til at blive hurtigere. På den måde opnås, at computeren går mod den ultimative hastighed.
Selvom vi langtfra får udviklet ovenstående computere, er selv små skridt, i retning af at få den til at forstå og kunne behandle de programmer den får (uafhængig af program), set skridt mod hurtigere computere. Med tiden, vil vi kunne lave dem så godt, at de forstår programmerne så meget, at hvis vi skulle give dem en kode i deres eget sprog, men beskriver det på en kryptisk måde i et andet sprog, så vil de indsé dette, og kunne oversætte dem til deres eget interne sprog. Og vi vil nok komme længere end det. Når de bliver i stand til at selv opdage nye metoder, og at de kan analysere andre computere og formler som man sætter på, og går mod det optimale, vil vi opnå en spændende computer, der måske søger at løse programmer ved nytænkning. Dertil er vi ikke kommet i dag.
Det, som jeg påstår, er at en sådan computer har meget tilfældes med intelligens og måden som intelligens fungere - trods vi altså endnu ikke kan opskrive softwaren til en sådan. Det interessante er imidlertid, at teorien kan bruges til noget. Vi kan indkode de metoder vi tror bruges, og vi vil kunne se om de fungerer. Resultatet vil blive hurtigere computere. Og måske vil alle matematikkens triks også kunne indkodes, således et matematisk problem blot kan skrives i programmeringssproget, og derved vil det løses, hvis set er muligt. Er det ikke muligt, kan den måske også være konstruktiv og forsøge at selv opdage små mangler, for at løse problemet.
I modsætning til Darwin, der hovedsageligt kun kan bevise en tro, dog uden at hverken tro eller bevis er brugbart til udvikling, så kan computerteorien bruges i praksis. Vi vil med tiden måske kunne skabe vor egen afløser, hvis teorien er holdbar.
Vi må dog erkende, at trods opgaven egentligt er meget enkelt - at skrive et stykke software der gør computeren hurtigere, så er dette endnu en opgave som vi ikke er i stand til at løse korrekt. Vi kan måske gøre det, hvis computeren har nok beregningstid, men ikke hvis computeren har begrænset hastighed, hvilket er opgaven.