Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Löb's theorem · Vinony

EntityQ204884· pop 9· linked from 15 articles

Löb's theorem

Sign in to save

theorem

Connections

International Standard Book Number

digital object identifier

mathematical logic

Gödel's incompleteness theorems

Cambridge University Press

Stanford Encyclopedia of Philosophy

Raymond Smullyan

Curry's paradox

propositional variable

Categories

Mathematical axioms Mathematical logic Metatheorems Modal logic Provability logic Theorems in the foundations of mathematics

Sources

wikipedia.externallinksexternallink

What links here15 pages

provability logic

mathematical logic

Gödel's incompleteness theorems

Richard's paradox

Curry's paradox

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

deduction theorem

Entitydist 0.51

Entitydist 0.51

Entitydist 0.56

Entitydist 0.58

Lohawat Vidhan Sabha constituency

Entitydist 0.58

Entitydist 0.60

Fubini's theorem

Entitydist 0.60

Entitydist 0.60

Entitydist 0.62

Entitydist 0.62

Entitydist 0.62

Entitydist 0.63