Liste des Groupes | Revenir à c theory |
On 9/8/2024 9:41 AM, Mikko wrote:Syntax error. Is "is" the werb of the first clause or the main clause?On 2024-09-08 13:51:25 +0000, olcott said:That the execution trace of DDD emulated by HHH is proven
On 9/8/2024 4:19 AM, Mikko wrote:There is no proof in that file.On 2024-09-07 13:51:47 +0000, olcott said:Now there is a permanent link to the full file of the complete proof
On 9/7/2024 2:57 AM, Mikko wrote:Saying "I have conclusively proven" wihtout actually proving anythingOn 2024-09-06 11:20:52 +0000, olcott said:I have conclusively proven that DDD, DD, D, PP and P
On 9/6/2024 5:22 AM, Mikko wrote:There is only one DDD. The emulated DDD is the same as the directlyOn 2024-09-03 13:58:27 +0000, olcott said:That is not exactly true. There is a directly executed HHH_DDD()Anyone who really knows either x86 assembly or machine langage or
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
Anyone that is not dumber than a box of rocks can tell
that machine address 0000217f is unreachable for every
DDD emulated by HHH according to the semantics of the
x86 language where HHH emulates itself emulating DDD.
C can see that the machine address 217f is unreachachable only if
the program at 000015d2, named HHH, does not return.
that always returns and a DDD emulated by HHH that calls
an emulated HHH that never returns.
executed DDD. If HHH emulates someting else then that is not DDD.
do have different behavior within pathological relationships
than outside of pathological relationships at least 1000
times in the last three years.
is not convincing.
https://www.liarparadox.org/HHH(DDD).pdf
by the x86 source code of DDD.
Les messages affichés proviennent d'usenet.