Deutsch English Français Italiano |
<v6ki9s$1iun6$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!feeds.phibee-telecom.net!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory,sci.logic Subject: DDD correctly emulated by HHH cannot possibly halt Date: Tue, 9 Jul 2024 18:49:16 -0500 Organization: A noiseless patient Spider Lines: 19 Message-ID: <v6ki9s$1iun6$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 10 Jul 2024 01:49:17 +0200 (CEST) Injection-Info: dont-email.me; posting-host="1ca7ba779153ded89a6e04f3275941c5"; logging-data="1669862"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+onXPcdH3LPe36R8vvFtHT" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:pFz/vR6CyxBQyrkMjXLQtSXgQvQ= Content-Language: en-US Bytes: 1580 _DDD() [00002163] 55 push ebp ; housekeeping [00002164] 8bec mov ebp,esp ; housekeeping [00002166] 6863210000 push 00002163 ; push DDD [0000216b] e853f4ffff call 000015c3 ; call HHH(DDD) DDD correctly emulated by any pure function HHH that correctly emulates 1 to ∞ steps of DDD can't make it past the above line of code no matter what. [00002170] 83c404 add esp,+04 [00002173] 5d pop ebp [00002174] c3 ret Size in bytes:(0018) [00002174] -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer