Definition:Theory of Types/Historical Note
Jump to navigation
Jump to search
Historical Note on Theory of Types
The theory of types was devised by Bertrand Russell in $1910$ as an attempt to resolve what is now referred to as Russell's Paradox.
Sources
- 1993: Richard J. Trudeau: Introduction to Graph Theory ... (previous) ... (next): $2$. Graphs: Paradox