Why human attempts to mechanize logic keep breaking down.