#philosophy #mathematic #knowledge #epistemology Last modified date: 2022-12-26 18:47 Commit: 1 # Related - [[Hilbert]] # Russell's Paradox Russell's Paradox is a famous paradox formulated by the philosopher Bertrand [[Bertrand Russell]] in 1901. It is related to [[Lambda calculus|Church]], [[Turing]] and [[Godel Theorem|Godel]] in that all three are related to the concept of self-reference. Russell's Paradox states that if a set contains all sets that do not contain themselves, then the set itself must contain itself and cannot contain itself. This paradox is related to Church, Turing and Godel in that all three theorists addressed the concept of self-reference in their work. Church proposed the concept of the Lambda Calculus, which is a system of symbolic logic that is capable of self-reference. Turing proposed the Turing Machine, a theoretical computing machine which is capable of self-reference. Finally, Godel proved that any consistent formal system must contain statements that are both true and unprovable. All three of these theorists have contributed to the understanding of self-reference and its implications, making Russell's Paradox an important part of their work.