In a way, it's shocking that machine translation--the computer-aided translation of human languages--hasn't been perfected yet. Philosophers and mathematicians have been proposing its possibility ...