| olcott <NoOne@NoWhere.com>: Dec 03 12:32PM -0600 On 12/3/2020 12:18 PM, Kaz Kylheku wrote: > is on you to hunt down the specific pieces literature that you wish to > target, read all of them, and determine what issues are present in which > piece. It seems then that your assessment of the significance of my work is based on "shooting from the hip" rather any degree of academic rigor. At least (unlike everyone else) when a clear proof is presented you give a straight up honest assessment and do not resort to any degree of dishonestly and subterfuge. I really really, appreciate that. Your review was the threshold that I was waiting for before I move on to the next level of review. I had to make sure that my words could be understood before I could proceed. I did apparently at least correctly refute the Linz proof. That by itself would qualify for publication somewhere. Dishonesty and subterfuge: Ben even claimed that the difference between two literally identical programs was so great that it is dishonest of me to call them by the same name. On 11/30/2020 7:40 PM, Ben Bacarisse wrote: > void Confound_Halts(u32 P) { if (Halts(P, P)) while (1); } void Confound_Halts(u32 P) { if (DebugTrace(P, P)) while (1); } On 12/2/2020 8:15 PM, Ben Bacarisse wrote: -- Copyright 2020 Pete Olcott "Great spirits have always encountered violent opposition from mediocre minds." Einstein |
| Brian Wood <woodbrian77@gmail.com>: Dec 03 09:40AM -0800 On Thursday, November 7, 2019 at 3:34:00 PM UTC-6, Jorgen Grahn wrote: > the right place. And it's what the RFC uses in its examples (although > it doesn't say anything about that being normative). > /Jorgen This man page: https://www.man7.org/linux/man-pages/man7/sctp.7.html says netinet/sctp.h, but on my Linux Mint system, the file is still at linux/sctp.h. The biggest wart in my middle tier is courtesy of Linux. Brian Ebenezer Enterprises - Enjoying programming again. https://github.com/Ebenezer-group/onwards |
| Brian Wood <woodbrian77@gmail.com>: Dec 03 09:40AM -0800 On Thursday, November 7, 2019 at 3:34:00 PM UTC-6, Jorgen Grahn wrote: > the right place. And it's what the RFC uses in its examples (although > it doesn't say anything about that being normative). > /Jorgen This man page: https://www.man7.org/linux/man-pages/man7/sctp.7.html says netinet/sctp.h, but on my Linux Mint system, the file is still at linux/sctp.h. The biggest wart in my middle tier is courtesy of Linux. Brian Ebenezer Enterprises - Enjoying programming again. https://github.com/Ebenezer-group/onwards |
| olcott <NoOne@NoWhere.com>: Dec 03 08:42AM -0600 On 12/3/2020 1:32 AM, Chris M. Thomasson wrote: > That is a bold achievement. Imvho, it involves some very interesting > attributes. Or, perhaps I am misunderstanding him. > Can his system run a black box? An unknown program? Ĥ.q0 wM ⊢* Ĥ.qx wM wM ⊢* Ĥ.qy ∞ Ĥ.q0 wM ⊢* Ĥ.qx wM wM ⊢* Ĥ.qn http://www.liarparadox.org/Peter_Linz_HP(Pages_315-320).pdf Linz, Peter 1990. An Introduction to Formal Languages and Automata. Lexington/Toronto: D. C. Heath and Company. x86 language ≡ von Neumann architecture ≡ UTM ≡ RASP Machine Apparently I have correctly refuted the Peter Linz halting problem proof by finding a way to correctly decide the x86 computational equivalent of the Linz Ĥ. void H_Hat(u32 P) { u32 Aborted = H(P, P); if (Aborted) HALT else HERE: goto HERE; } int main() { H((u32)H_Hat, (u32)H_Hat); HALT; } _H_Hat() [00000584](01) 55 push ebp [00000585](02) 8bec mov ebp,esp [00000587](01) 51 push ecx [00000588](03) 8b4508 mov eax,[ebp+08] [0000058b](01) 50 push eax [0000058c](03) 8b4d08 mov ecx,[ebp+08] [0000058f](01) 51 push ecx [00000590](05) e8bffdffff call 00000354 [00000595](03) 83c408 add esp,+08 [00000598](03) 8945fc mov [ebp-04],eax [0000059b](04) 837dfc00 cmp dword [ebp-04],+00 [0000059f](02) 7403 jz 000005a4 [000005a1](01) f4 hlt [000005a2](02) eb02 jmp 000005a6 [000005a4](02) ebfe jmp 000005a4 [000005a6](02) 8be5 mov esp,ebp [000005a8](01) 5d pop ebp [000005a9](01) c3 ret _main() [000005b4](01) 55 push ebp [000005b5](02) 8bec mov ebp,esp [000005b7](05) 6884050000 push 00000584 [000005bc](05) 6884050000 push 00000584 [000005c1](05) e88efdffff call 00000354 [000005c6](03) 83c408 add esp,+08 [000005c9](01) f4 hlt [000005ca](01) 5d pop ebp [000005cb](01) c3 ret Output_Debug_Trace() [00010bd3] size(80) capacity(65536) [000005b4](01) 55 push ebp [000005b5](02) 8bec mov ebp,esp [000005b7](05) 6884050000 push 00000584 [000005bc](05) 6884050000 push 00000584 [000005c1](05) e88efdffff call 00000354 ----CALL [00000354] [00000584](01) 55 push ebp [00000585](02) 8bec mov ebp,esp [00000587](01) 51 push ecx [00000588](03) 8b4508 mov eax,[ebp+08] [0000058b](01) 50 push eax [0000058c](03) 8b4d08 mov ecx,[ebp+08] [0000058f](01) 51 push ecx [00000590](05) e8bffdffff call 00000354 ----CALL [00000354] [00000584](01) 55 push ebp [00000585](02) 8bec mov ebp,esp [00000587](01) 51 push ecx [00000588](03) 8b4508 mov eax,[ebp+08] [0000058b](01) 50 push eax [0000058c](03) 8b4d08 mov ecx,[ebp+08] [0000058f](01) 51 push ecx [00000590](05) e8bffdffff call 00000354 ----CALL [00000354] The PRIOR Instruction Specifies Infinite Recursion: Simulation Stopped: -- Copyright 2020 Pete Olcott "Great spirits have always encountered violent opposition from mediocre minds." Einstein |
| You received this digest because you're subscribed to updates for this group. You can change your settings on the group membership page. To unsubscribe from this group and stop receiving emails from it send an email to comp.lang.c+++unsubscribe@googlegroups.com. |
No comments:
Post a Comment