MB> ...Or, put another way, there must be some contextual designator
MB> external to the equation to complete any function. Therefore, for _any_
MB> function (F), (F) cannot prove itself. That is the first of the three
MB> premises of Godel's Incompleteness Theorem.
WE> Recent focus has been on problems which, tho theoretically solvable,
WE> cannot actually be done even with supercomputers. They haven't actually
WE> proved the existence of such, but it has been proven that the whole
WE> bunch of such problems are equivalent in the sense that if one is
WE> actually solvable, they all are.
DB> And, if they all are?
MB> They all _are_. But who is the evaluator? Who will be the contextual
MB> designator external to every equation possible? Not us puny humans, I
MB> bet.
DB> I will take your bet Mark. There is a mental tool in the computer that
DB> will do for the mind what the jet plane does for the body. No longer do
DB> I have to fill my head with the trivia of phone numbers of all my
DB> correspondents. no longer do I have to think much about my tax forms,
DB> checkbook, any number of other routine tasks.
DB> Now, some of the mental energy once wasted on such trivia is available
DB> for deeper considerations. At what point will the limit of those
DB> considerations be put? We have never had the like before, so the depth
DB> remains unplumbed. I am not asking some super computer; I am trying to
DB> make one in my own head. I have tried meditation and chemical compounds
DB> that some see as a risk to my sanity, which may well be, but which have
DB> in the long retrospective of my life proved to be useful to get to
DB> realizations not attainable in any other way.
DB> Like my desktop computer, I tinker with my mind, trying to get it run
DB> more smoothly- I have risked some serious crashes in this endeavor, but
DB> the results of stressing the system to limits teaches me more about it.
DB> Obviously not something to recommend to anyone else; if you have another
DB> tool use it.
As usual, Day, your reports of the search, always underway on the part of
thinkers, are interesting, fascinating and honest to the core. At least you
do not set insights forward in some imperial way as though you had conquered
the cosmos and obliterated the horizons (bounds). I believe you know that a
leap WITHIN being cannot be, for us humans, a leap BEYOND being, only,
erhaps
a little bit clearer insight into the being or which we are participating
ith
our entire personal existence.
I value your reports. They transcend age.
Sincerely,
Frank
--- PPoint 2.05
---------------
* Origin: Maybe in 5,000 years - frankmas@juno.com (1:396/45.12)
|