He settled in the United Kingdom after the Second World War and specialised in mathematical logic, and is best known for formulated Löb's theorem in 1955.
He settled in the United Kingdom after the Second World War. He specialised in mathematical logic. He is best known for formulated Löb's theorem in 1955.