Almost all classical theorems are intuitionistic

TL;DR

This paper investigates the prevalence of intuitionistic theorems within classical logic by analyzing canonical expressions through a Monte-Carlo approach, confirming that asymptotically almost all classical theorems are intuitionistic.

Contribution

It introduces a novel Monte-Carlo method to analyze canonical expressions, providing empirical evidence for the dominance of intuitionistic theorems in classical logic.

Findings

Most classical theorems are shown to be intuitionistic asymptotically.

Monte-Carlo approach effectively models canonical expressions.

Supports the paradox that classical theorems are predominantly intuitionistic.

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.