"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?

Out in the remotest regions of mathematics, far from the bustling and long-populated center, out where this great thriving empire adjoins the windswept badlands of philosophy, is the topic called ...

How Gödel Destroyed Search for Math's Theory of Everything | RealClearScienceMathematicians of the era sought a solid foundation for mathematics: a set of basic mathematical facts, or axioms, that was ...

"Does Future Lie in the Past?" This is the title of an international conference in Vienna that combines logic, computer science and physics featuring speakers such as Nobel laureate Rainer Weiss, ...

The genius logician Kurt Gödel gave his name to his famous Incompleteness Theorems, which in the 1930s helped define the limits of both logic and mathematics. It might be thought that the ...

The reticent and relentlessly abstract logician Kurt Gödel might seem an unlikely candidate for popular appreciation. But that’s what Rebecca Goldstein aims for in her new book Incompleteness, an ...

Gödel has argued that we can cultivate the intuition or 'perception' of abstract concepts in mathematics and logic. Gödel's ideas about the intuition of concepts are not incidental to his later ...

The Mathematics Teacher (MT), an official journal of the National Council of Teachers of Mathematics, is devoted to improving mathematics instruction from grade 8-14 and supporting teacher education ...

BERLIN, Oct. 23 (UPI) -- Scientists from Germany and Austria say they have proved a 20th century theorem that mathematics can be used to prove the existence of a higher being. Christoph Benzmueller of ...

Space to play or pause, M to mute, left and right arrows to seek, up and down arrows for volume. Alan Saunders: Hello, and welcome to The Philosopher's Zone. I'm Alan Saunders. Now as I mentioned a ...