Pré-Publication, Document De Travail Année : 2022

Almost all classical theorems are intuitionistic

Résumé

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.

Fichier principal
Vignette du fichier
Zaionc_paradox.pdf (203.02 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-03197423 , version 1 (14-04-2021)
hal-03197423 , version 2 (22-04-2021)
hal-03197423 , version 3 (06-05-2021)
hal-03197423 , version 4 (19-07-2021)
hal-03197423 , version 5 (08-11-2021)
hal-03197423 , version 6 (21-03-2022)

Licence

Identifiants

Citer

Pierre Lescanne. Almost all classical theorems are intuitionistic. 2022. ⟨hal-03197423v6⟩
311 Consultations
423 Téléchargements

Altmetric

Partager

  • More