Skip to content

Comment on CauseNet: Towards a causality graph extracted from the webparent

Comments

I believe, neither the expansion of Gödel's theorems to "everything", non-formalized systems, nor the conclusion of a resolution by harnessing multiple systems in concert, are sound reasoning. I think, it's a fallacious reductionism.

What is a non-formalized system?

I am very curious on this. In particular, if you are able to split systems into formalized and non formalized, then I thinks there are quite some praise and a central spot in all future history books for you!

I am not a native speaker, so please don't get hung up on particular expressions.

I meant, the colloquial philosophies and general ontology are not subject of Gödel's work. I think, the forgone expansion is similar to finding evidence for telepathy in the pop-sci descriptions of quantum entanglement. Gödel's theorems cover axiomatic, formal systems in mathematics. To apply it to whatever, you first have to formalize whatever. Otherwise, it's an intuition/speculation, not sound reasoning. At least, that's my understanding.

Further reading: https://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_th...

The person you were replying to is not a native speaker either, and also is not knowledgeable about the core ideas of logical systems (as other commenters have already explained).

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.