Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

Marvelous! The super-user's going to boot me! What a finely tuned response to the situation!


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

SubjectAuthor
o Pathological self-reference(Olcott 2004) deciderolcott

1
Subject: Pathological self-reference(Olcott 2004) decider
From: olcott
Newsgroups: comp.theory, comp.ai.philosophy, comp.software-eng, sci.math.symbolic
Date: Fri, 30 Jul 2021 05:09 UTC
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
View all headers
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));
}




--
Copyright 2021 Pete Olcott

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


1
rocksolid light 0.7.2
clearneti2ptor