Digest for comp.lang.c++@googlegroups.com - 2 updates in 2 topics

comp.lang.c++@googlegroups.com

Google Groups

Topic digest
View all topics

• Available C++ Libraries FAQ - 1 Update
• New test program (Succeeds V2)[ entirely different computation ] - 1 Update

Available C++ Libraries FAQ

Nikki Locke <nikki@trumphurst.com>: May 14 10:23PM Available C++ Libraries FAQ   URL: http://www.trumphurst.com/cpplibs/   This is a searchable list of libraries and utilities (both free and commercial) available to C++ programmers.   If you know of a library which is not in the list, why not fill in the form at http://www.trumphurst.com/cpplibs/cppsub.php   Maintainer: Nikki Locke - if you wish to contact me, please use the form on the website.

Back to top

New test program (Succeeds V2)[ entirely different computation ]

olcott <NoOne@NoWhere.com>: May 14 11:12AM -0500 On 5/14/2021 10:51 AM, Ben Bacarisse wrote: >> applies to the halting problem.   > No. Halts(H_Hat, H_Hat) == 0 is the wrong answer to the halting problem > for the instance (H_Hat, H_Hat) because H_Hat(H_Hat) halts.   Even though it really really seems this way it actually turns out that Halts(H_Hat, H_Hat) is an entirely different computation than H_Hat(H_Hat) therefore the behavior of H_Hat(H_Hat) is not actually a proxy for the halting decision of Halts(H_Hat, H_Hat) at all.   Like I repeated several times yesterday if you want to find out the length of your car you really can't do this by measuring the height of your house.   If we are trying to determine whether or not Halts decides its inputs correctly we must base this on examining every single step of exactly how Halts decides its actual inputs.   If no errors exist in the steps that Halts takes to decides its actual inputs then Halts has decided these inputs correctly no matter how much intuition says otherwise.   When the behavior of the input P to Halts correctly matches a correct non-halting behavior pattern then Halts decides non-halting on P correctly.     -- Copyright 2021 Pete Olcott   "Great spirits have always encountered violent opposition from mediocre minds." Einstein

Back to top

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.