Löb's theorem

Summary

Löb's theorem is a theorem^[1]. It draws 66 Wikipedia views per month (theorem category, ranking #211 of 1,306).^[2]

Key Facts

• Löb's theorem's instance of is recorded as theorem^[3].
• Martin Löb is named after Löb's theorem^[4].
• Löb's theorem's part of is recorded as list of theorems^[5].
• Löb's theorem's Freebase ID is recorded as /m/0338zr^[6].
• Löb's theorem's defining formula is recorded as \mathrm{if}\ PA \vdash (Bew(# P) \rightarrow P)\mathrm{, then}\ PA \vdash P^[7].
• Löb's theorem's studied by is recorded as proof theory^[8].
• Löb's theorem's nLab ID is recorded as Löb's theorem^[9].
• Löb's theorem's maintained by WikiProject is recorded as WikiProject Mathematics^[10].
• Löb's theorem's Microsoft Academic ID is recorded as 2779353319^[11].

Why It Matters

Löb's theorem draws 66 Wikipedia views per month (theorem category, ranking #211 of 1,306).^[2] It has Wikipedia articles in 9 language editions, a strong signal of global cultural recognition.^[12]