Exploring the possibilities of unfamiliar artefacts and perceptual technologies, the incompleteness theorem promises to distract and disorientate in the service of a feedback system of mirrors, lights ...

If you buy something using links in our stories, we may earn a commission. This helps support our journalism. Learn more. Please also consider subscribing to WIRED In 1931, the Austrian logician Kurt ...

"All Cretans are liars", said Epimenides, a Cretan. But this means that his statement must be a lie too. But then it is false that Cretans are liars and the statement must be true. So what now?

Gödel's Incompleteness Theorem, which proved that no formal mathematical system can demonstrate every mathematical truth, is a landmark of modern thought. It's a simple but profound statement, but the ...

64 64 people viewed this event. Dr. Juris Steprans (Mathematics and Statistics) looks at logic in science fiction, including both the misconceptions and insights which scifi has produced about Godel’s ...

At 24, Kurt Gödel established himself as perhaps the greatest logician of the 20th century. Standing against the intellectual currents of his time, he unveiled two theorems in 1930 showing that a ...

I’d like to add another interesting synthesis of logic and faith to Mike Kerrigan’s “God and Math at Dinner” (op-ed, Jan. 5). Gödel’s incompleteness theorems prove that certain mathematical methods ...

The Science of Science Fiction series is presented in collaboration with York University's Faculty of Science. Dr. Juris Steprâns looks at logic in science fiction, including both the misconceptions ...