A non-fictional man who would only speak using formal logic, a founding genius of computer science. Like Spock, he was much stranger than any ordinary alien. A student of his tells a disturbing story about a different but highly relevant kind of alienation.