> Why not choose normal thingies that can be typed using the main interface we have with computers? Iverson answered this in his Turing Award acceptance lectur

> Why not choose normal thingies that can be typed using the main interface we have with computers? Iverson answered this in his Turing Award acceptance lecture, which is literally linked in OP's article: https://www.eecg.utoronto.ca/~jzhu/csc326/readings/iverson.pdf https://www.eecg.utoronto.ca/~jzhu/csc326/readings/iverson.p... You're free to disagree with him, but you need not wonder why!