Liste des Groupes | Revenir à c theory |
olcott <polcott333@gmail.com> wrote:Since I am referring to the infinite set of every H/D pair such that DOn 5/3/2024 9:08 AM, Alan Mackenzie wrote:olcott <polcott333@gmail.com> wrote:On 5/3/2024 4:43 AM, Mikko wrote:On 2024-05-02 14:43:45 +0000, olcott said:[ .... ]This is not computer science it is only software engineering.Therefore not convincing.We must have agreement on verified facts before proceeding
otherwise people leap to the conclusion that I must be wrong
on the basis of not paying attention to what I am saying.They say you are wrong on the basis of their superior education and
knowledge, as well as by reading what you write.I have found that it is actually merely pure bluster.You are the only person here who says that. You are mistaken, probably
on account of your inferior education and knowledge.
When reasoning is provided it is nonsense.You are patently unqualified and unable to distinguish reason from
nonsense.
Richard "interpreted"You completely missed his point. Of course returning a "simulation"
---D(D) simulated by H--- as ---D(D) NEVER simulated by H---
after a small number of steps is nonsense. He was pointing out that this
is what you are doing too, so what you are doing is nonsense, too.
You calling your (a) sentence "a verified fact" is you lying.The fact that no one but Richard ever tried to provideA counter example to verification? What's that supposed to mean? Your
a counter-example showing that this is false
lie consists of asserting that your sentence (a) is verified. It is
clearly not - it is highly dubious and controversial.
(a) It is a verified fact that for every possible H/D pair whereIt is not so verified.
1 to N steps of D(D) are simulated by H that this simulated D(D)
cannot possibly reach past its own line 03.
*Is evidence that no counter-example exists*Your logic is at fault, here. The lack of a counter example is no proof
of a proposition. The existence of a counter example is proof of the
negation of the proposition.
That you keep saying that I am wrong without providing anyThe burden of proof is on you. You haven't proven (or "verified") it at
counter-example is the pure bluster that my new system
of dialogue uncovers.
all.
You know full well that it is at best controversial, and likely highly
problematic. If you were to define things fully, and talk in
non-vague language, something like your (a) might come to be regarded
as a fact. We're some distance away from that happening.*Tell me what you think is missing from this*00 int H(ptr x, ptr x) // ptr is pointer to int functionA detailed specification of H, for a start. On that depends whether or
01 int D(ptr x)
02 {
03 int Halt_Status = H(x, x);
04 if (Halt_Status)
05 HERE: goto HERE;
06 return Halt_Status;
07 }
08
09 void main()
10 {
11 H(D,D);
12 }
not your "verified fact" is a fact or is nonsense.
You can't tell it is a natural number without being told?We are examining the behavior of D(D) for every possible H/DWhat is N? Note that Richard has done just this by taking N to be zero.
pair where 1 to N steps of D(D) are simulated by H.
*The proof is the dead obvious execution trace**Execution Trace*
Line 11: main() invokes H(D,D) that simulates D(D)*keeps repeating* (unless aborted)
Line 01
Line 02
Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D)*Simulation invariant*That needs a proof, something which cannot exist without a detailed
D correctly simulated by H cannot possibly reach past its own line 03.
specification of H.
That you don't seem to know what execution traces are and(a) It is a verified fact that for every possible H/D pair where
1 to N steps of D(D) are simulated by H that this simulated D(D)
cannot possibly reach past its own line 03.(b) Rebuttals must show a counter example where 1 to N stepsNot at all. The lack of a proof, or even a rigorous description, of the
of D(D) are simulated by H and the simulated D(D) reaches past
its own line 03.
simulation renders a rebuttal superfluous.
Les messages affichés proviennent d'usenet.