On the hierarchy of natural theories
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2021
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866912940184043520 |
|---|---|
| author | Walsh, James |
| author_facet | Walsh, James |
| contents | It is a well-known empirical phenomenon that natural axiomatic theories are pre-well-ordered by consistency strength. Without a precise mathematical definition of "natural," it is unclear how to study this phenomenon mathematically. We will discuss the significance of this problem and survey some strategies that have recently been developed for addressing it. These strategies emphasize the role of reflection principles and ordinal analysis and draw on analogies with research in recursion theory. We will conclude with a discussion of open problems and directions for future research. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2106_05794 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | On the hierarchy of natural theories Walsh, James Logic 03F25, 03F40, 03F15, 03F30, 03F35 It is a well-known empirical phenomenon that natural axiomatic theories are pre-well-ordered by consistency strength. Without a precise mathematical definition of "natural," it is unclear how to study this phenomenon mathematically. We will discuss the significance of this problem and survey some strategies that have recently been developed for addressing it. These strategies emphasize the role of reflection principles and ordinal analysis and draw on analogies with research in recursion theory. We will conclude with a discussion of open problems and directions for future research. |
| title | On the hierarchy of natural theories |
| topic | Logic 03F25, 03F40, 03F15, 03F30, 03F35 |
| url | https://arxiv.org/abs/2106.05794 |