|
|
|
| P is for Practical | |
| PerlMonks |
Re: Re: Solving Meta Sentencesby Molt (Chaplain) |
| on May 30, 2002 at 05:58 UTC ( [id://170335]=note: print w/replies, xml ) | Need Help?? |
This is an archived low-energy page for bots and other anonmyous visitors. Please sign up if you are a human and want to interact.
I know this was covered in Hofstadter's book 'Godel, Escher, Bach' (Excellent book, well worth reading), and seem to recall that if you could prove that every sentence would eventually terminate, or prove that a particular sentence would never terminate, then you would have just proven a rather major mathematical theory. Bonus points for proving it with a Perl script :)
In Section
Cool Uses for Perl
|
|
||||||||||||||||||||||||