Re:What's wrong with Software nowadays and how we can fix it
by madgar on Monday December 05, 2016 @10:20AM
(#13105837)
I assume skywhopper is referring to undecidable and uncomputable problems. https://en.wikipedia.org/wiki/Undecidable_problem
Re:What's wrong with Software nowadays and how we can fix it
by m0th87 on Monday December 05, 2016 @10:36AM
(#13106024)
I don't really get how that's a critique of the ability to represent complexity on a computer well. After all, isn't a human mind constrained by P ?= NP in the same way as a computer architecture?
Re:What's wrong with Software nowadays and how we can fix it
by fooker on Monday December 05, 2016 @10:47AM
(#13106133)
We do not know that actually.
While it might be true that classical mechanics is the only machine behind our brain, evolution is just as likely to have stumbled into a quantum computer design we have not yet discovered in the last billion years.
Re:What's wrong with Software nowadays and how we can fix it
by Filligree on Monday December 05, 2016 @11:17AM
(#13106436)
Quantum computers still can't solve NP-complete problems in polynomial time, sadly. Take a look at the BQP complexity class; it's only a subset of NP.
Re:What's wrong with Software nowadays and how we can fix it
by cr0sh on Monday December 05, 2016 @01:14PM
(#13107704)
Here's a big one:
https://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_th...
Oh ... could you elaborate? I think my cut-rate, community college degree skipped that part :) it seems like a useful thing to know!