Content about “
logic
”

Article
dice

Picking holes in mathematics

In the 1930s the logician Kurt Gödel showed that if you set out proper rules for mathematics, you lose the ability to decide whether certain statements are true or false. This is rather shocking and you may wonder why Gödel's result hasn't wiped out mathematics once and for all. The answer is that, initially at least, the unprovable statements logicians came up with were quite contrived. But are they about to enter mainstream mathematics?

News story

Spaceships are doing it for themselves

It requires only a little processing power, but it's a giant leap for robotkind: engineers at the University of Southampton have developed a way of equipping spacecraft and satellites with human-like reasoning capabilities, which will enable them to make important decisions for themselves.
Article
jigsaw puzzle

Searching for the missing truth

Many people like mathematics because it gives definite answers. Things are either true or false, and true things seem true in a very fundamental way. But it's not quite like that. You can actually build different versions of maths in which statements are true or false depending on your preference. So is maths just a game in which we choose the rules to suit our purpose? Or is there a "correct" set of rules to use? We find out with the mathematician Hugh Woodin.

Article

Constructive mathematics

If you like mathematics because things are either true or false, then you'll be worried to hear that in some quarters this basic concept is hotly disputed. In this article Phil Wilson looks at constructivist mathematics, which holds that some things are neither true, nor false, nor anything in between.
Article

Cantor and Cohen: Infinite investigators part I

What's the nature of infinity? Are all infinities the same? And what happens if you've got infinitely many infinities? In this article Richard Elwes explores how these questions brought triumph to one man and ruin to another, ventures to the limits of mathematics and finds that, with infinity, you're spoilt for choice.
Article

We must know, we will know

Runner up in the general public category. Great minds spark controversy. This is something you'd expect to hear about a great philosopher or artist, but not about a mathematician. Get ready to bin your stereotypes as Rebecca Morris describes some controversial ideas of the great mathematician David Hilbert.
Article

Gödel and the limits of logic

When Kurt Gödel published his incompleteness theorem in 1931, the mathematical community was stunned: using maths he had proved that there are limits to what maths can prove. This put an end to the hope that all of maths could one day be unified in one elegant theory and had very real implications for computer science. John W Dawson describes Gödel's brilliant work and troubled life.
Article

A bright idea

What do computers and light switches have in common? Yutaka Nishiyama illuminates the connection between light bulbs, logic and binary arithmetic.
Article
icon

Mathematics for aliens

It has often been observed that mathematics is astonishingly effective as a tool for understanding the universe. But, asks Phil Wilson, why should this be? Is mathematics a universal truth, and how would we tell?
Article

Mathematical mysteries: The Barber's Paradox

Suppose you walk past a barber's shop one day, and see a sign that says "Do you shave yourself? If not, come in and I'll shave you! I shave anyone who does not shave himself, and noone else." This seems fair enough, and fairly simple, until, a little later, the following question occurs to you - does the barber shave himself?
Displaying 13 - 24 of 25