3 ms·
This guy is popular with the CS crowd because of his views on infinity & constructivism I believe. I've studied math quite a bit and I don't really have any sta
by zero-sharp 2y ago
This guy is popular with the CS crowd because of his views on infinity & constructivism I believe. I've studied math quite a bit and I don't really have any stake in the field (I'm not an academic). But modern set theory is a deductive theory. You have assumptions (axioms) and there is a formal reasoning involved to arrive at facts. If you specified set theory to a computer, I have confidence that it would validate the work of the academics.
I tried to skip through the video to find his reasoning.
- nyc111 2y ago"This guy is popular with the CS crowd because of his views on infinity & constructivism" I didn't know. I'll try to find his videos on infinity. I agree with his views on axiomatic set theory. To me the axioms of ZF read like hidden definitions. First they say "in ZF set is not defined" but then they define it with the Axiom of Extension.
- zero-sharp 2y agoMost working mathematicians don't care about pure set theory. They're not thinking about ZFC axioms while they're doing math. This only becomes a topic of conversation because we start getting counterintuitive results down the line, or because of an increasing awareness of mistakes (see video below). I think this a good video about foundations: https://www.youtube.com/watch?v=btzE11jNbj4 https://www.youtube.com/watch?v=btzE11jNbj4 He makes a point about how different foundational systems can interpret each other, eg Type Theory can be understood in Set Theory and vice versa, etc. I generally encourage people not to worry about these things.