Skip to Navigation
subscribe to Plus
Search this site:
This is not a carrot: Paraconsistent mathematics
Paraconsistent mathematics is a type of mathematics in which contradictions may be true. In such a system it is perfectly possible for a statement
and its negation
to both be true. How can this be, and be coherent? What does it all mean?
Alan Turing: ahead of his time
Alan Turing is the father of computer science and contributed significantly to the WW2 effort, but his life came to a tragic end.
explores his story.
What computers can't do
looks at the life and work of wartime code-breaker Alan Turing. Find out what types of numbers we
count and why there are limits on what can be achieved with Turing machines.
Cereal, sand and snow
As your cereal tumbled into your bowl this morning, were you daydreaming of sand dunes or snowy mountains? It...
There's no doubt that information is power, but could it be converted into physical energy you could heat a...
Friends and strangers
Can we always find order in systems that are disordered? If so, just how large does a system have to be to...
Building a bridge to maths
At last month's Cambridge Science Festival we had great fun trying out a hands-on (or rather feet-on)...
Easy as 1, 2, 3?
The natural numbers, 1, 2, 3, 4, ..., are nice. So what could be nicer than discovering interesting patterns...
The philosophy of cosmology
Can philosophy help explain our Universe?
Login to comment or download PDFs
Create new account
Request new password