The inconsistency of certain formal logics¶
Curry, H. B. (1942). The inconsistency of certain formal logics. Journal of Symbolic Logic, 7(4), 115-117.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Paradox
- Russell's paradox (set of all sets not members of themselves); Cantor's paradox of the largest cardinal; Burali-Forti paradox; the motivation for axiomatic set theory (ZF) and type theory; paradoxes of naive set theory resolved by stratification; Curry's paradox
This sourceCurry paradox combinatory logic.
- Russell's paradox (set of all sets not members of themselves); Cantor's paradox of the largest cardinal; Burali-Forti paradox; the motivation for axiomatic set theory (ZF) and type theory; paradoxes of naive set theory resolved by stratification; Curry's paradox
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:ddfbd6a06200 · see in the full table