🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.misc
Article #6650

Re: Goedel & programming languages

#6650
From: "Steve" Stevenson
Date: Fri, 02 Feb 1990 21:11
8 lines
725 bytes
See Fred Hennie's book ``Intro to Computability'' for a good look at
how that statement should go.

-- 
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906
Technical Details
Message-ID: <7862@hubcap.clemson.edu>
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!zaphod.mps.ohio-state.edu!tut.cis.ohio-state.edu!ucbvax!decwrl!ogicse!emory!hubcap!steve
References: <8960009@hpfcso.HP.COM>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!zaphod.mps.ohio-state.edu!tut.cis.ohio-state.edu!ucbvax!decwrl!ogicse!emory!hubcap!steve
From: steve@hubcap.clemson.edu ("Steve" Stevenson)
Newsgroups: comp.lang.misc
Subject: Re: Goedel & programming languages
Message-ID: <7862@hubcap.clemson.edu>
Date: 2 Feb 90 21:11:19 GMT
References: <8960009@hpfcso.HP.COM>
Organization: Clemson University, Clemson, SC
Lines: 8