Almost all Classical Theorems are Intuitionistic

DOI10.1051/ITA/2022009MaRDI QIDQ5871575zbMATH OpenOpenAlexFDO

Authors Pierre Lescanne

Publication date 23 January 2023

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2104.06723

zbMATH Keywords

asymptoticBell numberCatalan numberclassical logiccombinatoricsintuitionistic logicMonte-Carlo methodrandom generation

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Software, source code, etc. for problems pertaining to combinatorics (05-04) Computational methods for problems pertaining to combinatorics (05-08) Boolean functions (06E30) Bell and Stirling numbers (11B73)

Recommendations

• Classical and Intuitionistic Logic Are Asymptotically Identical
• Classical provability of uniform versions and intuitionistic provability
• Intuitionistic completeness and classical logic
• Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique
• An intuitionistic characterization of classical logic
• Correspondences between classical, intuitionistic and uniform provability
• scientific article; zbMATH DE number 4121961
• An intuitionistic completeness theorem for classical predicate logic
• A note on the complexity of classical and intuitionistic proofs
• A classical view of the intuitionistic continuum

Cites work

• A hiking trip through the orders of magnitude: deriving efficient generators for closed simply-typed lambda terms and normal forms
• Classical and Intuitionistic Logic Are Asymptotically Identical
• Generation of a random partition of a finite set by an urn model
• scientific article; zbMATH DE number 5852776 (Why is no real title available?)
• scientific article; zbMATH DE number 3900794 (Why is no real title available?)
• scientific article; zbMATH DE number 2176112 (Why is no real title available?)
• scientific article; zbMATH DE number 7455712 (Why is no real title available?)
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison
• The complexity of theorem-proving procedures
• Untersuchungen über das logische Schliessen. I

Cited in

(1)

• Almost all classical theorems are intuitionistic

Describes a project that uses

Uses Software

• SageMath
• OEIS

This page was built for publication: Almost all Classical Theorems are Intuitionistic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5871575)