Articles

Harvey Friedman tells us about a mathematical movement called constructivism and why we need it.

Spider solitaire is a popular online game. But are users right in their suspicion that some programs are rigged?

How can we get a grip on the uncertainties in mathematical models?

Can a mathematical object be said to exist if you can't construct it?

Physics is all about observation. But how much can we actually see with the naked eye?

Observing the smallest building blocks of matter doesn't involve seeing in the ordinary sense.

The limits to what we can observe are not only a matter of science, but also of politics and economics.

Introducing an indispensable tool of mathematical logic.