nLab
Principia Mathematica

References

Context

Mathematics

Foundations

This page collects material related to

an early account aiming to lay foundations of mathematics.

Among other things, this book, inspired by work of Gottlob Frege, introduces concepts of typing, called the “extensional hierarchy of type” to prevent paradoxes of set theory such as Russell's paradox, and a “ramified hierarchy of types”, in order to avoid paradoxes such as the liar's paradox. (See also SEP – Type theory).

References

category: reference

Last revised on July 22, 2016 at 14:23:27. See the history of this page for a list of all contributions to it.