🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.misc
Article #3991

Re: Halting Problem Solved! Film at 11! (Was Re: definitions)

#3991
From: Marvin Rubinstein
Date: Fri, 17 May 1991 00:59
32 lines
1873 bytes
Followup-To: comp.lang.misc
Distribution: 
Organization: Interactive Systems Corp., Santa Monica, CA
Keywords: 

In article <P3iZ21w164w@mantis.co.uk> mathew@mantis.co.uk (CNEWS MUST DIE!) writes:
>jallen@csserv2.ic.sunysb.edu (Joseph Allen) writes:
>[ On solving the halting problem: ]
>>
>> No, it can be done!  Really!  Just don't allow loops, gotos or recursion.
>
>Or I/O.
>
>> Now who wants to write a compiler in a language with these restrictions?
>
>More importantly, who wants to use it?

Historical note:  The first digital machine that I used (in 1953) had these
properties.  It was an IBM CPC (Card Programmed Calculator).  The machine
did not have a program store (it did have a small data store).  The way it
worked was that it read a card which contained a few instructions.  The
instructions were executed and the next card was read.  The process continued
until it ran out of cards and halted.  I used it to reduce wind tunnel data.
One of the models I tested was a Sparrow missile.  I noticed that Sparrows
were used in our latest war.

The machine was extremely useful compared to the alternative, pencil, paper
and a desk calculator.

BTW: Most early machines were called calculators.  Computer was a job title.

    Marv Rubinstein
Technical Details
Message-ID: <1991May17.005905.5421@ism.isc.com>
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!ub!uhura.cc.rochester.edu!rochester!kodak!ispd-newsserver!ism.isc.com!chine!marv
References: <1991May14.054813.18427@sbcs.sunysb.edu> <P3iZ21w164w@mantis.co.uk>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!ub!uhura.cc.rochester.edu!rochester!kodak!ispd-newsserver!ism.isc.com!chine!marv
From: marv@chine.ism.isc.com (Marvin Rubinstein)
Newsgroups: comp.lang.misc
Subject: Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
Message-ID: <1991May17.005905.5421@ism.isc.com>
Date: 17 May 91 00:59:05 GMT
References: <1991May14.054813.18427@sbcs.sunysb.edu> <P3iZ21w164w@mantis.co.uk>
Sender: usenet@ism.isc.com (Ism Usenet News)
Organization: Interactive Systems Corp.
Lines: 32