Zaionc paradox revisited - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2021

Zaionc paradox revisited

Pierre Lescanne
Laboratoire de l'Informatique du Parallélisme
CV

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.

Domaines

Logique en informatique [cs.LO] Logique [math.LO]
Fichier principal
Vignette du fichier
Zaionc_paradox.pdf (185.46 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Pierre Lescanne  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03197423

Soumis le : mercredi 14 avril 2021-11:23:23

Dernière modification le : jeudi 11 mai 2023-11:56:10

Archivage à long terme le : jeudi 15 juillet 2021-18:06:32

Télécharger pour visualiser

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. 2021. ⟨hal-03197423v1⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
119 Consultations
118 Téléchargements

Altmetric

Partager

More