This thinker's "no class" theory of classes addressed a problem arising from use of the unrestricted comprehension axiom and led to his formulation of type theory. In one work, this thinker interprets Lee Smolin's argument that the universe is perfect for sustaining black holes and maintains that the human brain is a handicap which God had no need to give mankind. In a collaboration with Alfred Wh
This thinker's "no class" theory of classes addressed a problem arising from use of the unrestricted comprehension axiom and led to his formulation of type theory. In one work, this thinker interprets Lee Smolin's argument that the universe is perfect for sustaining black holes and maintains that the human brain is a handicap which God had no need to give mankind. In a collaboration with Alfred Whitehead, he attempted to work from a set of axioms to translate mathematical truths into symbolic logic. For 10 points, name this British philosopher who wrote Principia Mathematica.
This thinker's "no class" theory of classes addressed a problem arising from use of the unrestricted comprehension axiom and led to his formulation of type theory.