Message from @rivenator12113

Discord ID: 628255903875072052

The_chickenmaster
2019-09-30 15:39:36 UTC  

Ripperoni

Σ5
2019-09-30 15:39:37 UTC  

👌

The Gwench
2019-09-30 15:40:05 UTC  

Lol. Whose laughing now? 😂

Σ5
2019-09-30 15:40:07 UTC  

it depends on your deffinition of exponent I supose

gooeySlimey
2019-09-30 15:40:21 UTC  

waowaowoaiawoaowoowowoowow

ElectroquasistaticMagnetoMan
2019-09-30 15:40:43 UTC  

He's spamming stabilizer

Σ5
2019-09-30 15:40:57 UTC  

in type theory I think function types (analagous to exponents) don't even have a set cardinality at 0 0

Σ5
2019-09-30 15:41:47 UTC  

Actually I think it's 1

The_chickenmaster
2019-09-30 15:42:06 UTC  

^0 isnt a theory tho its just a rule

Σ5
2019-09-30 15:42:23 UTC  

there are functions from 0 to 0 but idk if it has one function

Σ5
2019-09-30 15:43:02 UTC  

@The_chickenmaster rules = deffinitional
Not axiomatic

The_chickenmaster
2019-09-30 15:43:11 UTC  

Idk what axiomatic means

Σ5
2019-09-30 15:43:29 UTC  

Axiom is an assumption in a formal system

ElectroquasistaticMagnetoMan
2019-09-30 15:43:45 UTC  

😱

The_chickenmaster
2019-09-30 15:43:49 UTC  

I just know that thats just something thats agreed upon by the mathamitcal comunity

Ronsheckelson
2019-09-30 15:43:50 UTC  

Nothing to see???

ElectroquasistaticMagnetoMan
2019-09-30 15:43:53 UTC  

🤔

Σ5
2019-09-30 15:43:58 UTC  

one that is usually truested thru reason/induction

Σ5
2019-09-30 15:44:37 UTC  

an axiom is a definite first truth in a formal system

rivenator12113
2019-09-30 15:44:39 UTC  

another coincidence?

https://cdn.discordapp.com/attachments/484514023698726912/628255903875072050/RelativeAppearanceTheSunisabout400xbiggerthantheMoonbutisalsoabout400xfartheraway..jpg

ElectroquasistaticMagnetoMan
2019-09-30 15:44:55 UTC  

Cool story

ElectroquasistaticMagnetoMan
2019-09-30 15:45:13 UTC  

What's the odds

ElectroquasistaticMagnetoMan
2019-09-30 15:45:23 UTC  

@Σ5

ElectroquasistaticMagnetoMan
2019-09-30 15:45:35 UTC  

Do the math einstein

Σ5
2019-09-30 15:45:55 UTC  

some guy I talked to long ago argued that axioms are horrible because it's just a blind unproven assumption
And that he bases his reason on truth not assumption

Σ5
2019-09-30 15:45:58 UTC  

🤔

The_chickenmaster
2019-09-30 15:46:14 UTC  

Wut

Ronsheckelson
2019-09-30 15:46:59 UTC  

ALL of the stars are about the same size too??? None of them are 10-20-30 times larger even though they are vastly different distances and sizes???

Σ5
2019-09-30 15:47:14 UTC  

the thing is that all systems of logic have axioms

Σ5
2019-09-30 15:47:21 UTC  

Axioms are unavoidable

Σ5
2019-09-30 15:47:39 UTC  

logic itself has axioms

Cpt. Reynolds
2019-09-30 15:47:53 UTC  

keep in mind, all the stars (other than the sun) are also several trillion km away

ElectroquasistaticMagnetoMan
2019-09-30 15:48:03 UTC  

@Ronsheckelson a lot don't make sense does it

gooeySlimey
2019-09-30 15:48:04 UTC  

@rivenator12113 i disagree thats def a coincidence

Σ5
2019-09-30 15:48:26 UTC  

the law of excluded middle is an axiom

Σ5
2019-09-30 15:48:34 UTC  

One that I actually regect in some.cases

Σ5
2019-09-30 15:48:47 UTC  

type theory regects the law of excluded middle

gooeySlimey
2019-09-30 15:49:05 UTC  

river

The_chickenmaster
2019-09-30 15:49:26 UTC  

The world is dark and nothing will ever be the same

Drewski4343
2019-09-30 15:49:39 UTC  

Stars are the same size?