Groups | Search | Server Info | Login | Register
Groups > comp.ai.philosophy > #29821
| From | olcott <polcott2@gmail.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic, comp.ai.philosophy |
| Subject | Re: Refutation of [nothing] (Ben Bacarisse lies about this see below) |
| Date | 2023-06-22 13:00 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <u7227e$3cds6$1@dont-email.me> (permalink) |
| References | <u6qell$25lfs$1@dont-email.me> <rE6kM.5962$zcM5.3620@fx11.iad> <u6qtqj$273dd$2@dont-email.me> <u6quge$277en$1@dont-email.me> <87jzvyiccj.fsf_-_@bsb.me.uk> |
Cross-posted to 3 groups.
On 6/20/2023 6:48 AM, Ben Bacarisse wrote:
> Richard Damon <news.x.richarddamon@xoxy.net> writes:
> ...
>
> If it's all the same to you, I'd much rather PO's stalking threads
> (those where tries to get my attention) simply died a natural death.
*Ben Bacarisse targets my posts to discourage honest dialogue*
*Ben Bacarisse targets my posts to discourage honest dialogue*
*Ben Bacarisse targets my posts to discourage honest dialogue*
> He's become obsessed with me ever since I stopped talking to him, and I
> don't want him encouraged.
>
*Ben Bacarisse targets my posts to discourage honest dialogue*
*Ben Bacarisse targets my posts to discourage honest dialogue*
*Ben Bacarisse targets my posts to discourage honest dialogue*
> If you must reply, at least change the subject so that it's accurate (as
> above!).
>
On 6/19/2023 3:08 PM, Ben Bacarisse wrote:
> Just a reminder that you are arguing with someone who has
> declared that the wrong answer is the right one:
>
> Me: "do you still assert that [...] false is the "correct"
> answer even though P(P) halts?"
>
> PO: Yes that is the correct answer even though P(P) halts.
Because
*Ben Bacarisse targets my posts to discourage honest dialogue*
*Ben Bacarisse targets my posts to discourage honest dialogue*
*Ben Bacarisse targets my posts to discourage honest dialogue*
All of my posts will be entitled as a Rebuttal to Ben
It is an easily verified fact that P correctly simulated by H cannot
possibly reach its own last instruction and terminate normally thus from
the Professor Sipser agreed criteria the input to H(P,P) does not halt.
MIT Professor Michael Sipser has agreed that the following verbatim
words are correct (he has not agreed to anything else):
(a) If simulating halt decider H correctly simulates its input D until H
correctly determines that its simulated D would never stop running
unless aborted then
(b) H can abort its simulation of D and correctly report that D
specifies a non-halting sequence of configurations.
To address what looks like a contradiction to reviewers not having a
very deep understanding of the halting problem:
(1) A return value of 1 from H(D,D) means the input to H(D,D) has halted
(2) A return value of 0 from H(D,D) has been redefined to mean
(a) D does not halt
(b) D has been defined to do the opposite of whatever Boolean value
that H returns.
*THIS CHANGE UTTERLY REFUTES BEN'S REBUTTAL*
*THIS CHANGE UTTERLY REFUTES BEN'S REBUTTAL*
*THIS CHANGE UTTERLY REFUTES BEN'S REBUTTAL*
*THIS CHANGE UTTERLY REFUTES BEN'S REBUTTAL*
--
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
Back to comp.ai.philosophy | Previous | Next — Previous in thread | Next in thread | Find similar
Refutation of the Ben Bacarisse Rebuttal olcott <polcott2@gmail.com> - 2023-06-19 15:43 -0500
Re: Refutation of the Ben Bacarisse Rebuttal Richard Damon <Richard@Damon-Family.org> - 2023-06-19 20:45 -0400
Re: Refutation of the Ben Bacarisse Rebuttal olcott <polcott2@gmail.com> - 2023-06-19 20:02 -0500
Re: Refutation of the Ben Bacarisse Rebuttal Richard Damon <news.x.richarddamon@xoxy.net> - 2023-06-19 21:13 -0400
Re: Refutation of the Ben Bacarisse Rebuttal olcott <polcott2@gmail.com> - 2023-06-19 22:46 -0500
Re: Refutation of the Ben Bacarisse Rebuttal Richard Damon <Richard@Damon-Family.org> - 2023-06-20 07:19 -0400
Re: Refutation of the Ben Bacarisse Rebuttal olcott <polcott2@gmail.com> - 2023-06-20 10:02 -0500
Re: Refutation of the Ben Bacarisse Rebuttal Richard Damon <Richard@Damon-Family.org> - 2023-06-20 11:48 -0400
Re: Refutation of the Ben Bacarisse Rebuttal olcott <polcott2@gmail.com> - 2023-06-20 12:46 -0500
Re: Refutation of the Ben Bacarisse Rebuttal Richard Damon <Richard@Damon-Family.org> - 2023-06-20 14:20 -0400
Re: Refutation of the Ben Bacarisse Rebuttal olcott <polcott2@gmail.com> - 2023-06-20 13:33 -0500
Re: Refutation of the Ben Bacarisse Rebuttal Richard Damon <Richard@Damon-Family.org> - 2023-06-20 16:32 -0400
Re: Refutation of the Ben Bacarisse Rebuttal olcott <polcott2@gmail.com> - 2023-06-20 15:38 -0500
Re: Refutation of the Ben Bacarisse Rebuttal Richard Damon <Richard@Damon-Family.org> - 2023-06-20 16:46 -0400
Re: Refutation of the Ben Bacarisse Rebuttal olcott <polcott2@gmail.com> - 2023-06-20 16:27 -0500
Re: Refutation of the Ben Bacarisse Rebuttal Richard Damon <Richard@Damon-Family.org> - 2023-06-20 17:56 -0400
Re: Refutation of the Ben Bacarisse Rebuttal olcott <polcott2@gmail.com> - 2023-06-20 17:19 -0500
Re: Refutation of the Ben Bacarisse Rebuttal Richard Damon <Richard@Damon-Family.org> - 2023-06-20 18:52 -0400
Re: Refutation of the Ben Bacarisse Rebuttal olcott <polcott2@gmail.com> - 2023-06-20 17:59 -0500
Re: Refutation of the Ben Bacarisse Rebuttal Richard Damon <Richard@Damon-Family.org> - 2023-06-20 20:41 -0400
Re: Refutation of the Ben Bacarisse Rebuttal olcott <polcott2@gmail.com> - 2023-06-20 20:36 -0500
Re: Refutation of the Ben Bacarisse Rebuttal Richard Damon <Richard@Damon-Family.org> - 2023-06-20 22:32 -0400
Re: Refutation of the Ben Bacarisse Rebuttal olcott <polcott2@gmail.com> - 2023-06-20 21:59 -0500
Re: Refutation of the Ben Bacarisse Rebuttal Richard Damon <Richard@Damon-Family.org> - 2023-06-21 07:38 -0400
Re: Refutation of the Ben Bacarisse Rebuttal olcott <polcott2@gmail.com> - 2023-06-21 12:32 -0500
Re: Refutation of the Ben Bacarisse Rebuttal Richard Damon <Richard@Damon-Family.org> - 2023-06-21 19:01 -0400
Re: Refutation of [nothing] Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-20 12:48 +0100
Ben Bacarisse specifically targets my posts to discourage honest dialogue ... olcott <polcott2@gmail.com> - 2023-06-20 10:03 -0500
Re: Refutation of [nothing] (Ben Bacarisse lies about this see below) olcott <polcott2@gmail.com> - 2023-06-22 13:00 -0500
Re: Refutation of [nothing] (Peter Olcott lies about this see below) Richard Damon <Richard@Damon-Family.org> - 2023-06-22 21:06 -0400
csiph-web