The History of Lambda Calculus

SMP was the first time some people had tried to build a symbolic computation kind of system not endless and I think John McCarthy never kind of full-daved me for that. LISP had been a thing sort of more a theoretical thing but it had been you know early implementations of it is  a very visionary language in many ways. By the time computers can do integrals we'll know they're smart we'll know we've achieved artificial intelligence, he says.