rando57

I hope that in the future we will seriously consider https://en.wikipedia.org/wiki/Thorium-based_nuclear_power

Compared to current methods of producing nuclear energy, thorium:

- produces significantly more energy per ton

- produces significantly less waste

- the waste is significantly less dangerous (cools down in x00 years, instead of x0000 years)

> but except in mathematics we are never building on first principles

In practice, mathematicians also assume "that problems we don't deal with directly are taken care of by somebody else in good faith". We use theorems that others proved, and we trust that the authors and the reviewers did their job, without inspecting the proofs ourselves. Sometimes mistakes slip through, but they are usually caught fairly quickly, and can be fixed locally. In other words, we are less strict than we like to think we are, but we get away with it perfectly well.