From the history of maths
Kurt Gödel
In 1931 he proved that any consistent system rich enough for arithmetic contains true statements it cannot prove.
At Princeton he and Einstein became close friends and walked home together most days.
Unknown author, Public domain, via Wikimedia Commons
Where you’ll meet Gödel here
Logic
They turn up beside problems and lessons on these topics.
You might also like
Alan Turing
His 1936 paper on computable numbers described the Turing machine, the idea behind every computer.
He led codebreaking work on Enigma at Bletchley Park, and appears on the Bank of England £50 note.
Elliott & Fry, Public domain, via Wikimedia Commons