Nate Ackerman — American logician