|
|
Re: Godel's Incompleteness Theorems.
Posted:
Mar 9, 2012 1:23 PM
|
|
Nam Nguyen wrote:
>
> In other words, what would you or Chris Menzel define as "helpful"
> in this FOL-proving context?
Me: axioms and rules that are recursive as a minimum. Consistency,
which might be no better than, 'well, it hasn't let us down yet.'
Completeness and decidability if possible. I don't know about Chris
Menzel.
--
When a true genius appears in the world, you may know him by
this sign, that the dunces are all in confederacy against him.
Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting
|
|
