6 ms·
All this FP revolt kind of start to remind me Whitehead's and Russell's attempt to invent a formal system which would be paradox free...
by mmiliauskas 12y ago
All this FP revolt kind of start to remind me Whitehead's and Russell's attempt to invent a formal system which would be paradox free...
- eli_gottlieb 12y agoMartin-Lof Type Theory doesn't actually have any paradoxes in it.
- tel 12y agoWell, it does—Girard found one. It also has lots of troubles with equality.