Almost all Classical Theorems are Intuitionistic (Q5871575)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7644261
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.87398094
0 references
0.8673557
0 references
0.86380553
0 references
0.8624611
0 references
0.8559509
0 references
0.8531963
0 references
0.8495345
0 references
0.8490478
0 references
0.8475593
0 references
