logic

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]

Talking about ourselves 2 October 2003

This headline is (half) false
A new way to analyse self-referential and contradictory statements.

If and only if 3 April 2003

Dream code
Programming languages for quantum computers are now being written