|
|
Re: Inconsistency
Posted:
Apr 23, 2012 10:18 AM
|
|
Frederick Williams schrieb: > But let me ask you: what do you mean by undecidable if not recursively > undecidable?
Diophantine equations are also undecidable. Maybe this is more "natural" for some mathematicians.
|
|