Almost all classical theorems are intuitionistic

DOI10.1051/ITA/2022009MaRDI QIDQ6365272arXivFDO

Authors Pierre Lescanne

Publication date 14 April 2021

Published in arXiv

Full work available at URL https://doi.org/10.1051/ITA/2022009

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Software, source code, etc. for problems pertaining to combinatorics (05-04) Computational methods for problems pertaining to combinatorics (05-08) Boolean functions (06E30) Bell and Stirling numbers (11B73)

arXiv classification

cs.LOmath.LO

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.

This page was built for publication: Almost all classical theorems are intuitionistic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6365272)