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… (More)

Semantic Scholar uses AI to extract papers important to this topic.

Review

2016

Review

2016

- Andrew Critch
- ArXiv
- 2016

Löb’s theorem and Gödel’s theorems make predictions about the behavior of systems capable of self-reference with unbounded… (More)

Is this relevant?

2014

2014

- Patrick LaVictoire, Benja Fallenstein, Eliezer Yudkowsky, Mihály Bárász, Paul Christiano, Marcello Herreshoff
- 2014

Applications of game theory often neglect that real-world agents normally have some amount of out-of-band information about each… (More)

Is this relevant?

2010

2010

- James H. Wyckoff
- 2010

Donald J . Boyd, Hamil ton Lankford, Susanna Loeb, and James H. Wyckoff School districts are confronting difficult choices in… (More)

Is this relevant?

Review

2007

Review

2007

We consider the pumping of the 63.2 mm fine-structure line of neutral O i in the high-redshift intergalactic medium (IGM), in… (More)

Is this relevant?

2006

2006

The origin of the microgauss magnetic fields in galaxy clusters is one of the outstanding problems of modern cosmology. We have… (More)

Is this relevant?

2005

2005

We use direct-summation N -body integrations to follow the evolution of binary black holes at the centers of galaxy models with… (More)

Is this relevant?

2003

2003

Structure formation in the intergalactic medium (IGM) produces large-scale, collisionless shock waves, where electrons can be… (More)

Is this relevant?

2002

2002

- Michael Detlefsen
- Minds and Machines
- 2002

We argue that Löb's Theorem implies a limitation on mechanism. Specifically, we argue, via an application of a generalized… (More)

Is this relevant?

1997

1997

Stopped-flow fluorescence assay was applied to identify conformational changes in the catalytic cycle of DNA polymerase (Pol… (More)

Is this relevant?

1988

1988

- Art Quaife
- Journal of Automated Reasoning
- 1988

The modal logic calculus K4, which represents important properties of the provability relation of Peano's Arithmetic, is… (More)

Is this relevant?