MIT&#x27;s McCarthy says yes in 1956. Implemented in hardware one year after this paper. :)<p><a href="http:&#x2F;&#x2F;dspace.mit.edu&#x2F;bitstream&#x2F;handle&#x2F;1721.1&#x2F;5731&#x2F;AIM-514.pdf?sequence=2" rel="nofollow">http:&#x2F;&#x2F;dspace.mit.edu&#x2F;bitstream&#x2F;handle&#x2F;1721.1&#x2F;5731&#x2F;AIM-514.p...</a>