Martin Hugo Löb

E1090155 UNEXPLORED

Martin Hugo Löb was a Dutch mathematician and logician best known for his work in mathematical logic and provability theory, particularly the formulation of Löb's theorem.

All labels observed (1)

Label Occurrences
Martin Hugo Löb canonical 1

How this entity was disambiguated

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Löb's theorem namedAfter Martin Hugo Löb