quote:Op maandag 15 november 2004 20:46 schreef NightH4wk het volgende:
Misschien met een "parallel universum" in een "quantum computer". [afbeelding]
Een perfecte simulatie zou zo sterk moeten zijn dat deze minstens gelijk staat aan de werkelijkheid waarin hij bestaat, incluis alle details idd...quote:Op maandag 15 november 2004 21:15 schreef Hallulama het volgende:
Skull-splitter, ik vermoed dat de clue van jouw verhaal zit in "in alle opzichten"?
Als in, tot en met het gedrag van ieder kleinste deeltje, bijvoorbeeld?
Doel van simulatie is de werkelijkheid zo dicht mogelijk naderen. Zolang dit via een extern medium gaat zoals projectje met geluiden blijft het medium (simulator) dus sterker dan de simulatie (kwa overtuigingskracht). Ga je echter beeld en geluid direct in de hersenschors pompen dan bestaat de kans dat de hersenen dat als "echt" ervaren, en dan komt het hele matrix vraagstuk kwa realiteitsperceptie naar voren.quote:Op maandag 15 november 2004 22:36 schreef Jernau.Morat.Gurgeh het volgende:
Het ligt uiteraard aan je definitie van 'krachtiger'.
Zo wordt bijvoorbeeld een volgende generaties processoren ontworpen en gesimuleerd op systemen met de huidige generatie. Aangezien een volgende generatie processoren over het algemeen meer (of krachtigere) mogelijkheden heeft dan de huidige, is de simulatie in die zin 'krachtiger' dan de simulator.
In dit geval zit de truc hem er in dat je hooguit een bepaald aspect van een pentium processor zou kunnen versnellen. Wanneer je weet dat (bijvoorbeeld, zuiver hypothetisch) een zwak punt van de processor het afhandelen van floating points is, en je een emulator hebt die dat deel kan omzetten naar integere bewerkingen (Wat in dit hypothetische geval een pluspunt is van de CPU), waarbij de emulator zelf geen gebruik maakt van floating points, zou het kunnen werken.quote:Op woensdag 17 november 2004 10:15 schreef gnomaat het volgende:
Twijfelgeval.
Een pentium processor is bijvoorbeeld niet zo snel & efficiënt als theoretisch mogelijk is. Stel dat je een pentium-emulator schrijft (die zelf draait op een pentium) waarmee je programma's kunt draaien en die hij sneller uitvoert dan een echte pentium processor. Dat kan natuurlijk niet als hij dezelfde instructies letterlijk nabootst (want dan voert de onderliggende echte pentium processor ze alsnog uit).
Maar stel dat hij de programma-instructies razendsnel kan omzetten naar andere instructies die veel sneller door een pentium kunnen worden uitgevoerd. En dat het snelheidsverschil tussen het uitvoeren van de originele instructies, wat normaal gebeurt als je het programma draait op een pentium, en de nieuwe instructies die de emulator ervan maakt, zó groot is dat zelfs met die vertaalslag erbij je nog steeds tijd bespaart. Theoretisch kan dat, vertalen hoeft niet even lang te duren als uitvoeren. Dan heb je volgens mij wat jij bedoelt?
Aan de andere kant: als je zo'n constructie voor elkaar krijgt, kun je ook de emulator (wat zelf een programma is) ook weer in de emulator draaien, waardoor je dubbel zoveel winst hebt. En dat kun je dan ook weer... enzovoort. Dus oneindige snelheidswinst. En dat zou logischerwijs eigenlijk niet moeten kunnen.
Welk van deze twee mogelijkheden is fout?
Stuhr, een vrouw met een kennis van computerhardwarequote:Op woensdag 17 november 2004 10:21 schreef Alicey het volgende:
[..]
In dit geval zit de truc hem er in dat je hooguit een bepaald aspect van een pentium processor zou kunnen versnellen. Wanneer je weet dat (bijvoorbeeld, zuiver hypothetisch) een zwak punt van de processor het afhandelen van floating points is, en je een emulator hebt die dat deel kan omzetten naar integere bewerkingen (Wat in dit hypothetische geval een pluspunt is van de CPU), waarbij de emulator zelf geen gebruik maakt van floating points, zou het kunnen werken.
Wanneer je nog een emulator er op zet wordt het echter niet sneller, een floating point bewerking kan maar 1 keer worden omgezet naar een integere bewerking.
De kracht van een simulator ligt juist in zijn vermogen om al dan niet krachtige simulaties te kunnnen doen. Dus als een simulator krachtiger is dan de sinulatie (op die simulator), dan was hij dat al.quote:Op maandag 15 november 2004 20:31 schreef Hallulama het volgende:
Kan de simulatie krachtiger zijn dan de simulator?
Ja. Uit de theorie van brekenbare functies is bekend dat je een Turingmachine kan simuleren middels een Turingmachine. Zelfs een die alle Turingmachines kan simuleren, de universele Turingmachine.quote:Kan een simulator bijvoorbeeld een gebeurtenis simuleren waarin de simulator zelf, eventueel in meervoud, ook voorkomt?
Ik vind de term 'krachtig' verkeerd, om de eenvoudige reden dat het niets zegt. Wat is 'krachtig'?quote:Op woensdag 17 november 2004 11:56 schreef Oud_student het volgende:
De kracht van een simulator ligt juist in zijn vermogen om al dan niet krachtige simulaties te kunnnen doen. Dus als een simulator krachtiger is dan de sinulatie (op die simulator), dan was hij dat al.
De computer waar is je dit op tikte is een voorbeeld van een universele Turingmachine, die volgens de theorie iedere berekenbare functie kan eh.. berekenen. En volgens meneer Church is alles in het universum uiteindelijk berekenbaar, en dus kan een computer alles benaderen. In die zin is een universele Turingmachine (=computer) de 'krachtigste simulator' denkbaar (volgens huidige inzichten).quote:Ja. Uit de theorie van brekenbare functies is bekend dat je een Turingmachine kan simuleren middels een Turingmachine. Zelfs een die alle Turingmachines kan simuleren, de universele Turingmachine.
Dit is tevens een indicatie dat middels berekenbare functies "alles" kan worden gesimuleerd en dat er geen krachtiger mechanismen bestaan (wel sneller, meer etc.)
Wat is krachtig dan volgens jou ?quote:Op vrijdag 19 november 2004 13:11 schreef Doffy het volgende:
Ik vind de term 'krachtig' verkeerd, om de eenvoudige reden dat het niets zegt. Wat is 'krachtig'?
Nee een computer heeft een beperkt geheugen en ook beperkte levensduur en snelheid.quote:De computer waar is je dit op tikte is een voorbeeld van een universele Turingmachine, die volgens de theorie iedere berekenbare functie kan eh.. berekenen.
Nee veel dingen zijn niet berekenbaar. Er zijn zelfs oneindig veel zaken die niet berekenbaar zijn.quote:En volgens meneer Church is alles in het universum uiteindelijk berekenbaar, en dus kan een computer alles benaderen. In die zin is een universele Turingmachine (=computer) de 'krachtigste simulator' denkbaar (volgens huidige inzichten).
In een deterministische simulatie ligt uiteraard allles vast door de uitgangs situatie + regels.quote:Wat TS echter volgens mij bedoelt is dit: bestaat er emergent gedrag van simulaties, met andere woorden: kan zich gedrag ontplooien dat niet expliciet beschreven staat in de regels? Ook wel holisme genoemd: het geheel is meer dan de som der delen. Dat soort zaken bestaan inderdaad. Kijk vooral eens naar cellulaire automaten.
Ik gebruik de term 'krachtig' niet.quote:Op vrijdag 19 november 2004 20:59 schreef Oud_student het volgende:
Wat is krachtig dan volgens jou ?
Dat klopt, maar daarom is een computer nog wel een universele Turingmachine.quote:Nee een computer heeft een beperkt geheugen en ook beperkte levensduur en snelheid.
Niet helemaal waar. De begrippen 'levensduur' en 'snelheid' zijn helemaal niet van toepassing op de theoretische Turingmachine, maar geheugen wel. Er zijn universele Turingmachines met beperkt geheugen. Jouw computer is er ook een.quote:Een Turingmachine is geen fysieke machine, maar een concept van een "ideale" machine, dwz
onbeperkt geheugen, onbeperkte levensduur en willekeurig grote processing snelheid
Zeker. Maar ze zijn, volgens Church, benaderbaar met arbitraire precisie. En op een theoretische Universele Turingmachine kan dat ook.quote:Nee veel dingen zijn niet berekenbaar. Er zijn zelfs oneindig veel zaken die niet berekenbaar zijn.
Dat laatste klopt. Maar ook al liggen de regels dan vast (zoals bij cellulaire automaten), dan nog kan dat gevolgen hebben die de simpele regeltjes verre overstijgen, ook al volgen ze er dan wel uit. Met andere woorden, emergent gedrag hoeft niet non-deterministisch te zijn.quote:In een deterministische simulatie ligt uiteraard allles vast door de uitgangs situatie + regels.
Een geopperde variant op een Turing machine, nl. een die niet deterministisch is, is ook niet krachtiger dan de gewone (kun je exact bewijzen)
Neequote:Op vrijdag 19 november 2004 22:16 schreef Doffy het volgende:
Dat klopt, maar daarom is een computer nog wel een universele Turingmachine.
Op zich juist, maar er is wel zo iets als operatie en overgang van de ene naar de andere toestand.quote:Niet helemaal waar. De begrippen 'levensduur' en 'snelheid' zijn helemaal niet van toepassing op de theoretische Turingmachine, maar geheugen wel.
Nee, een Turingmachine met beperkt geheugen (tape) is minder sterk dan een met onbeperkt geheugen, dwz er is een klasse van problemen (zelfs oneindig groot) die de een wel kan oplossen en de ander niet.quote:Er zijn universele Turingmachines met beperkt geheugen.
|
Forum Opties | |
---|---|
Forumhop: | |
Hop naar: |