aristotle
leibniz
lamettrie
frege
tarski
wettgenstein
marvin minsky
alan turing
joscha bach
geohot
carmack
sutskever
karpathy
latner
keller
michael graziano