From proof theory to theories theory
Logic in Computer Science
2023-06-02 v1
Abstract
In the last decades, several objects such as grammars, economical agents, laws of physics... have been defined as algorithms. In particular, after Brouwer, Heyting, and Kolomogorov, mathematical proofs have been defined as algorithms. In this paper, we show that mathematical theories can be also be defined as algorithms and that this definition has some advantages over the usual definition of theories as sets of axioms.
Cite
@article{arxiv.2306.00478,
title = {From proof theory to theories theory},
author = {Gilles Dowek},
journal= {arXiv preprint arXiv:2306.00478},
year = {2023}
}