Рассел и теория типов

3. Так вот, Рассел. Он обнаружил парадокс в теории множеств и решил пофиксить проблему, предложив взамен теорию типов. Проблема не особо пофиксилась и заверте... Завертелось тогда что-то в этом духе (мем из Principia Mathematica). Такой вот была теория типов тогда

Скриншот твиттер-треда о Бертране Расселе, парадоксе в теории множеств и теории типов. Внизу показан фрагмент математического текста из Principia Mathematica, из-за чего сложность и запутанность теории превращаются в шутку о том, что проблема лишь «завертелась» ещё сильнее. EN: A screenshot of a Twitter thread about Bertrand Russell, the paradox in set theory, and type theory. At the bottom is a fragment of mathematical text from Principia Mathematica, turning the complexity and confusing nature of the theory into a joke that the problem only became even more tangled.

• @ithueti / 1002 2019-06-08