Zaionc paradox revisited

Pierre Lescanne (1)

1 LIP - Laboratoire de l'Informatique du Parallélisme

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.

Keywords: intuitionistic logic; classical logic; combinatorics; asymptotic; random generation; Bell number; Catalan number; Monte-Carlo method; intuitionistic logic

Domains: Logic in Computer Science [cs.LO]; Logic [math.LO]

Pierre Lescanne. Zaionc paradox revisited. 2022. ⟨hal-03197423v6⟩