#Formal mathematics isfull of most underrated practices of superstitions, we must rise above delusion

1687 messages · Page 2 of 2 (latest)

lament summit
#

See ya 👋

feral panther
#

I dont see a problem here? sure learning axiomatized maths maybe useless for most people but how does that make it wrong? and superstitious? I am not doing maths to apply it somewhere as an engineer nor am I learning it do physics. why should I care about these things?

#

they are not

feral panther
#

no one is teaching category theory to regular kids? also common sense is not enough in so many cases

feral panther
arctic marsh
#

i wonder what he thinks of art

#

theres quite literally no reason other thsn it being interesting and amusing

wide yarrow
#

Well it’s fine if he doesn’t see the point, but saying it’s harmful is bonkers

feral panther
wide yarrow
#

like creeper said, art is rooted in abstraction

#

Well maybe « rooted » is an exaggeration but I mean it uses human imagination

#

Just like math

feral panther
#

there were mathematecians who would have agreed with him tbh

arctic marsh
#

but

feral panther
#

this was a quote by vladimir arnold

arctic marsh
#

sure, math can be useful in the real world, but pure math isnt fuelled by pragmatic use cases alot of times

#

idk why he demands it shud be useful when its mot the point

feral panther
#

oh @lament summit are you reincarnation or arnold bro?

#

