The Perpetual Quest for a Truth Machine

Why human attempts to mechanize logic keep breaking down.