/sci/ - Science & Math » Thread #14166582

60KiB, 1600x1200, naive_stets.png

View Same Google iqdb SauceNAO

Set theory is retarded

Anonymous Sun 30 Jan 13:51:44 2022 No.14166582 View Reply Original Report

Quoted By: >>14166593 >>14167019 >>14167027 >>14167279 >>14167293 >>14167856 >>14167857 >>14167962 >>14168178 >>14170823 >>14173579

>look i made up this 50 axioms to avoid this one paradox
>what you discovered a new one?
>guess i go back to coming up with new axioms

Anonymous

Anonymous Sun 30 Jan 2022 13:54:38 No.14166593 Report

Quoted By: >>14167065

>>14166582
thats not set theory

Anonymous

Anonymous Sun 30 Jan 2022 17:13:39 No.14167019 Report

Quoted By:

>>14166582
F I L T E R E D
I
L
T
E
R
E
D

Anonymous

Anonymous Sun 30 Jan 2022 17:16:02 No.14167027 Report

Quoted By:

>>14166582
Based

Anonymous

Anonymous Sun 30 Jan 2022 17:29:50 No.14167065 Report

Quoted By: >>14167305 >>14167313 >>14173495

>>14166593
that's literally the history of set theory until they stopped after the axiom of choice and just accepted the paradoxes

Anonymous

View Same Google iqdb SauceNAO thonking.png, 205KiB, 1024x1024

Anonymous Sun 30 Jan 2022 18:39:48 No.14167279 Report

Quoted By: >>14168014

>>14166582
We'll take an Algebra of sets, with two vector multiplications defined as union and intersection.

It makes intuitive sense that $A \cup A = A$
therefore $(A + B) \cup (A + B) = (A + B)$
and if we assume a distributive Algebra then that immediately leads to $A \cup A + A \cup B + B \cup A + B \cup B = A + B$
This reduces to $A \cup B + B \cup A = 0$
And we see that union is anti-commutative (by the same argument, intersection is too)

Wait haha, union anti-commutes? S- set theory chan.... it couldn't be... th- that implies union is s- signed baaaka

Anonymous

Anonymous Sun 30 Jan 2022 18:44:33 No.14167293 Report

Quoted By:

>>14166582
all maths is fake and gay and math autists are just coping with the fact that never got their dicks wet

Anonymous

Anonymous Sun 30 Jan 2022 18:47:10 No.14167305 Report

Quoted By: >>14167990

>>14167065
AWWWWWW babby's first realization that maths is inductive and empirical like any science and axioms have been changed over time because otherwise the shit derived from them wasn't useful in the real world

Anonymous

Anonymous Sun 30 Jan 2022 18:48:19 No.14167313 Report

Quoted By:

>>14167065
this anon gets it

Anonymous

Anonymous Sun 30 Jan 2022 21:03:00 No.14167856 Report

Quoted By: >>14167873 >>14167941

>>14166582
What paradoxes have you come up with for ZFC?

Anonymous

Anonymous Sun 30 Jan 2022 21:03:01 No.14167857 Report

Quoted By:

>>14166582
>look i made up this 50 axioms to avoid this one paradox
Meanwhile, way smarter people avoided them by removing utterly useless axioms like well-foundedness

Anonymous

Anonymous Sun 30 Jan 2022 21:08:52 No.14167873 Report

Quoted By: >>14168158

>>14167856
you must be 18 to post on this board

Anonymous

Anonymous Sun 30 Jan 2022 21:30:35 No.14167941 Report

Quoted By: >>14168158 >>14168172

>>14167856
https://risingentropy.com/axiom-of-choice-and-hats/

Anonymous

View Same Google iqdb SauceNAO 1612027575132.jpg, 92KiB, 750x1000

Anonymous Sun 30 Jan 2022 21:39:44 No.14167962 Report

Quoted By: >>14167978

>>14166582
>mistaking set theory for the boolean algebra of subset directly induced by the ambient logic
ngmi

Anonymous

Anonymous Sun 30 Jan 2022 21:43:37 No.14167978 Report

Quoted By: >>14167988

>>14167962
cope

Anonymous

Anonymous Sun 30 Jan 2022 21:47:29 No.14167988 Report

Quoted By:

>>14167978
>cope
late 14c., coupen, "to quarrel;" c. 1400, "come to blows, deliver blows, engage in combat," from Old French couper, earlier colper "hit, punch," from colp "a blow" (see coup).

Yup, I've just punched you in your retarded face. Why are you begging for more, wouldn't you be a faggot by any chance?

Anonymous

Anonymous Sun 30 Jan 2022 21:47:33 No.14167990 Report

Quoted By: >>14168012 >>14169572

>>14167305
Terrible bait, suck my axiom

Anonymous

Anonymous Sun 30 Jan 2022 21:53:48 No.14168012 Report

Quoted By: >>14168020

>>14167990
I'd rather hit you hard in the foundations.

Anonymous

Anonymous Sun 30 Jan 2022 21:54:33 No.14168014 Report

Quoted By: >>14168034

>>14167279
>if we assume a distributive Algebra
Why?

Anonymous

