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.
Why we want proof
What are mathematical proofs, why do we need them and what can they say about sheep?
Abel Prize 2015: all wrapped up
This year's Abel prize shows you can wrap anything, no matter how weirdly shaped.
Information about information
What is information and how does it shape our reality?
Slow down, Universe!
The Universe's expansion may not be accelerating as fast as we thought.
Emmy Noether: Against the odds
Emmy Noether, pioneering female mathematician, died 80 years ago.
Tweets by @plusmathsorg
Login to comment or download PDFs
Create new account
Request new password
To prevent automated spam submissions leave this field empty.