Hacker News Reader

Comment by YeezyMode | Hacker News Reader

Would you say that this in itself is due to how incomplete human reasoning is in the first place? That as a result, our ideas of logic and what perfect logic looks like are bound to fail? Or are you saying that the purest mathematical representation of logic cannot scale to a point where they can model and predict real world relationships successfully?

View on HN

The second. Mathematical logic thrives on precision, clear definitions, and unambiguous axioms, but real-world systems are often marked by vagueness, uncertainty, and dynamic change.

Gödel’s Incompleteness Theorems also demonstrates that in any sufficiently powerful mathematical system, there are true statements that cannot be proven within the system. This implies that no matter how refined a logical system you devise, it will invariably be incomplete or inconsistent when grappling with real-world phenomena.

Gödel didn't say anything about real world phenomena. He was talking about formal languages and mathematics.

Of course. But if you truly cannot model every true statement in any formally devised system, then you are by definition going to have to reject valid rules that your logic cannot verify if you intend your system to perfectly logical.

I believe that's right but only in a deductive setting, and as long as there's a requirement for soundness. Inductive and abductive logical inference are not sound and they are very useful for real-world decision-making. But that is a developing field and there are still many unknowns there.

Reply on news.ycombinator.com