Hacker News new | ask | show | jobs
by ergonaught 72 days ago
> I would assume this could be described in a formal language

The assumption is the first problem, no? If the formal language is complete, it must be inconsistent. If it is consistent, it must be incomplete. If the language is incomplete or inconsistent, you may be unable to encode dog behavior in it.
1 comments
bazoom42 72 days ago
The article use “describing the behavior of a dog” as something people began to think was possible because of Principia. This is what I don’t get. Was this thought impossible before Principia? On what grounds?

What about describing an electrical circuit formally? Surely this was thought possible before Principia was published.

link
roxolotl 72 days ago
The assumption made by many in the early 20th century, spurred on by the recent successes of unification and formalization, was essentially that we could formally describe the entire universe. Godel’s proof shows that if you attempt to formally describe something there’s either an inconsistency or it’s incomplete. That doesn’t mean you cannot describe the behavior of a dog formally but it does mean the same formula which encodes the behavior will either be inconsistent or incomplete. It might only be inconsistent or incomplete when applied outside of defining the behavior of a dog though. That’s why the little preamble about unification exists in this post but it’s not very well tied into the rest of the post.
link
bazoom42 66 days ago
> Godel’s proof shows that if you attempt to formally describe something there’s either an inconsistency or it’s incomplete.

The “something” Gödels proof talks about is axiomatic systems. It doesn’t talk about physical objects.

link
coldtea 72 days ago
>This is what I don’t get. Was this thought impossible before Principia? On what grounds?

Even the full formalization of mathematics wasn't considered certain (*) before Hilbert/Principia and those 20th century attempts. Much less the formalization being applied everything in the physical world or even animal behavior.

* in retrospect rightly so, because it wasn't, at least not without inconsistency/incompleteness.

link