3 ms·
What a fun read! Probably worth mentioning that Russell's opposition to recursion which lead to him formulating "his" paradox offered type theory as a solution
by curiousgal 10y ago
What a fun read!
Probably worth mentioning that Russell's opposition to recursion which lead to him formulating "his" paradox offered type theory as a solution. Type theory also has quite the impact on computer science.
- chriswarbo 10y agoI think a more precise wording than "recursive" would be objecting to impredicative definitions; those which quantify over (something containing or pertaining to) themselves. For example, it's fine to define an arithmetic function recursively; it's not so fine to define a set based on whether it contains itself.