# Tag Info

1

I disagree with Danu. This is a serious question being considered by theoretical physicists involved with the foundations of quantum mechanics. Counterfactual definiteness is an epistemological property that essentially allows you to ask what-if questions about experiments. For example, in a forensic analysis of a car crash, it might be important to know ...

1

There seems to be some evidence Gödel pondered this. He wrote: "But, despite their remoteness from sense experience, we do have something like a perception of the objects of set theory, as is seen from the fact that the axioms force themselves upon us as being true. I don’t see any reason why we should have less confidence in this kind of perception, i.e. ...

4

Hilbert's Sixth problem is not the same as finding the theory of everything and then making the maths rigorous. This is a very common misconception, and has led to people thinking that making renormalisation in QFT rigorous was the main thing to do. But in fact Hilbert stated explicitly that it would be just as important to axiomatise false physical ...

5

Well, the problem is still open. Although maybe the axioms were taken as self-evident for mathematics, Hilbert did not really want mathematically self-evident axioms to be the basics for physical axioms. Since Gauß and the hyperbolic space, it is well known that you can get equally valid models from different assumptions that could all be seen as ...

Top 50 recent answers are included