Statements (62)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:physicist
|
| gptkbp:bfsLayer |
5
|
| gptkbp:bfsParent |
gptkb:Daniel_Russell
|
| gptkbp:addresses |
self-referential statements
|
| gptkbp:aims_to |
paradoxes in set theory
|
| gptkbp:applies_to |
gptkb:Mathematician
formal verification proof theory |
| gptkbp:developed_by |
gptkb:Bertrand_Russell
the early 20th century the context of logic |
| gptkbp:examines |
computational linguistics
philosophical discussions the philosophy of mathematics mathematical philosophy |
| gptkbp:has_programs |
gptkb:philosopher
|
| https://www.w3.org/2000/01/rdf-schema#label |
Theory of Types
|
| gptkbp:influenced_by |
Frege's work
|
| gptkbp:introduced |
1908
|
| gptkbp:is_a |
formal system
|
| gptkbp:is_associated_with |
gptkb:Russell's_Paradox
type safety Russell's type hierarchy |
| gptkbp:is_connected_to |
axiomatic set theory
constructive logic |
| gptkbp:is_considered |
a significant advancement
a foundational concept a foundational theory a solution to paradoxes |
| gptkbp:is_criticized_for |
gptkb:Wittgenstein
its complexity its limitations |
| gptkbp:is_discussed_in |
gptkb:collection
mathematical foundations philosophical logic |
| gptkbp:is_explored_in |
gptkb:philosopher
computational theory mathematical logic philosophical inquiry type theory research |
| gptkbp:is_fundamental_to |
type systems
|
| gptkbp:is_influential_in |
theoretical computer science
category theory the development of programming languages the development of type theory. |
| gptkbp:is_part_of |
foundations of mathematics
logical positivism the philosophy of language the study of semantics |
| gptkbp:is_reflected_in |
modern type theories
|
| gptkbp:is_related_to |
gptkb:philosopher
gptkb:constructive_mathematics gptkb:typeface lambda calculus proof assistants |
| gptkbp:is_used_in |
gptkb:computer_science
type-safe programming |
| gptkbp:is_used_to |
define functions
avoid inconsistencies structure knowledge |
| gptkbp:provides |
a hierarchy of types
|
| gptkbp:related_to |
gptkb:philosopher
|