Category:Definitions/Named Definitions/Löb

From ProofWiki
Jump to navigation Jump to search

This category contains definitions named for Martin Hugo Löb.

German mathematician who specialised in mathematical logic. Best known for having formulated Löb's Theorem in 1955.

This category currently contains no pages or media.

Retrieved from "https://proofwiki.org/w/index.php?title=Category:Definitions/Named_Definitions/Löb&oldid=548901"