Vladimir Igorevich Arnold (alternative spelling Arnol'd, Russian: Влади́мир И́горевич Арно́льд, 12 June 1937 – 3 June 2010) was a Russian mathematician famous for his work on the KAM theorem regarding the stability of integrable systems, who made important contributions in dynamical systems theory, catastrophe theory,...

feral panther
#

bro i am convinced rabijit is just vladimir arnold in another id

arctic marsh
#

sometimes math isnt done for practical uses

feral panther
#

well I have to go study some useless calculus, ill see you guys later unknown

simple escarp
#

and it looks like an aneurysm

lament summit
lament summit
#

Two people can likely ask the same question but two people can't by coincidence publish paper on calculus in a decade and one other still commenting on its discovery over the same continent out of nowhere

#

But I won't go into that

#

That's seperate discussions with historians

#

Someday in future

#

Also no one can show me pi or define pi logically if they can't show me circle or points

#

All fairytales and fairytales going on from the axioms , if the axioms are fairytales why should I move to the theorems they will be just an epic on fairytales

lament summit
lament summit
#

even the real contains the rationals. 🤞

#

But still is unreal nevertheless

simple escarp
#

if you need convincing of why the reals are okay I could try later

#

I have no regards for philosophy (in this scenario)

lament summit
simple escarp
lament summit
#

Really

simple escarp
#

you do

#

if the symbol weirds you out write it as an infinite series, integral, smallest positive period of sin

#

surely you don't disregard existence of sine do you?

livid river
#

@lament summit
basically math is like mathematical stuff

lament summit
lament summit
simple escarp
livid river
lament summit
simple escarp
#

I am not following a superstition, you are wrong and think you aren't.

#

You are being skeptical of the wrong things. I've heard many arguments bashing the reals and this is not one of the sensible ones

lament summit
lament summit
simple escarp
#

by highlighting something as something, you assert...

lament summit
#

I disagree that irrationals exist

simple escarp
livid river
lament summit
simple escarp
#

@livid river I'll give you 5 coin if you can educate him about the construction of reals starting from integers

livid river
livid river
#

@lament summit imagine you have already constructed Z in set theory
the construction is going to go in 2 parts:
Z to Q (easy) and Q to R (hard)

lament summit
simple escarp
#

diagonal of an unit square

livid river
#

Q is just Z prod. (Z-{0}) under a quotient by eq. relation ( (a,b) ~ (c,d) iff ad = bc )
@lament summit

lament summit
#

Lol 😆

simple escarp
lament summit
#

Come out of dreams you don't have ruler of infinite accuracy it's not Axiomatic World

simple escarp
#

I do agree you can never draw an unit square physically

lament summit
simple escarp
#

but rejecting things like this bars you from speaking of any length at all

simple escarp
#

anyways this is even less of a reason to challenge how we do math

lament summit
livid river
#

you define addition and multiplication in Q by:
(a,b) + (c,d) = (ad+bc, bd)
(a,b) * (c,d) = (ac, bd)
@lament summit as exercise, try proving these are well-defined (with respect to the equivalence relation)
you can think of these ordered pairs as (a, b) "=" a/b

wide yarrow
lament summit
#

Humans have been measuring lengths before agriculture

#

So that doesn't makes point here in any way

livid river
#

@lament summit ok now the hard part:
constructing R from Q

simple escarp
#

@livid river rabijit does not follow

livid river
#

oh

#

do i still get money

simple escarp
#

5 coin is a hefty bounty

#

you have to work for it

livid river
#

wait like
real coins?

simple escarp
#

you'll be able to get a sticker of your choice into the server

livid river
#

i don't use stickers

wide yarrow
simple escarp
wide yarrow
#

In this channel

livid river
#

@lament summit don't worry i believe you can understand this stuff eventually B)

lament summit
lament summit
lament summit
#

You don't get money for any pure mathematics

livid river
lament summit
livid river
lament summit
simple escarp
#

what?

livid river
simple escarp
#

we stopped because you weren't following

lament summit
livid river
#

i know the cauchy definition at least

lament summit
#

Or dollars

livid river
#

dedekind i have a vague idea

simple escarp
#

read like any book on introductory real analysis

livid river
simple escarp
#

it'll have a construction

wide yarrow
#

Just do a lecture on field completion atp

feral panther
lament summit
livid river
#

R is the set of cauchy sequences in Q modulo the equivalence relation (a_n) ~ (b_n) iff a-b converges to 0

lament summit
feral panther
lament summit
livid river
#

a cauchy sequence in Q is a sequence x_n of rational numbers s.t.
for all e > 0, there exists N natural s.t. for all a,b nat > N we have
|x_a - x_b| < e

lament summit
#

Extension to fuel blackboard chalks

feral panther
lament summit
outer pivotBOT
#
Top Users - Page 1/25
1. 79575459343222397342973957225325

Points: 9100

2. martingalian

Points: 7016

3. scilent413

Points: 4599

4. rabijit_14330

Points: 4184

5. ncladus

Points: 3258

elder nest
#

I'm the second

livid river
feral panther
lament summit
wide yarrow
livid river
feral panther
lament summit
wide yarrow
livid river
lament summit
wide yarrow
#

a Cauchy sequence in Q doesn’t necessarily converge

simple escarp
wide yarrow
#

so we create a bigger space such that Cauchy sequences converge in that bigger space

lament summit
feral panther
simple escarp
#

sum of [an] and [bn] is defined to be [an+bn]

wide yarrow
#

That bigger space is the set of real number

livid river
#

and we're not taking its limit
we're taking the number as the sequence itself (modulo the eq. relation mentioned earlier)
@lament summit
as i was typing this coffee guy told me you wanted to know about operations
sum of real numbers is sum of their sequences, and multiplication is multiplication of their sequences (both operations preserve cauchyness and eq. relation, if you want to check)

lament summit
feral panther
lament summit
#

Fine atleast tell me that can you order real numbers

simple escarp
#

we can

lament summit
#

Do real numbers have cardinality

simple escarp
#

yes

livid river
#

@lament summit you're not taking the LIMIT of the sequence
the irrational IS the equivalence class of a sequence

wide yarrow
livid river
#

ok i have to go
cya!!!!

wide yarrow
#

Which is a maximal ideal, so R is a field notably

feral panther
simple escarp
#

I feel like rabijit does not have enough mathematical maturity to understand how the reals are defined

#

it'll take some time

#

hehehe physicist

feral panther
lament summit
#

The fairytales of irrationals and the brainwash of academia since 19th to 20th century

simple escarp
#

never grew past the "concept chamkega"

lament summit
#

You just believe cause is herd 🦬

lament summit
simple escarp
wide yarrow
#

Let $C$ be the ring of Cauchy sequences over $\bQ$ and $\mathfrak{m}:={(x_n){n} \in C, \lim{n \to +\infty} x_n=0}$ then $\mathfrak{m}$ is a maximal ideal of $C$ thus $C/\mathfrak{m}$ is a field which we denote $\bR$

feral panther
#

dont say common sense

simple escarp
#

@lament summit will you be on campus around 7th jul?

#

we can talk in person

round saffronBOT
#

Rotator

lament summit
feral panther
feral panther
lament summit
zealous tundra
feral panther
#

why not use equivalence classes to define irrationals?

simple escarp
versed depot
feral panther
lament summit
simple escarp
#

@versed depot if you can get him to understand how R is defined I'll give you 5 coin

simple escarp
#

I'll do a few hours worth of work for you even

feral panther
wide yarrow
simple escarp
versed depot
zealous tundra
#

@lament summit do you know what rational numbers are

simple escarp
simple escarp
zealous tundra
lament summit
#

I know rational numbers

feral panther
#

coffey will pay your medical bill

simple escarp
#

scilent I have 120rs in the account

#

government isn't paying me

zealous tundra
simple escarp
lament summit
simple escarp
#

what the fuck does that have to do with anything

zealous tundra
feral panther
lament summit
#

Or whatever

simple escarp
#

you'll find barely any classical analysts

lament summit
#

Just don't go beyond rational and rational numbers

zealous tundra
feral panther
#

@lament summit I can;t show you a irrational number. its not a physical thing. are you happy?

lament summit
feral panther
lament summit
zealous tundra
#

Such numbers exist yk

simple escarp
#

guys one at a time

feral panther
#

@zealous tundra have you read the construction of real numbers in rudin?

lament summit
zealous tundra
simple escarp
#

ravi I don't believe you are fit to convince the guy yet

zealous tundra
#

Ik that it’s the collection of Cauchy sequences though

simple escarp
#

it's more fuel to fire

lament summit
zealous tundra
lament summit
zealous tundra
#

$\circ$

feral panther
lament summit
#

You can never again same thing 😭

round saffronBOT
#

ℝανιølι, Gøδ øƒ Yαøι

lament summit
#

So doctrinated

#

😅

feral panther
zealous tundra
lament summit
#

I am willing to see something noticeable

zealous tundra
#

@lament summit you have a very shiny brain, kind sir

simple escarp
#

rabijit are you a constructivist

zealous tundra
lament summit
simple escarp
#

yeah you are cooked

lament summit
zealous tundra
#

You can observe √2 irl

wide yarrow
lament summit
feral panther
#

@lament summit there is an entire community of mathematecians who also believe real numbers do not exist, you should look into that

zealous tundra
#

Do you want a proof that √2 is irrational

wide yarrow
#

That’s how you define p-adics as well it’s the completion of Q with a different absolute value

simple escarp
lament summit
#

There is no unit square in reality hence no root 2 (irrational)

lament summit
#

Root 2 is different based on context

zealous tundra
#

$\square$

round saffronBOT
#

ℝανιølι, Gøδ øƒ Yαøι

zealous tundra
#

The diagonal is √2 units long now

#

Where 1 unit is defined as the side length

wide yarrow
feral panther
zealous tundra
wide yarrow
lament summit
#

That's a square

zealous tundra
lament summit
#

😭

wide yarrow
zealous tundra
lament summit
lament summit
lament summit
zealous tundra
#

I can’t see it

lament summit
#

It's rubbish you got the point

lament summit
feral panther
wide yarrow
#

or it’s 2-eisenstein whatever

zealous tundra
#

x^2+2 = x^2-1 = (x-1)(x+1)

lament summit
wide yarrow
zealous tundra
lament summit
#

Don't turn maths to religion it isn't it never should be

zealous tundra
feral panther
#

what is math for you

feral panther
zealous tundra
lament summit
feral panther
#

@zealous tundra shut up or read all the 1000 messages

zealous tundra
lament summit
#

There is no disclaimer on any maths text book

zealous tundra
lament summit
feral panther
lament summit
zealous tundra
lament summit
zealous tundra
#

Isn’t probability theory legit based on empirical observations

feral panther
lament summit
zealous tundra
feral panther
#

@simple escarp bro can make ravi go awy until he reads the entire threads

simple escarp
#

@zealous tundra please stop

zealous tundra
#

Bye everyone

simple escarp
#

thank you

#

continue

feral panther
lament summit
#

What to do now

feral panther
#

@lament summit reply to me not him

lament summit
simple escarp
lament summit
#

Right so to me maths is Empirical+Axiomatic understanding of things with reasonsing and logic . But since all axioms are indirectly based on some person Empirical observations academia shoundt make it rigid like it does. It should go from empirical to axioms and axioms to Empirical and everyone should realise that at end of day we aren't trying to impose our beliefs on real world and instead we make beliefs based on the real world . Not saying to close Axiomatic standards but one should appreciate analytical solutions formal proofs as well as appreciate numerical solutions and "empirical proofs " proofs that don't require words I can show you one now

lament summit
#

And this is what oldest mathematicians of Egypt India Middle East view maths as also the Europe untill it's agression to close logic russels dream 19th century formalisation etc. that is influenced by church dogma as well if you go to history and thus is biased

lament summit
feral panther
lament summit
#

Now there is an obvious objection that empirical proofs lie sometimes cause you can see a snake as rope or rope as snake but so there is lies at deductions

feral panther
lament summit
lament summit
#

Recorded

lament summit
#

Both must work together

#

While reaching to conclusions

wide yarrow
supple loom
lament summit
#

If axioms are flawed whole deduction is flawed

#

Or if deduction has a flaw in a preceding step it's totally flawed

supple loom
feral panther
lament summit
#

You need both

wide yarrow
supple loom
wide yarrow
#

That’s because lack of rigorous justification bothers me somewhat

lament summit
#

Mathematical community have had serious backlashes in the past decades just because of glorification of deduction

wide yarrow
#

But during an exam you don’t have time so whatever

lament summit
#

And how many parellel lines can pass through it

lament summit
#

The arctangent series

#

How inefficient it is with calculus of limits

#

Vs how easy it is with Empirical proof it depends both tools are equally important

#

But today it has become a fancy to lean mathematics into formal proofs, there is a famous mathematician who faced problem with this that everyone knows

#

Ramanujan

#

Euler didn't do formal proofs either

#

It's later iterated and developed by academia

#

This inclination is harmful to mathematics and is impacting physics and sciences as well

simple escarp
#

it isn't

lament summit
#

Many researchers are conditioned with beliefs of real numbers and continuity so we try to enforce it in mainstream modern physics as well

supple loom
#

I 100% agree but proofs are needed for them to understand

#

And show them how it is working

lament summit
#

Empirical proofs can also explain and sometimes better

#

Like pascals triangle combinatorics or

supple loom
#

But ramanujan did explain some

#

He didn't had enough time

lament summit
#

By academia

supple loom
#

I think instead of criticising them blindly they should try helping them develop a formula

supple loom
supple loom
#

Politics and racism are cancer to science

lament summit
supple loom
#

Yea because that's people are dumb who can't allow other opinions

lament summit
#

Hmm

lament summit
supple loom
#

Maths do break

lament summit
#

But infact that arithmetic is actually leveraging modern world 🌎

supple loom
#

Even infinity can be find without limits

lament summit
#

Yes

#

Writing a symbol on paper to summarise a concept doens't means you can make sense out of it in reality or it exist or it is true

supple loom
#

I have a question what will happen if you cry like this on a random discord server

lament summit
#

That's should be a disclaimer in maths take book

supple loom
#

We can't change it

simple escarp
#

gapon are you too a pi disagreer

supple loom
#

I think what he is saying isn't right the education system is wrong

#

But the proofs doesn't need to be changed

lament summit
#

I can give sources to learn

feral panther
lament summit
#

You will be able to solve lorentz attractors with pen and paper if you reject pi

supple loom
#

What is your education man you look smart

simple escarp
#

that's the thing looks can be deceiving

lament summit
feral panther
lament summit
#

😁

lament summit
simple escarp
#

I'd call that pretty dumb

lament summit
#

In your casio or android

supple loom
feral panther
lament summit
#

That you use to check your anylytic solutions ironically

wide yarrow
feral panther
lament summit
#

I ain't lying about a single thing I told

#

Just raw facts

feral panther
lament summit
supple loom
lament summit
#

Humanity never used real numbers

#

Besides blackboard

feral panther
supple loom
feral panther
#

I am now curious @lament summit, what do you think about complex numbers

lament summit
supple loom
lament summit
wide yarrow
lament summit
#

They have nothing to do with real numbers they are infact more real than real numbers ironically

wide yarrow
#

I guess we are all in the Stone Age then

lament summit
#

🤣

feral panther
lament summit
feral panther
#

complex numbers are so much nicer compared to real numbers

wide yarrow
#

Okay, bro is def ragebaiting

lament summit
feral panther
#

but they are very much connected, after all it is homeomorphic to R^2

lament summit
#

Fact check

lament summit
#

It's unseen fallacy to impose continuity as a belief

wide yarrow
versed depot
supple loom
wide yarrow
versed depot
#

I figure if this thread isn't serious, I can just say wrong things here.

lament summit
feral panther
lament summit
#

That is a result of binomial expansion by falling factorials

supple loom
simple escarp
#

because the rationals have measure zero, all functions on rationals are continous almost everywhere

lament summit
simple escarp
lament summit
#

that's not even correct by formal mathematics also

feral panther
lament summit
#

Way ridiculous than calculus

lament summit
feral panther
lament summit
supple loom
lament summit
#

QED

lament summit
simple escarp
#

you complete dumbass

#

actually no you aren't complete

#

that goes against whatever you say

supple loom
lament summit
wide yarrow
feral panther
#

coffey please dont insult the man personally

lament summit
supple loom
simple escarp
simple escarp
#

YOU are a victim

lament summit
versed depot
feral panther
#

mb topology people, I am slightly stupid

lament summit
#

Be reasonable

supple loom
wide yarrow
lament summit
feral panther
lament summit
#

Funcfact you never need dirac delta function

feral panther
#

its just what they are called, what are you even on about

simple escarp
#

the harm caused by having jee as a way to get into places is absolutely stunning

lament summit
#

If you reject real numbers

versed depot
feral panther
lament summit
simple escarp
feral panther
supple loom
simple escarp
#

I will not

supple loom
#

You are looking stupid bro

simple escarp
#

that's fine

supple loom
lament summit
lament summit
feral panther
#

also goes for you rabijit, you have been judging and insulting everyone

feral panther
supple loom
#

Shit

lament summit
#

U need to solve 4 ODEs

#

U can check the media files

supple loom
lament summit
#

And solving them with calculus of limits will take guts out of you for real

supple loom
#

π=3

#

Lol

simple escarp
wide yarrow
simple escarp
#

crank on top of being whatever

wide yarrow
#

How does that work ?

lament summit
supple loom
#

Ok I feel dumb idk ODEs

lament summit
lament summit
supple loom
lament summit
#

ODE means ordinary differential equations

lament summit
simple escarp
#

calling all abstraction jargon is something that'll last you maybe another year at max

wide yarrow
supple loom
lament summit
simple escarp
simple escarp
wide yarrow
simple escarp
#

but i dont do this for money

lament summit
lament summit
#

Check sputnik crisis apollo education reforms

#

How it was tackeled

wide yarrow
#

You must be good at Fortnite

#

Because you crank

lament summit
#

Sometimes imitation game is valid

supple loom
#

Yea I don't understand shit of ODEs I struggle at calculus II

lament summit
wide yarrow
lament summit
#

But fine you can change the system only by rising in the system

wide yarrow
#

They are just being a contrarian

lament summit
supple loom
#

What is real analysis and complex analysis?

lament summit
wide yarrow
supple loom
#

I will learn that wait

lament summit
#

The equations ☝️

supple loom
#

Wait I need sequences for that oh fuck

lament summit
lament summit
wide yarrow
supple loom
#

Oh so it contains squeeze theorem

wide yarrow
supple loom
#

Sequence

supple loom
wide yarrow
#

Anyways, I am done with this channel

#

Have fun being a contrarian

supple loom
#

That's a fact you can't deny

wide yarrow
wide yarrow
lament summit
round saffronBOT
#

Pear Category Theorem

wide yarrow
supple loom
elder nest
#

I support this law in China that people with no official formation talking about certain topics on social media go to jail for 2 years. I won't discuss if 2 years is too much, if going to jail is too much, but tbh what I can be sure of is that going against the attitude of trying to have an opinion before knowing the topic is a nice fight to fight

supple loom
wide yarrow
#

$j:=e^{\frac{2i \pi}{3}$ is used a lot in electrical engineering

round saffronBOT
#

Rotator
Compile Error! Click the errors reaction for more information.
(You may edit your message to recompile.)

lament summit
#

It doesn't explains complex numbers itself

supple loom
#

Yes

lament summit
#

Let me show what is a imaginary number or complex number

elder nest
# elder nest I support this law in China that people with no official formation talking about...

So I think that you guys at school shouldn't be allowed to participate in any math debate that requires advanced knowledge, and basically to doubt the foundations of math requires to have certain knowledge. And if I was the owner here, you wouldn't be allowed to discuss this topic because what you are doing is basically to produce a random conspiracy theory against math and the academia because you can't wait for a few years to learn math

wide yarrow
round saffronBOT
#

Rotator

lament summit
#

Indorctinated perfectly by superstitious popes of church running academia of 19th-20th century

elder nest
lament summit
#

That's what comes out of your mind to throw rationale to throw logic and common sense

wide yarrow
lament summit
supple loom
lament summit
#

They were never part of it don't disrespect the way they do maths

elder nest
lament summit
supple loom
simple escarp
#

no wonder you can't do this shit in the bigger math server anymore

lament summit
#

Absolutely

simple escarp
#

they tend to allow less BS (at times)

lament summit
#

They are so rigid and brainwashed by academia

round saffronBOT
#

Rotator

lament summit
supple loom
#

I like how I can say shit to staff server and not get banned here and they also talk back

elder nest
#

I'm blocking them

lament summit
#

But you are judgemental coffee

simple escarp
#

you too

supple loom
#

I like the moderation this allows freedom of speech I can cuss yk

wide yarrow
lament summit
lament summit
#

These guys are just slaves of academia

simple escarp
elder nest
# wide yarrow Nero, did they do anything to you ? I mean they are a bit cranky but ultimately ...

My blocking policy:

  1. Pretending to have knowledge about something and not having it while being disrespectful towards somebody that has knowledge => Block
  2. Brainrot => Block
  3. Ragebaiting in intellectual environments => Block
  4. Having an unacceptable extremist ideology and finding nothing wrong about it => Block
  5. Embracing conspiracy theories and being unable to sort things out in a different way => Block

Points 1 and 5

lament summit
elder nest
#

People thought this is funny, but this is based on experience and I've found a ton of users like that. And no, they didn't harm me personally in any way, my problem is with the attitudes they have

lament summit
#

Don't blame or look the mirror

wide yarrow
lament summit
#

I was being polite seems beginning

#

Eyes are there to watch

versed depot
# supple loom Sybau bro respectively
  • Spretending to have knowledge about something and not having it while being disrespectful towards somebody that has knowledge
  • Ybrainrot
  • Bragebaiting in intellectual environments
  • Ahaving an unacceptable extremist ideology and finding nothing wrong about it
  • Uembracing conspiracy theories and being unable to sort things out in a different way
wide yarrow
#

He can block them if he wishes, that’s his decision

supple loom
simple escarp
#

lmao

wide yarrow
versed depot
simple escarp
#

that's not how that's used i think

supple loom
lament summit
versed depot
# supple loom Yea sorry mb

Respectively makes it sound like you were going point-by-point and saying "sybau bro" to each one, which is the opposite of respectful.

wide yarrow
#

Respectfully, i don’t respect you

lament summit
#

Ugh fine guys settle yourself i will be back

supple loom
lament summit
#

It's dinner time again 🍽️

wide yarrow
lament summit
#

See no brainrots

#

Please 🙏

#

Continue normal talks

#

Without inducing cortisols

supple loom
lament summit
#

A healthy discussion is destroyed but don't worry we can restart

versed depot
elder nest
lament summit
#

Yeah see ya at June 8

elder nest
#

You gave me the idea of trying to write a whole new policy enforcing those first letters

supple loom
lament summit
#

✌️

versed depot
wide yarrow
supple loom
wide yarrow
#

He explicitly said that reals are useless to humanity

supple loom
cyan wigeon
#

The closer I see, the Realer it gets

simple escarp
supple loom
#

Idk man what he mean I ragequit

wide yarrow
supple loom
wide yarrow
#

but for humanity as a whole

fervent forge
#

1664 messages, what the heck did I just read...

supple loom
supple loom
cyan wigeon
#

This whole chat should be uploaded on Wattpad

supple loom
#

Avg iq here was 150 when I didn't joined