Re:Autocomplete as an Interface (2015)
by utxaa on Friday January 17, 2020 @10:16AM
(#22075273)
this is like the self driving car myth. i just don't think computation extends this far. ie, a computer cannot do math in the sense of the https://en.wikipedia.org/wiki/Entscheidungsproblem
[ Parent
| on HN ]
If you're referring to formal verification tools (which help programmers mathematically prove that their program has certain properties). Then it doesn't need to extend into all the edge cases. Usually if the machine tells you it can't create a proof you add more checks to your code or pick the properties so that they're easy to prove. There's no need for completeness.
If you're referring to anything your parent mentioned, those tools already exist.