Almost all Classical Theorems are Intuitionistic (Q5871575)
From MaRDI portal
scientific article; zbMATH DE number 7644261
Language | Label | Description | Also known as |
---|---|---|---|
English | Almost all Classical Theorems are Intuitionistic |
scientific article; zbMATH DE number 7644261 |
Statements
Almost all Classical Theorems are Intuitionistic (English)
0 references
23 January 2023
0 references
intuitionistic logic
0 references
classical logic
0 references
combinatorics
0 references
asymptotic
0 references
random generation
0 references
Bell number
0 references
Catalan number
0 references
Monte-Carlo method
0 references