set theory
2 excerpts · 01-mathematics
- on it and then at every other junction I have to say, well, now you can show that whatever, that a vector space always has a basis, even an infinite dimensional one. Well, how do we know that? Well, ultimately this comes from the axiom of choice, right? Well, why do you have the axiom of choice? Because at some point I required it. You see, so I wanted to give it the full picture without claiming that this is at the same time a foundational logic, a foundational set theory— Frederic Schuller: The Physicist Who Derived Gravity From Electromagnetism
- physics and mathematics and so on, what are we actually talking about here? I have to tell them also about the axioms of set theory. Now that's a thorny issue. It's a very kind of complicated issue if you really go deeply into this. But if you want to do it, you can do it. Actually, if you wanted to explain what set theory is, you need to write down the axioms. If you want to write down the axioms, you need a formalism in which you formulate these axioms. Because if I— Frederic Schuller: The Physicist Who Derived Gravity From Electromagnetism