Hi everyone,
I'm wading my way -slowly- through Tipler at the moment.
with no formation in maths, and only a little formal logic (years ago as
an undergrad)
I'm finding it quite hard going.
I tried -unsuccessfully to date- to read Penrose (i know he has no
fundamental affinity with the questions which occupy us here, but I
thought it might serve as a good foil/counterpoint to the boyish
enthusiasm I'm experiencing for extropian ideas)
Funnily enough, Tipler is illuminating what I found quite opaque in
Penrose on Turing machines.
I am aware of how basic my concerns are, but I really do have enough enthusiasm to make up for initial maths defecit, that is, if you folks are willing to help me from time to time.
anyway, all the best.
michael
melbourne, australia