The story
Named after Jean-Yves Girard.
Etymology from Wiktionary, CC BY-SA 4.0.
Girard's paradox
Today it means: A particular paradox in mathematical logic; the type-theoretic analogue of Russell's paradox from set theory. Full definition →
Today it means: A particular paradox in mathematical logic; the type-theoretic analogue of Russell's paradox from set theory. Full definition →
Named after Jean-Yves Girard.
Etymology from Wiktionary, CC BY-SA 4.0.