4 ms·
Ask HN: What makes you think that there exist non-computable phenomenon?
Even though you are already familiar with computer science and formal logic, also turing machine?
- akasakahakada 4y agoLike the discussion in this Reddit post, many argue that there exist non-computable finite phenomenon without any valid reasoning. https://old.reddit.com/r/Futurology/comments/10s52md/i_finally_think_the_concept_of_agi_is_misleading/ https://old.reddit.com/r/Futurology/comments/10s52md/i_final...
- dave4420 4y agoDepends what you mean by “non-computable”. e.g. in theory we could forecast the weather years in advance — it’s just computations based on input data — but in practice we can’t because weather is chaotic and we can’t collect the input data (initial conditions) to the required resolution and precision.
- deleted 4y ago[deleted]
- sharemywin 4y agoisn't the halting problem a non-computable phenomenon? Is P=NP computable? I would imagine there's something interesting around computing quantum phenomenon to precision since it's not measurable? I don't really know anything other the high level about those but I would love to hear how they fit into the picture
- akasakahakada 4y agoHalting peoblem only proved that "not all program can detect infinite loop". But as you see a while True loop without break, you immediately know that this program will never end. You know halting problem is not a problem at all with the right tool.