Add new comment

Want facts and want them fast? Our Maths in a minute series explores key mathematical concepts in just a few words.
What do chocolate and mayonnaise have in common? It's maths! Find out how in this podcast featuring engineer Valerie Pinfield.
Is it possible to write unique music with the limited quantity of notes and chords available? We ask musician Oli Freke!
How can maths help to understand the Southern Ocean, a vital component of the Earth's climate system?
Was the mathematical modelling projecting the course of the pandemic too pessimistic, or were the projections justified? Matt Keeling tells our colleagues from SBIDER about the COVID models that fed into public policy.
PhD student Daniel Kreuter tells us about his work on the BloodCounts! project, which uses maths to make optimal use of the billions of blood tests performed every year around the globe.
Hello and thank you for your interest!
It is a tragedy that all too often mathematicians, when asked about foundations, may be of the opinion that this was all sorted out in the earlier part of the 20th century. This is certainly not the case. Active research in this area is happening in many places, by a small but dedicated (and spreading) following.
An example of research on foundations in the classical arena is a group led by Hugh Woodin in the USA; his team is investigating possibilities for a "golden axiom of set theory", with hopes that there will be interesting outcomes concerning big problems like the continuum hypothesis.
Constructive mathematics is the "typical" response by those who take issue with the classical conception of mathematical proof, and there are groups currently looking at intuitionistic type theory, set theory, and the mathematics that is built on them  there are active groups in Germany, Scandinavia, Japan, and New Zealand (to name a few). A Google/Wikipedia search for constructive mathematics will bring up many references. I am currently working with Douglas Bridges (and others) on various constructive ideas.
Paraconsistent mathematics, being fairly new on the block, has not developed as large a following as yet but there is active research going on in South America, Australia and New Zealand  it seems to be a largely southernhemisphere phenomenon so far. I'm currently working with Zach Weber from Melbourne on characterising the real line using paraconsistent reasoning.
You typically don't have to look far!