[ 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: 37 KB, 680x1047, 9f3.jpg [View same] [iqdb] [saucenao] [google]
7076360 No.7076360 [Reply] [Original]

Today our topology professor announced that the axiom of choice would be taken for granted from here on out.

How do you react upon learning that your mathematics is going to be defiled by such impurities? Pic related.

>> No.7076372

I don't give a shit because I'm not an autistic neckbeard.

>> No.7076383

>>7076360
Because for all intents and purposes choice exists. Unless you have a working model of the universe accounting for every single subatomic particle, there's no practical reason to take into account that our actions are simply the results of long chains of cause and effect.

>> No.7076385

>>7076383
That's not what the axiom of choice is.

>> No.7076388

>>7076385
The axiom of choice is the mathematical formalization of free will.

>> No.7076389

>>7076383
wat.
I don't see what the second sentence has to do with adopting choice? The axiom of choice just collapses some models of your language and in turn lets you prove strong (possibly nonconstructive) theorems in return.

@OP: If you really care, just watch where it's used and inform yourself how the theorems can be fixed without it. If you actually do that, you'll learn much more about the content of your course than the guys next to you.

>> No.7076404

>>7076388
No.

>> No.7076467
File: 23 KB, 250x333, CuttingCake.jpg [View same] [iqdb] [saucenao] [google]
7076467

Introduce him to Wildeberger.

>> No.7076469

>>7076372
We're all autistic neckbeards, there's no reason to lie to yourself.

>> No.7077692

>>7076388
>The axiom of choice is the mathematical formalization of free will.
thanks anon. gonna use this to troll colleagues.

>> No.7077939

>>7076388
>The axiom of choice is the mathematical formalization of free will.

top kek

>> No.7077947

>>7076388
Is this the birth of an epic new meme?

>> No.7077951

>>7076388
Leld hard
This is now a thing

>> No.7078864

>>7076360
One up him and go for Constrcutibility

>> No.7078996
File: 66 KB, 1023x497, BpiBA5jIYAAe_NH.jpg:large.jpg [View same] [iqdb] [saucenao] [google]
7078996

>>7076388
10/10 crying

>> No.7079055

>>7076360
V=L implies choice. Deal with it.

>> No.7079096

>>7078996
Turing did say things like that all the time.

>> No.7079316

>>7079096
Bullshit

>> No.7079317

>>7078996
excellent

>> No.7079361
File: 34 KB, 200x279, 11947fdd7f2efe65c3a8be2690b779bd.jpg [View same] [iqdb] [saucenao] [google]
7079361

>>7076360
Today my 5th grade teacher told us that there are infinitely many whole numbers
How do you react upon learning that your mathematics is going to be defiled by such impurities? Pic related.

>> No.7079371

>choosing to take the axiom of choice for granted
HERESY

>> No.7079403

> 2015
> Complaining about axioms
Dude, get a grip. As long as the mathematics that you study live in a well-defined universe that is both non-trivial and consistent, why would you be complaining?

Is math without the axiom of choice fun? Yes (c.f. "Division by Three" by Conway). Is it fun with the axiom of choice? Yes obviously. Is non-Euclidean geometry fun? Yes. Is Euclidean geometry fun? Yes.

Complaining about the axioms of your math instead of focusing on the math is what's impure, dumb fuck.