Post Reply 
I was bored and found a HP-27S
06-11-2014, 03:03 PM
Post: #33
RE: I was bored and found a HP-27S
(06-11-2014 02:34 PM)Thomas Radtke Wrote:  I'm still missing either the possibility of an infinite run within the solver or its exclusion in the above definition of a "vulgar proof". I can predict that any program eventually stops, and not only because batteries are empty or the hardware dies. I don't think the definition of a *sufficient*(1) turing completeness is met here.

I think it just depends on if you're talking computer science or computer engineering. Smile

I'm the former, but since Turing completeness also has to assume essentially unlimited working memory and run time, I'm willing to make this affordance as well.

Horse shoes, hand grenades, and Turing completeness.
Visit this user's website Find all posts by this user
Quote this message in a reply
Post Reply 


Messages In This Thread
I was bored and found a HP-27S - jebem - 06-09-2014, 10:38 PM
RE: I was bored and found a HP-27S - jebem - 06-10-2014, 09:35 AM
RE: I was bored and found a HP-27S - Dave Britten - 06-11-2014 03:03 PM
RE: I was bored and found a HP-27S - jebem - 06-25-2014, 06:49 PM
RE: I was bored and found a HP-27S - jebem - 06-26-2014, 01:44 PM
RE: I was bored and found a HP-27S - jebem - 06-26-2014, 01:40 PM
RE: I was bored and found a HP-27S - jebem - 06-26-2014, 03:57 PM
RE: I was bored and found a HP-27S - jebem - 06-27-2014, 01:15 PM
RE: I was bored and found a HP-27S - jebem - 06-27-2014, 08:50 PM
RE: I was bored and found a HP-27S - HP67 - 06-27-2014, 02:56 PM
RE: I was bored and found a HP-27S - HP67 - 06-27-2014, 03:28 PM
RE: I was bored and found a HP-27S - jebem - 06-27-2014, 10:18 PM
RE: I was bored and found a HP-27S - jebem - 06-27-2014, 10:58 PM
RE: I was bored and found a HP-27S - jebem - 06-28-2014, 08:02 AM
RE: I was bored and found a HP-27S - jebem - 06-27-2014, 10:46 PM
RE: I was bored and found a HP-27S - jebem - 06-28-2014, 07:55 AM
RE: I was bored and found a HP-27S - jebem - 06-27-2014, 10:56 PM
RE: I was bored and found a HP-27S - jebem - 06-27-2014, 11:05 PM
RE: I was bored and found a HP-27S - jebem - 06-28-2014, 04:44 PM
RE: I was bored and found a HP-27S - jebem - 06-28-2014, 05:37 PM
HP-27S that does not turn on - franz.b - 11-06-2020, 08:24 PM
RE: I was bored and found a HP-27S - jebem - 11-09-2020, 07:14 AM



User(s) browsing this thread: 2 Guest(s)