Liste des Groupes | Revenir à theory |
On 11/3/2024 8:32 AM, joes wrote:Am Sat, 02 Nov 2024 20:33:40 -0500 schrieb olcott:On 11/2/2024 8:22 PM, Richard Damon wrote:On 11/2/24 9:00 PM, olcott wrote:On 11/2/2024 7:52 PM, Richard Damon wrote:On 11/2/24 8:38 PM, olcott wrote:On 11/2/2024 7:21 PM, Richard Damon wrote:On 11/2/24 5:13 PM, olcott wrote:On 11/2/2024 3:24 PM, Richard Damon wrote:On 11/2/24 12:56 PM, olcott wrote:On 11/2/2024 10:44 AM, Richard Damon wrote:On 11/2/24 8:24 AM, olcott wrote:LLMs literally string words they have previously seen together.ChatGPT (using its own words) and I both agree that HHH is supposedIn other words you are admitting that it isn't actually looking atOf course, that is for this exact input, which uses the copy of HNo it is not.
that does abort and return.
when HHH simulates DDD(), it's analyzing an "idealized"
version of DDD() where nothing stops the recursion.
the input it was given.
to predict the behavior of the infinite emulation on the basis of
its finite emulation.
Haha what? It absolutely is. For a nonterminating input a haltingYes, but that behavior is DEFINED by the actual behavior of theNo it is not. It is never based on the actual behavior of the actual
actual machine.
machine for any non-terminating inputs.
decider must return that it doesn't halt.
Especially not some DDD that calls a non-aborting simulator HHH1.Then you don't undetstand the requirement for something to be aThe actual behavior specified by the finite string input to HHH does
semantic property.
include HHH emulating itself emulating DDD such that this DD *not some
other DDD somewhere else*
*HHH1 has identical source code to HHH*
void DDD()
{
HHH(DDD);
return;
}
DDD emulated by HHH
CANNOT POSSIBLY reach its own return instruction.
DDD emulated by HHH1
DOES REACH its own return instruction.
Les messages affichés proviennent d'usenet.