3 ms·
Let me recast the above comment in a simpler language, also stripping it away from the provided explanation. And do correct me if I'm wrong! > Systems that are
by H8crilA 4y ago
Let me recast the above comment in a simpler language, also stripping it away from the provided explanation. And do correct me if I'm wrong!
> Systems that are guaranteed to be correct 100% of the time are subject to Gödel. Systems that are required to be correct much/most/almost all of the time are not necessarily subject to Gödel. Human intuition is of the latter type.
- IIAOPSW 4y agoPretty much. Gödel still technically applies in the sense that if I claim to have a reasoning system which is usually sound and complete, you can still use "this statement has no heuristic explanation" to force an instance of my system reaching unsound conclusions, But having just this one example doesn't disprove that the system is usually sound. It just proves that the system is sometimes not sound (which is already assumed in the meaning of heuristic).