Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Zaionc paradox revisited

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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03197423
Contributor : Pierre Lescanne Connect in order to contact the contributor
Submitted on : Monday, July 19, 2021 - 3:14:55 PM
Last modification on : Saturday, September 11, 2021 - 3:16:57 AM

Files

Zaionc_paradox.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03197423, version 4
  • ARXIV : 2104.06723

Collections

Citation

Pierre Lescanne. Zaionc paradox revisited. 2021. ⟨hal-03197423v4⟩

Share

Metrics

Record views

9

Files downloads

16