No software ever does exactly what we want it to do, because we are all different and have different demands on our programs. Even the author of a program is usually never truly "finished" with their program, and always find new things to add or behaviors to tweak. That's why software engineering is a thing.
Re:Post-human mathematics
by TheOtherHobbes on Monday November 23, 2015 @08:51PM
(#10618664)
I'd guess at some point computers will become a literal brain prosthetic - instead of writing code by tapping words with your fingers, you'll have the cognitive enhancement offered by a programmable computing machine integrated directly with your conscious awareness.
I am currently developing something very new, and the road to where I want to go is plastered with new concepts I invented. Half of what I need to do is inventing new mathematics as well (in the form of making up new definitions, theorems, and proofs of these theorems) so that I know what exactly my software is doing.
Will a computer one day be able to do what I am doing? I definitely hope so. In fact I'd love to have a computer at my side right now that could prove this freaking theorem I am working on right now. I am pretty sure it is true, but I will need 2 or 3 more days until I am really sure. It would be nice if a computer could tell me in a second if it is true (or not), together with a proof.