question to chase

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

See it on the map →