From: Sam Wormley on
On 6/3/10 1:40 AM, |-|ercules wrote:
> HAHA NOBODY here has the requisite IQ to work out what function my
> computer model is emulating. Yet you all knock
> it as nonsense.

Why should we listen to a guy who can't even use an alphabet
set of symbols to spell his own name correctly? Turing machines
are not an effective way to model scientific processes!

A Turing machine is a theoretical device that manipulates symbols
contained on a strip of tape. Despite its simplicity, a Turing machine
can be adapted to simulate the logic of any computer algorithm, and is
particularly useful in explaining the functions of a CPU inside of a
computer. --http://en.wikipedia.org/wiki/Turing_machine

I worked my share of tasks with Turing machines in graduate
school. There more efficient ways of modeling physical reality.


From: George Greene on
On May 29, 3:46 am, "|-|ercules" <radgray...(a)yahoo.com> wrote:
> Why is the axiomatic method legitimate?

Why is this question legitimate?
Even if the axiomatic method is ILlegitimate, it still produces the
results it produces. Either you are interested or you are not.
But nobody has any grounds for ATTACKING any of these results.
If you have one s and you put another s on the right of it, then you
get ss. That's just the way IT IS.
From: George Greene on
On Jun 1, 3:24 pm, Transfer Principle <lwal...(a)lausd.net> wrote:
> Here Cooper questions the legitimacy of the axiomatic method. He
> is hardly the first sci.math poster to do so.

IF Herc were a sci.math poster, that would be acceptable,
but in point of actual fact, Herc is a sci.LOGIC poster.
The fact that he also posts in sci.math is irrelevant; he just
got out of OUR kitchen because he couldn't stand the heat.


> Regarding the four cases that I've listed earlier, I'd consider
> rejecting the axiomatic method to be part of Case 2. Such posters
> realize that one can use (the ZFC) axioms to prove an undesirable
> result, and since the result is undesirable, rather than reject the
> theory, they reject the axiomatic method altogether.

That very mode of action is actually CONFIRMING the axiomatic
method -- they are LIVING by it while claiming not to believe in it.
The notion that, when a thing leads to unacceptable consequences,
such leading can be grounds for rejecting the (original) thing,
IS A RULE OF INFERENCE and is PART OF THE METHOD!

( P --> F ) ==> ~P is a tautology UNDER THE METHOD
and is an inference rule for indirect proof UNDER THE METHOD!

The point is that "the method" is mostly just intellectual hygiene;
it is NOT POSSIBLE to "reject the method" and still EVEN THINK
coherently.
From: |-|ercules on
"Sam Wormley" <swormley1(a)gmail.com> wrote
>
> Why should we listen to a guy who can't even use an alphabet
> set of symbols to spell his own name correctly?

> There more efficient ways of modeling physical reality.

You do realize nobody has managed to correct my grammar without
making a mistake themselves? Yet alone correcting one of my theories!

What about practical implementation in molecular computers? Wouldn't
the simplest fetch cycle play a role?

Herc

From: Androcles on

"George Greene" <greeneg(a)email.unc.edu> wrote in message
news:7e3b7838-873e-4166-87bb-c4861edb103a(a)e6g2000vbm.googlegroups.com...
On May 29, 3:46 am, "|-|ercules" <radgray...(a)yahoo.com> wrote:
> Why is the axiomatic method legitimate?

Why is this question legitimate?
Even if the axiomatic method is ILlegitimate, it still produces the
results it produces. Either you are interested or you are not.
But nobody has any grounds for ATTACKING any of these results.
If you have one s and you put another s on the right of it, then you
get ss. That's just the way IT IS.
===========================================
True enough, but how are we to know you didn't put the s to the
left of the s and get ss instead?