Loading...
Images of Hugo Löb
(0 from 0 )News
Martin Löb
hyperleap.com
· Löb's theorem is named for Martin Hugo Löb, who formulated it in It has also been called Löb's paradox after Martin Hugo Löb, due to its relationship to Löb's theorem. As basic axioms of the provability logic GL (Gödel-Löb), which captures provable in Peano Arithmetic, one takes modal analogues of the Hilbert-Bernays derivability conditions and Löb's theorem (if …
sorted by relevance / date