Raymond Kurzweil

Can We Teach Computers What “Truth” Means? 26 February 2013

It’s harder than it sounds
How artificial intelligence can inform ideas about logic.
[Slate]