[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

View post   
File: 33 KB, 640x426, JhnpFpx_d.jpg [View same] [iqdb] [saucenao] [google]
10497180 No.10497180 [Reply] [Original]

>think they can base all of human reasoning on sets
>but can't even grasp the set of all sets
>can work with all manner of exotic sizes of cardinal numbers
>but can't even figure out if [math]2^{\aleph_0} = \aleph_1[/math] or not
So are set theorists basically the court jesters of the mathematical world? Why are they even allowed to exist?

>> No.10497186

Certain aspects of set theory are just deceptively more difficult than it may intuitively seem like it should be.

>> No.10497190
File: 65 KB, 550x446, strawman.jpg [View same] [iqdb] [saucenao] [google]
10497190

>think they can base all of human reasoning on sets
said no serious mathematician post-20th century, ever.

>> No.10497191

It's organize at sets but received at category. Then introduction is hindsight and all retrospect is immune to blank, but disease is cardinal to a tongue and that's register, on pundit, the leave of absence of another so that paganism may resume. It's a mocking tone for niggawatt humor to hold lights not candles. Like waiting around the corner to eat instead of just eating for them to find you.

>> No.10497196

>>10497190
This a call for claim. Ireland, I think. Might be a bond brigade. They need Justus, the sentiment, of glory not action the revealed so they can sister mary a saint. It's Organized religion but it is defunct as corpse. That's not mafia, it's old women. Saying come get them, blah blah, blah.

>> No.10497198

>>10497186
>[math]2^{\aleph_0} = \aleph_1[/math] is just inherently difficult using set theory
Sure. And computing planetary trajectories is inherently difficult using epicycles

>> No.10497200

>>10497191
>>10497196
Based schizophrenic retard

>> No.10497204

>>10497191
>>10497196
ty based markov chain

>> No.10497266
File: 3.89 MB, 241x328, RKN35tB.gif [View same] [iqdb] [saucenao] [google]
10497266

>>10497186
If modern set theory can solve anything at all, it should be able to solve these very simple, basic questions. As it stands, the field concentrates on (a) applying forcing to show more and more of set theory's failures and limitations, and (b) inward-focused navel-gazing not-even-wrong topics such as large cardinals and forcing axioms.
>>10497190
They think they can base all mathematics on sets. That on its own is somewhat reasonable, but then they slip in their own retarded axiom system and rules of inference and everything goes to shit from there.

>> No.10498198

Set theorists are the final boss of mathematics. The reason the continuum hypothesis is so difficult is that its answer has to do with the fundamental nature of the universe

>> No.10498219

>>10497180
>Why are they even allowed to exist?
Who told you they are?
Pure set theory is basically dead. There are extremely few practitioners nowadays, and even fewer if you discount dusty old emeriti