|
|
Charlie-Boo wrote:
H. J. Sander Bruggink wrote:
Charlie-Boo wrote:
http://groups.google.com/group/sci.math/msg/064718419fddf4d9?hl=en&;
The above post, from 3/26/03, lists 505 incompleteness theorems, which
are siblings to, and include, theorems of Godel and Rosser, and
explains how they were generated.
But what it doesn't contain are the generated proofs of these
theorems. And also this proof generator of yours is missing.
In fact, it doesn't even contain an informal description of
the algorithm used to generate the proofs.
Click on the link.
I did. It doesn't contain what you say it does.
My article "A Simple Generator of Incompleteness Theorems" gives a
complete program listing of a simplified version. It is available if
you search for it. I pointed this out before, but the person to whom I
said this replied that he refuses to pay the cost of the reprint.
Indeed. I'm not going to *pay* to read your nonsense.
(It's bad enough already that I spend time doing that.)
If you have something to say/show, post it here.
What is the value of a programming system, such as CB's
"proof generator", if it has not been shown to actually
*exist*?
Then I am quite the magician!
Maybe you are, maybe not. But now, seriously, where is
this program synthesis system of yours?
groente
-- Sander
|
|