| Deutsch English Français Italiano |
|
<v3mmh4$cak5$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: comp.theory Subject: Re: The error of the halting problem Date: Tue, 4 Jun 2024 12:24:52 +0300 Organization: - Lines: 47 Message-ID: <v3mmh4$cak5$1@dont-email.me> References: <v3lafd$1uml$1@dont-email.me> <v3loms$2uv04$1@i2pn2.org> <v3lou5$43oa$1@dont-email.me> <v3lrh1$2uv03$1@i2pn2.org> <v3lrvi$4h2j$2@dont-email.me> <v3lsd0$2uv04$16@i2pn2.org> <v3ltaa$8gjv$2@dont-email.me> <v3lu07$2uv03$3@i2pn2.org> <v3lubr$8kuk$1@dont-email.me> <v3lv87$2uv03$5@i2pn2.org> <v3lvru$8r46$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 04 Jun 2024 11:24:53 +0200 (CEST) Injection-Info: dont-email.me; posting-host="dce6fda481f9f7f7aa278ce7b31b5172"; logging-data="404101"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19Qs4EVOEW9UdmBedDD3QcO" User-Agent: Unison/2.2 Cancel-Lock: sha1:HNV7Ai016EcBDu4KP2Dp7LgarlI= Bytes: 2790 On 2024-06-04 02:58:06 +0000, olcott said: > On 6/3/2024 9:47 PM, Richard Damon wrote: >> On 6/3/24 10:32 PM, olcott wrote: >>> On 6/3/2024 9:26 PM, Richard Damon wrote: >>>> On 6/3/24 10:14 PM, olcott wrote: >>>>> On 6/3/2024 8:58 PM, Richard Damon wrote: >>>>>> On 6/3/24 9:51 PM, olcott wrote: >>>>>>> >>>>>>> When H is asked a yes/no question where both answers are >>>>>>> contradicted by its input *IT IS A FREAKING RIGGED GAME* >>>>>> >>>>>> But both answers aren't wrong. Remember, the question is built to make >>>>>> a SPECIFIC decider wrong, and by its algorithm, it will give a SPECIFIC >>>>>> answer to each SPECIFIC question. >>>>>> >>>>> >>>>> You can't get away with that head game by pretending >>>>> to not understand what infinite an set of H/D pairs is. >>>> >>>> But it doesn't matter. >>>> >>> >>> It matters enormously. Once we fully understand that the limits >>> of computation were always a ruse then we can give computation >>> the priority that it truly deserves. It might be the life on earth >>> is killed off because we did not build a semantic lie detector >>> quickly enough. >> >> But you are working on it wrong, because you just don't understand the >> actual nature of truth. > > ... > > When D is defined to contradict both values that H returns then > D is not a truth bearer in H in the same way that the Liar Paradox H returns only one value about D,D. Therefore D needs to contradict only one value. > "This sentence is not true" is not a truth bearer in English. A change of subject is not a valid refutation. -- Mikko