Message-ID:

A right is not what someone gives you; it's what no one can take from you. -- Ramsey Clark

computers / comp.ai.philosophy / Pathological self-reference(Olcott 2004) decider

Pathological self-reference(Olcott 2004) decider

<YaadnU-1-fMNFJ78nZ2dnUU7-c_NnZ2d@giganews.com>

https://www.novabbs.com/computers/article-flat.php?id=7164&group=comp.ai.philosophy#7164

copy link Newsgroups: comp.theory comp.ai.philosophy comp.software-eng sci.math.symbolic

Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!newsfeed.xs4all.nl!newsfeed7.news.xs4all.nl!tr2.eu1.usenetexpress.com!feeder.usenetexpress.com!tr2.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 30 Jul 2021 00:09:35 -0500
Newsgroups: comp.theory,comp.ai.philosophy,comp.software-eng,sci.math.symbolic
X-Mozilla-News-Host: news://news.giganews.com:119
From: NoO...@NoWhere.com (olcott)
Subject: Pathological self-reference(Olcott 2004) decider
Date: Fri, 30 Jul 2021 00:09:35 -0500
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.12.0
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <YaadnU-1-fMNFJ78nZ2dnUU7-c_NnZ2d@giganews.com>
Lines: 59
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-qEmosLz3nxLdQPTePXqBgNiKlLizXWOvlbTq/sFnj2hiA146byO5eDNoLugj9ROAY9djpBN6Trhfh43!EmVGDp7Cs1T2CFv5mJSZvdya+y8ZcVd4Vjy4efDtgOPtzPqtryemdIsKD2rqvj8vNIrjbks0qA==
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2310

by: olcott - Fri, 30 Jul 2021 05:09 UTC

int Factorial(int n)
{ Output("Factorial(n)",n);
if (n > 1)
return n * Factorial(n - 1);
else
return 1;
}

void Infinite_Recursion(u32 N)
{ Infinite_Recursion(N);
}

void Infinite_Loop()
{ HERE: goto HERE;
}

int Simulate(u32 P, u32 I)
{ ((int(*)(int))P)(I);
return 1;
}

u32 PSR_Decider(u32 P, u32 I)
{ u32 Input_Halts1 = H((u32)P, (u32)I);
u32 Input_Halts2 = H2((u32)Simulate, (u32)P, (u32)I);
Output("Input_Halts1 = ", Input_Halts1);
Output("Input_Halts2 = ", Input_Halts2);
if (Input_Halts1 != Input_Halts2)
return 1;
return 0;
}

void P(u32 x)
{ if (H(x, x))
HERE: goto HERE;
}

int main()
{ Output("PSR_Decider = ", PSR_Decider((u32)P, (u32)P));
Output("PSR_Decider = ", PSR_Decider((u32)Factorial, 3));
Output("PSR_Decider = ", PSR_Decider((u32)Infinite_Recursion, 3));
Output("PSR_Decider = ", PSR_Decider((u32)Infinite_Loop,
(u32)Infinite_Loop));
}

"Great spirits have always encountered violent opposition from mediocre
minds." Einstein

Subject	Author
Pathological self-reference(Olcott 2004) decider	olcott