# what is a belief?

**What counts as a belief in the formal model of an agent?**

In Löb’s setting an agent is a theory and its beliefs are its theorems. Real minds may fit that badly.

Connects to:
- [the caution](https://mapideas.org/i/h_caution)
- [calibrated doubt?](https://mapideas.org/i/h_q2)

Source: https://mapideas.org/i/h_q1 · open on the map: https://mapideas.org/#h_q1