Has anybody read Godel's orginal proof before.


The above proof sketch is partial.

Like most computer scientists, I was only educated to learn
Henkin's proof.

One thing I dont understand. It is obvious that Henkin's
proof relies on constants (to deal with the quantifiers), but
Godel's proof starts with a version of predicate calculus
(called Restricted Functional Calculus) without constants at all.

Does anybody understand why constants are not essential
in Godel's?

Why can I find  the material to show RFC to be equivalent
to the Predicate Calc with constants? Note that the wikipedia
sketch has this argument missing as "(to be written)".

You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 

Reply via email to