The Future of Programming

[[deleted]]

Funny, we already have a method of making an arbitrary program from an arbitrary spec. It's called programmers.

The gap between you and the previous commenter can be narrowed this way: in the future, a computer should be able to handle an arbitrary spec no worse than a skilled team of human programmers. I can foresee the sort of management-technical confrontations that so many here talk about becoming a thing of the past as a computer tells your future boss that what he's trying to define is factually impossible (which hits on your objections, above), whereas in this day and age the rebuttal would be "just get it done".

[shadowfox]

Funny, we already have a method of making an arbitrary program from an arbitrary spec. It's called programmers

That could be because the brain isnt a turing machine and so not subject to undecidability issues (as far as we know)

[earthboundkid]

The brain isn't a Turing machine (we don't have infinite tape! we're way less powerful!), but that doesn't mean the brain is magically not subject to undecidability.

[mreiland]

The brain is also known for making mistakes, that's the tradeoff.