Here goes my attempt at an explanation, sorry for the length but I just copied
this from my essay.
I believe that Dizzard’s research involving automata prompted him to create a
computer program that attempted to replicate the human mind. However this was a
program like none before because it consisted of a level of complexity equal to
that of a human. This complexity was created based on Dizzard’s passion for
Godel and the elusive mechanical proof to a Godelian statement. Dizzard finally
made the computer create, recognize and prove these statements over and over
again. To achieve this Dizzard also made allowances for the inconsistencies
that a Godel statement can prompt. These inconsistencies had a unique effect on
the program and it began doing things on it’s own. The computer then presented
Dizzard with a new (and previously unheard of) Godelian statement. The
statement was based on a logical and believable proof of p implies true and not
p implies true. Dizzard was so mesmerized by the statement that he fell into a
coma as his mind traveled back and forth between the proofs. Others who came
across his findings also succumbed to a trance because of the implausibility of
it all.
I tried to base my scenario on something said about the possibility of machines
so complex we haven't even begun to design them yet and something Steprans said
about DNA. I also tried to pull in that whole inconsistency thing where p = not
p. And lastly imagined a new level of Godelian statement that a human could not
prove.
Of course it sounds far-fetched, but when you're starting with a story about
people falling into comas from reading where else can you go. Hopefully no one
will shoot too many holes in my idea, because I'm tired of reading about Godel
and I don't think I can back to it again tonight.
Aaron Kilpatrick
___________________________________________________________________
This message was sent to the math3500 discussion list by "Aaron Kilpatrick" <aaron.kilpatrick@humber.ca> .
This archive was generated by hypermail 2b30 : Mon Dec 06 2004 - 21:02:10 EST