[Boards: 3 / a / aco / adv / an / asp / b / bant / biz / c / can / cgl / ck / cm / co / cock / d / diy / e / fa / fap / fit / fitlit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mlpol / mo / mtv / mu / n / news / o / out / outsoc / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / spa / t / tg / toy / trash / trv / tv / u / v / vg / vint / vip / vp / vr / w / wg / wsg / wsr / x / y ] [Search | Free Show | Home]

AC and well-ordering

This is a blue board which means that it's for everybody (Safe For Work content only). If you see any adult content, please report it.

Thread replies: 6
Thread images: 1

File: fry.jpg (65KB, 240x290px) Image search: [Google]
fry.jpg
65KB, 240x290px
Intuition tells me, the axiom of choice if obviously true.
Intuition tells me, obviously, the reals can not be well-ordered.
This feels like god made a mistake, an error in the source code of the universe. How have you dealt with this brainfuck?
>>
>>9161047
axioms aren't true or false, they're just things you take for granted
>>
>>9161047
I'm still not sure how to deal with the brainfuck that is your grammar.
>>
>>9161047
>axiom of choice if obviously true
nothing about infinite sets is "obviously" anything.

also in order to resolve your brainfuckery, just look at a proof of the equivalency of these two statements of the AC.
>>
>>9161061
Apologies, but this isn't helpful. Correct the worst mistakes so I can improve and make it better next time.

>>9161052
>>9161067
Yes, but that's not my point, it's about intuition.
Intuitionally(!), AC is true. Therefor the reals can be well-ordered. Intuitionally(!), the reals can not be well-ordered [math] \Rightarrow [/math] contradiction (intuitionally).
With no other thing in math, I had this "contradiction"-feeling. Some things were/are surprinsing, but never intuitionally false.
>>
>>9161103
>Intuitionally(!), AC is true.
what does this even mean? 'intuitionally true' with respect to what axioms?
Thread posts: 6
Thread images: 1


[Boards: 3 / a / aco / adv / an / asp / b / bant / biz / c / can / cgl / ck / cm / co / cock / d / diy / e / fa / fap / fit / fitlit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mlpol / mo / mtv / mu / n / news / o / out / outsoc / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / spa / t / tg / toy / trash / trv / tv / u / v / vg / vint / vip / vp / vr / w / wg / wsg / wsr / x / y] [Search | Top | Home]

I'm aware that Imgur.com will stop allowing adult images since 15th of May. I'm taking actions to backup as much data as possible.
Read more on this topic here - https://archived.moe/talk/thread/1694/


If you need a post removed click on it's [Report] button and follow the instruction.
DMCA Content Takedown via dmca.com
All images are hosted on imgur.com.
If you like this website please support us by donating with Bitcoins at 16mKtbZiwW52BLkibtCr8jUg2KVUMTxVQ5
All trademarks and copyrights on this page are owned by their respective parties.
Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.
This is a 4chan archive - all of the content originated from that site.
This means that RandomArchive shows their content, archived.
If you need information for a Poster - contact them.