Zaionc paradox revisited - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2022

Zaionc paradox revisited

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)

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)

Identifiants

Citer

Pierre Lescanne. Zaionc paradox revisited. 2022. ⟨hal-03197423v6⟩
90 Consultations
73 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More