Der findes computere, der kun har en CPU, men som har mange processer under sig.
Hver af disse processer, kører helt uafhængigt - men kan kommunikere. De eksisterer dog ikke selv.
Hovedcomputeren kører alt.
Jeg er ikke helt klar over hvad du mener. Men de processer der
kører uafhængigt, må jo eksistere som sådan.
Der findes også computere, der ikke har nogen hovedcomputere. Her eksisterer kun de enkelte processers CPU.
De kører individuelt. Og kommunikerer - uden nogen server, eller hovedcomputer.
Og endeligt findes kombinationen. Der tillader såvel en hovedcomputer, som at de hver især også har egen processor.
I alle tilfælde, kan de enkelte processer udføre bevis. Og dermed bevise deres egen eksistens, eller ikke eksistens. Hvis de altså er dygtige. I mange tilfælde, vil det være utroligt svært, at indsé hvilken af de tre modeller som bruges. Men, det er ikke nødvendigvis total ækvivalens. Findes således, udfra det kendskab, hver enkelt process har, en mulighed for, at de kan opstille kriterier, der gør, at de forskellige muligheder, vil opføre sig på forskellig måde, så vil man derudaf kunne formode, hvilken mulighed som er korrekt. Det er da et indirekte bevis. Det bevises udfra målinger, og sandsynlighedsregning.
De tre muligheder, har derfor ikke nødvendigvis samme sandsynlighed. Og vælges den, der har størst sandsynlighed, har du så godt som gjort et fysisk korrekt bevis. Hvis den er alt dominerende, kan næppe andet være korrekt.
Jeg er til, sagde "djævlen" til mennesket... hvorefter manden beviste, at han var til. Nu var ikke sået tvivl om mandens eksistens. Kun om kvindens.
Hvis en hvilkensomhelst proces udregner et bevis på sin egen
ikke-eksistens, så er beviset FALSK uanset hvordan det er.
Jeg forudsætter, at vi taler om processer, der forløber i normal
rum og tid (4-dimensional rumtid).
Hvis vi går over i MWI (Mange-verden teorien) så kan det muligvis
være anderledes.
Iøvrigt har jeg indtryk af, at du opfatter den menneskelige
hjerne som en slags computer. Det er jo et meget populært
synspunkt for tiden, men det er jeg ikke enig i. Både computere
og mennesker kan lave beregninger, men det gør dem ikke ens.
Men selvfølgelig kan det være interessant at se hvad man kan få
ud af en maskine der *kun* kan foretage beregninger, men kan gøre
det effektivt.
--
Mogens Michaelsen
http://mogmichs.blogspot.com/
Ingen kommentarer:
Send en kommentar