Skip to search formSkip to main contentSkip to account menu

Löb's theorem

Known as: Loeb's Theorem, Lob's theorem, Lob theorem 
In mathematical logic, Löb's theorem states that in any formal system F with Peano arithmetic (PA), for any formula P, if it is provable in F that… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
We present a simple algorithm, BEER, to search for a combination of the BEaming, Ellipsoidal and the Reflection/heating periodic… 
Review
2010
Review
2010
Despite much progress in prostate cancer management, new diagnostic, prognostic and therapeutic tools are needed to predict… 
Highly Cited
2004
Highly Cited
2004
The first galaxies that formed at a redshift z ~ 20-30 emitted continuum photons with energies between the Lyα and Lyman limit… 
2004
2004
  • Art Quaife
  • Journal of Automated Reasoning
  • 2004
  • Corpus ID: 26288473
The modal logic calculus K4, which represents important properties of the provability relation of Peano's Arithmetic, is… 
Highly Cited
2003
Highly Cited
2003
We simulate the ionization environment of z ~ 20 luminous objects formed within the framework of the current CDM (cold dark… 
Highly Cited
2003
Highly Cited
2003
Structure formation in the intergalactic medium (IGM) produces large-scale, collisionless shock waves, in which electrons can be… 
Highly Cited
2002
Highly Cited
2002
The coalescence of massive black hole (BH) binaries due to galaxy mergers provides a primary source of low-frequency… 
Highly Cited
2000
Highly Cited
2000
As is well known, the requirement that gamma-ray bursts be optically thin to high-energy photons yields a lower limit on the… 
1997
1997
Dispersion compensation of a 110 km non-dispersion shifted fibre link over a 4 nm bandwidth is demonstrated using two continuous… 
1986