Gödel's First Incompleteness Theorem's proof, in perl.
Needs "use strict;" though.
I could be wrong. ;-)
Cheers,
Scott.
(Who actually thinks that 000-031 might have something to do with ASCII character values, but is just guessing.)
What is this?
- (malraux)
- (16)
- Nov. 13, 2011, 11:36:16 PM EST
Re: What is this?
- (mvitale)
- Nov. 13, 2011, 11:35:14 PM EST
Looks like...
- (Another Scott)
- Nov. 13, 2011, 11:44:36 PM EST
First guess
- (drook)
- (7)
- Nov. 14, 2011, 12:48:16 AM EST
That's what I thought, too.
- (static)
- Nov. 14, 2011, 04:27:12 AM EST
Pull out the Hip owl book
- (crazy)
- Nov. 14, 2011, 06:09:27 AM EST
Ding.
- (malraux)
- (3)
- Nov. 14, 2011, 09:53:48 AM EST
Booyah!
- (drook)
- (1)
- Nov. 14, 2011, 11:31:06 AM EST
Re: Booyah!
- (malraux)
- Nov. 14, 2011, 11:53:13 AM EST
hmmm
- (folkert)
- Nov. 14, 2011, 12:57:33 PM EST
Re: First guess
- (pwhysall)
- Nov. 14, 2011, 01:52:00 PM EST
So...
- (folkert)
- (1)
- Nov. 14, 2011, 01:05:32 AM EST
So...
- (folkert)
- Nov. 14, 2011, 09:26:52 AM EST
Haven't looked past 1st screen yet
- (crazy)
- (1)
- Nov. 14, 2011, 06:07:38 AM EST
Nope.
- (folkert)
- Nov. 14, 2011, 09:03:47 AM EST
part of a cert?
-NT
- (boxley)
- Nov. 14, 2011, 12:42:08 PM EST
definitely not a programming language
-NT
- (lincoln)
- Nov. 14, 2011, 03:59:07 PM EST