Who are you calling an “entirely unintelligent machine”? I think I’m offended.
Computer running automatic theorem prover ;)
Who are you calling an “entirely unintelligent machine”? I think I’m offended.
Computer running automatic theorem prover ;)