A normal paradox (Q5224890)
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 7085127
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A normal paradox |
scientific article; zbMATH DE number 7085127 |
Statements
24 July 2019
0 references
paradoxes
0 references
Russell's paradox
0 references
intuitionistic natural deduction
0 references
normalization
0 references
computational consistency
0 references
0.8641966581344604
0 references
0.8071611523628235
0 references
0.7803707718849182
0 references