Anonymous Sun 30 Jan 2022 21:56:01 No.14168020 Report

Quoted By:

>>14168012
Careful, it might turn me on.

Anonymous

Anonymous Sun 30 Jan 2022 21:59:10 No.14168034 Report

Quoted By: >>14169256

>>14168014
Why not? Lots of things are distributive. Boolean logic has distribution rules, Lie brackets have distribution rules, division algebras all distribute, etc.

Anonymous

Anonymous Sun 30 Jan 2022 22:28:14 No.14168158 Report

Quoted By:

>>14167941
>When you set up a nonsensical situation, you get a nonsensical result
Oh wow, you sure showed me.
>>14167873
You could have just said you're unable to.

Anonymous

Anonymous Sun 30 Jan 2022 22:35:26 No.14168172 Report

Quoted By: >>14168206 >>14170938

>>14167941
Why does every time someone claims to have a contradiction in ZFC it's always some word salad nonsense?

Anonymous

Anonymous Sun 30 Jan 2022 22:36:58 No.14168178 Report

Quoted By:

>>14166582
>paradox = anything OP does not understand
>there are infinitely many paradoxes

Anonymous

Anonymous Sun 30 Jan 2022 22:42:42 No.14168206 Report

Quoted By:

>>14168172
They are quoting Wildberger from youtube?

Anonymous

Anonymous Mon 31 Jan 2022 04:02:23 No.14169256 Report

Quoted By: >>14169305

>>14168034
>Lots of things are distributive
And lots of things aren't. Not a reason.

Anonymous

Anonymous Mon 31 Jan 2022 04:16:12 No.14169305 Report

Quoted By:

>>14169256
>His algebraic structure has no distributive property
ishggydggy

Anonymous

Anonymous Mon 31 Jan 2022 06:54:33 No.14169572 Report

Quoted By: >>14171028

>>14167990
>Terrible bait
can't refute the truth, huh?

Anonymous

Anonymous Mon 31 Jan 2022 16:44:07 No.14170823 Report

Quoted By: >>14171004

>>14166582
>using lambda instead if triangle

Anonymous

Anonymous Mon 31 Jan 2022 16:55:23 No.14170865 Report

Quoted By: >>14171037

They used to start maths with set theory in Finnish grade schools in the seventies. Didn't work as planned lol.

Anonymous

Anonymous Mon 31 Jan 2022 17:10:34 No.14170938 Report

Quoted By: >>14170964 >>14173495

>>14168172
who claimed a contradiction in ZFC?

Anonymous

Anonymous Mon 31 Jan 2022 17:17:05 No.14170964 Report

Quoted By:

>>14170938
The voices in his head.

El Arcón

El Arcón Mon 31 Jan 2022 17:29:57 No.14171004 Report

Quoted By:

>>14170823
that's Delta

Anonymous

Anonymous Mon 31 Jan 2022 17:39:07 No.14171028 Report

Quoted By: >>14172073

>>14169572
At what point have we ever encountered an inductive problem in the formal sciences? Is there a such a thing as a prediction in math? A claim was made, where's the evidence?

Anonymous

View Same Google iqdb SauceNAO topos.png, 1MiB, 1080x1277

Anonymous Mon 31 Jan 2022 17:40:52 No.14171037 Report

Quoted By: >>14172109

>>14170865
It was a worldwide trend known as "new maths" spearheaded by the batshit crazy French math researchers. There is even a catchy song by Tom Lehrer about the fad:

https://www.youtube.com/watch?v=UIKGV2cTgqA.

Anonymous

Anonymous Mon 31 Jan 2022 21:53:14 No.14172073 Report

Quoted By:

>>14171028
You pick an arbitrary system of axioms because it gives you the knobs and switches you want.

Anonymous

Anonymous Mon 31 Jan 2022 22:00:18 No.14172109 Report

Quoted By:

>>14171037
I fucking hate leftists so much, bros.

Anonymous

View Same Google iqdb SauceNAO f8f594f71060837109ed14f37283387b.png, 482KiB, 1080x577

Anonymous Tue 01 Feb 2022 04:31:39 No.14173480 Report

Quoted By: >>14173582

Has nobody here even endured an undergraduate abstract or linear algebra course and seen the way in which mathematicians investigate problems by tweaking their assumptions until reaching the right conjecture and seeing its implications?

Anonymous

View Same Google iqdb SauceNAO 1643074456928-1.png, 194KiB, 892x669

Anonymous Tue 01 Feb 2022 04:35:39 No.14173487 Report

Quoted By:

Oh yeah?

Anonymous

Anonymous Tue 01 Feb 2022 04:40:28 No.14173495 Report

Quoted By:

>>14170938
See >>14167065

Anonymous

Anonymous Tue 01 Feb 2022 05:25:36 No.14173579 Report

Quoted By:

>>14166582
$N\cap I \cap G \cap g \cap E \cap R = Y_o^{\;\;u}$

Anonymous

View Same Google iqdb SauceNAO NJW.png, 324KiB, 882x889

Anonymous Tue 01 Feb 2022 05:27:53 No.14173582 Report

Quoted By:

>>14173480
>The CHAD Rationalist

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First

Your latest searches