On: The Director’s Cut: On Gödel’s first incompleteness theorem

[thedudeabides5]

A bit too much inscrutable math here, but something every AI/ML researcher should know by heart.

Imagine today we make the perfect modeling machine for reality.

Now imagine that machine has to model not only reality yesterday, but today, now that we have the machine.

Additionally, it will have to model the fact that humans are going to change their behavior based on the fact that this machine is modeling reality...

[Machine Halts...]

aka, all of these problems below from seemingly different domains are actually isomorphic (aka the same problem in different shapes)

https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_... https://en.wikipedia.org/wiki/Uncertainty_principle https://en.wikipedia.org/wiki/Lucas_critique https://en.wikipedia.org/wiki/Halting_problem

[throwlaplace → thedudeabides5]

>A bit too much inscrutable math here, but something every AI/ML researcher should know by heart.

If it's inscrutable to you how do you know it's important enough for every AI/ML researcher to understand?

[dang → thedudeabides5]

Posting like this will get you banned here. We've already had to ask you not to post flamebait and/or unsubstantive comments to HN. Would you mind reviewing https://news.ycombinator.com/newsguidelines.html and sticking to the spirit of this site? We'd be grateful.

[ncmncm → thedudeabides5]

Incompleteness is implied by the Halting Problem, but the latter is the deeper result, despite being easier to express. Or maybe because?

[bjornsing → thedudeabides5]

Turing’s halting problem and Gödel’s incompleteness theorems are closely related, but how do you make the link to Heisenberg?

[throwlaplace → bjornsing]

Because op is just posting a laundry list of things they think are sophisticated to seem impressive.

[thedudeabides5 → throwlaplace]

Heisenberg (simplified) - you can know position exactly or you can know velocity exactly but you can’t know both.

Lucas critique - there are limits to formal understanding, because by observing, and modeling something, you end up changing it - especially in a system made up of sentient agents.

See the parallels to heisenberg?

There are limits? The best way to run afoul of them are to not acknowledge they exist!

*edit: iPhone autocorrect