Description: L ob did research on proof theory, modal logic and computability theory. He formulated L ob's theorem in 1955, as a formal version of L ob's paradox, that any statement that states that assert their own provability must be true (similar to G odel's incompleteness theorem).