On 07 Jul 2017, at 22:59, John Clark wrote:
On Fri, Jul 7, 2017 at 1:26 PM, Bruno Marchal <[email protected]>
wrote:
>>> Stop trolling.
>> Stop spouting pompous sounding gibberish.
> Ask question when you do not understand.
I did! I asked :
"did Einstein believe in anything or did he just write symbols
on paper that got published as journal articles? If you think he did
believe it I'd like to know how you determined that, and then I want
to know what exactly Einstein's brain had that the Turing Machine
(the one that was doing such a good job emulating Einstein)
lacked."
I do not understand. Are you assuming that Einstein is a p-zombie?
Secondly, I do assume that Einstein brain is Turing emulable, which
means that the only difference is in the belief that the "Einstein
Turing machine" has.
All universal machine do exactly the same thing, and so is not a good
criteria for person identity. But they differ in their provability of
believability extension, like PA, ZF and RA differ.
And after I asked that very legitimate question the only response
I got was babble about me trolling. And that trolling
accusation really pisses me off, as if I had nothing better to do
than write posts that I didn't believe, as if nobody could
sincerely believe the stuff you say is wrong.
And when I ask:
"Did Giuseppe Peano believe in the Peano Postulates,
or did he just write symbols on paper that got published as journal
articles?"
You had no answer to that either and just babbled more
about me trolling.
Because your question are not relevant for what we were discussing.
Yes, Peano did probably believe in the Peano postulate. All logiciens
does, except Nelson, who still believe in RA. Nelson does not believe
that the exponential 2^x is a total function, because he does not
believe in big number. For him 100^100 is not a number, but Nelson is
a very rare exception on this.
My dear Bruno it is you that should ask questions when you get
confused, like when you say something you call a "Löbian machine"
is fundamentally different from a Turing Machine and then later in a
offhand remark say you could write a "Löbian machine"
program on your computer, and say the human brain is a "Löbian
machine" even though I point out:
"if a Turing machine can emulate a human brain, and you
say that's a "Löbian machine", then in 1935
Turing showed exactly how to build a "Löbian machine
".
All Löbian machine are universal machine.
Not all universal machine are Löbian machine.
Löbian machines are Turing machine with enough belief so that the G*
theology applies on them and all their sound extension.
Basically, you obtain a Löbian machine from a universal Turing machine
by adding enough "induction axiom".
RA is Turing universal, and can do anything a computer can do.
PA is Turing universal *and* Löbian. Its theology is the same as us,
when we assume computationalism.
To that all you can say is it's true but trivial. Imagine that,
TRIVIAL!
Turing discover the universal number in 1936. It took the work of Löb
to get the notion that I call "Löbianity" (1955).
You can't admit you're wrong and seem to have no desire to learn.
For the last several posts the only rebuttal I get from you is
"trolling" or "trivial".
Only the last post, because you adked question which are either
distracting, or contain a tone which shows that you are not trying to
understand, just doing mockery.
> May be try to explain to someone else what is your problem in
step 3,
To hell with your silly childish step 3!
Childish? I would say "easy". But then you are the (only) one I know
having a problem with it.
> You, and anyone interested in the "mathematical UDA"
should [...]
I'll tell you what you should do, remember IHA.
Now, that is a childish remark.
Since more than 20 years, we have used UDA for Universal Dovetailer
Argument, and it is a pointer, notably, on the paper available here: http://iridia.ulb.ac.be/~marchal/publications/SANE2004MARCHALAbstract.html
You know that, or you suffer grave memory problem.
Bruno
John K Clark
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
