Directory
References
Discover
ramified theory of types
logic
Learn about this topic in these articles:
history of logic
- In history of logic: Principia Mathematica and its aftermath
…be known as the “ramified” theory of types. In addition, in order to show that all of the usual mathematics can be derived in their system, Russell and Whitehead were forced to introduce a special assumption, called the axiom of reducibility, that implies a partial collapse of the ramified…
Read More