Questions tagged [type-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
-1
votes
1answer
74 views

Do units in physics have any link to the origins of type theory in logic?

It is well known that the theory of types, first introduced by Bertrand Russell in 1903 and developed with Whitehead in their Principia Mathematica (1910), was a way to deal with paradoxes in set ...
3
votes
1answer
189 views

Checking a Gödel quote on *Principia Mathematica*

Is there serious doubt of whether the first edition of Russell and Whitehead's Principia Mathematica used the ramified theory of types? I am travelling and cannot easily check sources but I do easily ...