what is the middle name of the massachusetts institute of technology faculty member who was a philosopher and mathematical logician and worked in the mathematician department ?
stephen