4 ms·

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

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_theorems https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_... https://en.wikipedia.org/wiki/Uncertainty_principle https://en.wikipedia.org/wiki/Uncertainty_principle https://en.wikipedia.org/wiki/Lucas_critique https://en.wikipedia.org/wiki/Lucas_critique https://en.wikipedia.org/wiki/Halting_problem https://en.wikipedia.org/wiki/Halting_problem

bjornsing 7y ago
Turing’s halting problem and Gödel’s incompleteness theorems are closely related, but how do you make the link to Heisenberg?
- throwlaplace 7y ago
  Because op is just posting a laundry list of things they think are sophisticated to seem impressive.
  - thedudeabides5 7y ago
    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
ncmncm 7y ago
Incompleteness is implied by the Halting Problem, but the latter is the deeper result, despite being easier to express. Or maybe because?
deleted 7y ago
[deleted]
throwlaplace 7y ago
>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?
- thedudeabides5 7y ago
  Can you read?
  - dang 7y ago
    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 https://news.ycombinator.com/newsguidelines.html and sticking to the spirit of this site? We'd be grateful.

bjornsing 7y ago

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

throwlaplace 7y ago
Because op is just posting a laundry list of things they think are sophisticated to seem impressive.
- thedudeabides5 7y ago
  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

ncmncm 7y ago

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

deleted 7y ago

[deleted]

throwlaplace 7y ago

>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?

thedudeabides5 7y ago
Can you read?
- dang 7y ago
  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 https://news.ycombinator.com/newsguidelines.html and sticking to the spirit of this site? We'd be grateful.