Almost all classical theorems are intuitionistic
Logic in Computer Science
2022-03-23 v5 Logic
Abstract
Canonical expressions are representative of implicative propositions upto renaming of variables. In this paper we explore, using a Monte-Carlo approach, the model of canonical expressions in order to confirm the paradox that says that asymptotically almost all classical theorems are intuitionistic.
Cite
@article{arxiv.2104.06723,
title = {Almost all classical theorems are intuitionistic},
author = {Pierre Lescanne},
journal= {arXiv preprint arXiv:2104.06723},
year = {2022}
}