Complex sentence: 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.
Split into simpler sentences: He settled in the United Kingdom after the Second World War and specialised in mathematical logic. He is perhaps best known for having formulated Löb's theorem in 1955.