#serious-discussion

1 messages · Page 77 of 1

midnight kayak
#

I mean some subjects that are related to programming and coding

#

But I know nothing about coding

#

I'm pre uni

severe seal
#

What was the quick way to determine whether a given number was divisible by 4?

Like the digits added up to divisible of 3, it was divisible by 3

echo tundra
#

The number formed by last 2 digits (tens, ones) should be divisible by 4

severe seal
#

Got it

tight comet
#

What the fuck

#

<@&268886789983436800>

proven knoll
#

?

hallow quail
#

?????????

surreal sapphire
#

im gonna assume this was an honest mistake, but @proven knoll dont say stuff like this because a) this is weird in general and b) this is a mathematics discord

proven knoll
#

Alright

livid spoke
#

is it normal to have headache from too much math?

proven knoll
#

no

woven whale
#

@split pawn

fading zealot
#

It's a Fermat's last theorem “there is not enough blank space for my proof” joke
(btw he never wrote it down and the proof was independently discovered 300 years after he died)

woven whale
#

and he probably never even proved it

#

or had an invalid proof

#

cuz you can show that every 'elementary' proof of flt is immediately false

surreal sapphire
#

how?

woven whale
#

so you could repeat every single step (since it's elementary) and conclude that it's also true in the p adics, which it's not

split pawn
#

I just read "proof"

surreal sapphire
#

in the p-adics?

#

Z_p?

#

what is the definition of elementary for that

surreal sapphire
#

as soon as you use the fact that N is well ordered its not elementary anymore cathmm

#

is there some p such that there is a solution for say n=4

tardy nest
#

hii i was wondering if someone here had pure maths in highschool? i just wanted to cat a little because im taking it next year but im a little nervous and unsure

surreal sapphire
#

pure maths in highschool? do you have some syllabus?

tardy nest
#

wdym? like what topic we will be covering throughout the year or...?

surreal sapphire
#

yeah

#

im mostly just curious

tardy nest
#

oh ok, well idk exactly what we are gonna do but my freind's sister said that some of the things they did was: numerical paterns, anelytical geometry, eucathetic geometry, algebra, trigonometry and more

surreal sapphire
#

sounds pretty standard, you'll be fine 👍

tardy nest
#

ok thank you

#

do you by any chance have any advice for me abt physics?

surreal sapphire
#

i dunno, general advice is to just do the homework and you'll be fine

tardy nest
#

ok thank you then

tiny saddle
neat lintel
amber cape
tardy nest
#

i think its good but it also depends on other factors whether this'll work

neat lintel
#

I just actually watched the video and my opinion has changed it's actually || whale shit ||

tiny saddle
neat lintel
#

How to absorb textbooks:

By not reading them

Wow thanks

#

The person in that video(or owns the channel) sells gum and advertises it as something that will increase your intelligence.
https://getneuro.com/

echo tundra
hallow quail
tiny saddle
#

Yeah... was thinking so too, on paper it sounded nice but when I tried it tdy it didn't rlly work out for me

#

So I asked around to see if it's a "me issue"

hallow quail
#

honestly tho just "memorising" strategy is kinda meaningless

#

its better to actually understand it

alpine kindle
#

real secret to how to absorb textbooks: ||do the fucking exercises why aren't you doing the exercises they're there for a reason do them||

hallow quail
#

more enjoyable

echo tundra
#

It's basically describing comprehension/passage skills where you read the questions first and then check the theory for relevant stuff later

echo tundra
hallow quail
tiny saddle
reef carbon
#

#help-30 message @neat lintel на будущее: у нас запрещено списывать на экзаменах, контрольных и т.п. так что зря вы упомянули, что у вас зачет

bronze wedge
tight comet
#

VMM why are you pending

bronze wedge
#

idk? I clicked a button I think

tight comet
#

owo

manic crater
#

uwu

tiny saddle
#

Elo hoomans

alpine kindle
#

glicko2

#

how are you doing

crude torrent
#

embed error

stuck crown
#

<@&268886789983436800> COME DISCUSSY IS IN SHAMBLES

hasty peak
fresh solar
#

anyone happen to have an AMS account and could share a pdf?

neat lintel
#

Mogli zhe pomoch chelu

reef carbon
#

o bože moj, a možno kirillicej pisat, a ne vyrviglaznym translitom?

#

а вообще dura lex, sed lex

neat lintel
reef carbon
#

а

#

тогда ладно

neat lintel
#

never let em know what you said

vapid pilot
#

People cheated on the OBMEP 💀

prisma swallow
#

what is OBMEP?

vapid pilot
#

The Brazilian Mathematical Olympiad

#

Where more than 10 million students participate every year

little vine
#

That's a lot

jovial ember
#

Chmonkey

zealous garden
#

Based!

sleek pagoda
#

Are there any coding languages that basically are just math functions and logic functions?

neat lintel
torn willow
#

You probably want lisp

#

or Haskell

sleek pagoda
#

I’ll check it out

civic delta
#

julia is pretty nice

split island
#

sigh

#

<@&268886789983436800>

ionic star
#

second haskell rec

#

first J rec

muted rivet
#

anyone have any idea what this PID is asking of me and what this all mean?

I have conducted a test of this process by putting the controller in manual mode and applying a step change to the output from the controller. The output signal went from 10% to 26%. In this process, I obtained the step response, which is shown in the attachment, measured as a percentage of full scale.

As I am not very familiar with similar processes, I have a couple of questions about its feasibility.

What type of process is this?

What are the mathematical formulas for the time function and transfer function?

Calculation of the corner frequency.

Calculations for the amplitude function and phase function for the corner frequency.

And a Bode diagram for the process.

i do have a graph of the PID proses aswell

alpine kindle
#

what do you mean by pid

#

because i don't think it's principal ideal domain

#

@muted rivet

#

this looks like an engineering thing and so i doubt people here are going to be particularly able to help you

tight comet
tiny saddle
muted rivet
#

I have tried but there where no respones and someone dm me an dtold me to try maths since it is by far the most populare and active of the branches

surreal sapphire
#

but its a math server

#

you probably want physics or EE

muted rivet
#

true I guess the reasonong was that the
the mathematical formulas for the time function and transfer function
Calculation of the corner frequency.
and
Calculations for the amplitude function and phase function for the corner frequency.

are related to math, the math sure can solve the problem with the right information but the problem of accusing the corresponding information needed is probably more inherent to EE

bronze pelican
#

Moderators getting pinged a lot lately

bitter ice
#

Its great

zealous garden
hollow wren
#

what math is required for cryptography? @zealous garden

zealous garden
#

I don't know cryptography very well, I assume you need number theory

woven whale
surreal sapphire
#

it depends

#

a lot

alpine kindle
#

@zealous garden what are your thoughts on clifford algebras over the p-adics (pinged due to request for more pings)

storm sage
#

@zealous garden how do I track small animals using RFID technology

hollow wren
#

general math needed for it

surreal sapphire
#

it depends on the specific subfield you choose

#

at the very least you need to know some basic number theory and probability theory

#

and then depending on what you care about you need a lot more number theory

zealous garden
#

I will tell you I have those as something I want to consider

hollow wren
#

I will look into Number Theory more, thanks

zealous garden
cursive token
#

clifford algebras are better than p adics

surreal sapphire
#

p-adics are just power series

cursive token
#

the former explains why antiparticles exist

#

the latter is just a waste of time

zealous garden
#

Yes, geometric algebra is a powerful thing

#

But this isn't a question of comparisons

#

Because the two are not in competition

cursive token
#

oh is ally literally asking about Cliff_n(Q_p)

#

my god the horror

storm sage
zealous garden
storm sage
#

Lol

alpine kindle
#

well

#

Cliff_n might not make sense

#

what do quadratic forms over the p-adics look like

neat lintel
#

programming languages with no variables are just too good man

warped leaf
woven whale
#

brainfuck

neat lintel
#

haskell

#

it technically has variables btw

river moon
#

depends on the field and what you do as an undergraduate mathwise

#

sometimes it's alien language, sometimes it's manageable

modest rune
#

faster, harder, and grades usually matter less

velvet dagger
#

Harder better faster stronger

river moon
lavish hull
#

Im reading paper called the kelly criterion

neat lintel
#

ok

neat lintel
#

Improper integrals are making me lose my mind

tiny saddle
#

"it's just an integral with a limit, surely it does no harm...."

marsh sand
#

uga

mint patio
#

Is there any way the torus in the server icon can be inked a bit so it stands out against the background flag?

lapis dune
#

I was trying to figure out a nice way to say it, but yeah

#

as it stands I think it looks really wonky

echo tundra
#

Was the torus icon always the same cause it looks weird

tight comet
#

Any of you with editing skills

#

If you do you can do it ig

#

And send it to mniip

mint patio
#

I believe we’d need the file for the gif to do that

tight comet
#

I'm pretty sure mniip just changed the torus to rainbow and put a trans flag background

#

so you're offering?

#

ask him hmmCat

mint patio
tight comet
#

Yes the contrast is not great for this one

mint patio
tight comet
#

good thing I dind't ping mnoop then

mint patio
#

YES VERY GOOD THING 💀

echo tundra
jovial ember
tight comet
#

Rainbow on black is contrasty

#

Now the reds and pink mix to the eye

#

Pretty sure it will fail web contrast checker

jovial ember
#

I’m just saying he didn’t change it to rainbow for this pride month

tight comet
#

o

#

ok

tiny saddle
#

nani

#

istg this tho opencry

image.png
hollow topaz
#

I have a suggestion to improve the logo as it looks a bit congested now. Instead of having the blue-pink-white background, we can have blue-pink-white strips around the torus. What do you folks think? Would that look like a more aesthetically pleasing design?

tiny saddle
warped leaf
tiny saddle
warped leaf
#

you right

tiny saddle
#

Prestigious calculus clopencry LMFAOOO THAT GOT ME RLLY GOOD

warped leaf
#

is it just me or does precalculus sound cringe

tiny saddle
#

It is

#

Heck

muted knoll
#

premature calculus

tiny saddle
#

The precalculus channel discusses anything BUT precalc

hasty peak
warped leaf
#

yuuur

neat lintel
warped leaf
#

slimshady in the buildin

neat lintel
#

Precalculus has nothing to do with calculus

hasty peak
warped leaf
#

what is the etimology of calculus?

#

it sounds so damn good

neat lintel
#

calculate

warped leaf
#

it means like stones right?

#

they used stones for abacus

neat lintel
#

yus

warped leaf
#

studying calculus X

#

studying real analysis without formalism O

scenic patio
#

@white thorn yes

#

good

#

with

#

21

#

next question

#

what is a what is b what is c

#

what do you mean by b 2

#

what is b

#

then a + b 2 + c 2 is just a + b 2 + c 2 itself

#

you're welcome 🥰

sharp compass
#

6

scenic patio
#

the answer is probably 21

#

but the probability... figure yourself

sharp compass
tiny forge
#

Also 21

alpine kindle
scenic patio
#

great

#

thanks

#

I'm very glad

#

🥰

long matrix
#

can we just ping mods on trolls rather than entertain them

scenic patio
#

there's no need to

#

it'd be disturbing mods

long matrix
#

The chat is being flooded

scenic patio
#

bruh

vapid sentinel
#

what?

neat lintel
#

💀

long matrix
#

<@&268886789983436800>

scenic patio
#

now this is where I'd request a mod here

velvet dagger
#

That was fast

long matrix
#

Couldve saved time by doing it earlier

scenic patio
#

honestly earlier I thought he was just being a silly goose and no harm

cold needle
#

Ban

vapid sentinel
#

that's a nice kick

scenic patio
#

that's a nice kick

tight comet
#

not sure but even myself am getting annoyed

long matrix
#

no u

tight comet
#

I thought I'd be stronker against the ambiguous and not-so-ambiguous hate

warped leaf
#

whats the drama

#

spill the tea

tiny saddle
#

Funny at times ngl

#

But if in excess it does get annoying

twin current
full cloud
#

Hi

mental stratus
#

hi

neat lintel
#

Im probably the most proud of this flash creation.
Its a live graphing calculator that lets you adjust the coefficients in real time. This was 3 years (2008) before desmos came online. I should have brought this to market back then 😫
Hosted on newgrounds because where else can I share SWF files?
https://www.newgrounds.com/portal/view/886232

lavish hull
#

It isnt original

#

but its still really fun

#

i made a grapher in roblox when i was younger

#

and i added a feature that detected asymptotes

#

also made a vector field grapher in 3d

#

im mentioning this because i find it interesting that we did similar things

light thorn
#

I think the biggest problem that I have had with algebra, and math as a whole, is trying to understand the logic behind working it all out. I can learn to factor, simplify, expand, esc. but that won't mean anything if I don't know when to do it.

jovial ember
#

Chmonkey

teal flax
#

where'd GTBOT go

neat lintel
neat lintel
granite hound
#

Foundations are kinda rough tho

cold needle
#

huh

neat lintel
sharp compass
#

hello

reef elm
jovial ember
#

Mirza

reef elm
#

chmonk

#

🪑 👨‍🦲

jovial ember
#

thecutiepie

#

That’s a bald guy not a monkey

reef elm
#

its a monk

jovial ember
#

Oh I see

#

Chair monk

reef elm
#

among us

jovial ember
#

mogus

reef elm
#

how have you been

jovial ember
#

I thought your discord account got b& or something

#

I’m good

reef elm
#

i have like 7

jovial ember
#

Wow

reef elm
#

no i got busy with uni hmmCat

jovial ember
#

Maybe they should ban your accounts

#

Oh you went to uni

reef elm
jovial ember
#

Last I remembered you were applying

reef elm
#

yeah

jovial ember
#

Or unsure of where you were going or something

reef elm
#

im glad i went to where i did its cool here

#

its a liberal art university so we get a well rounded education

#

im studying as a computer engineer hmmCat

#

like my parents

jovial ember
#

Is it in Pakistan

reef elm
#

yes

#

its in karachi

#

so i have my own apartment there and everything

jovial ember
#

Oh neat

reef elm
#

i get the full karachi experience

jovial ember
#

Like actual apartment?

reef elm
#

7 days without water

jovial ember
#

Swag

reef elm
#

during mids

#

yes actual apartment

jovial ember
#

Is ur place like 10 sq ft

reef elm
#

no its pretty big

jovial ember
#

Oh nice

reef elm
#

2 bedrooms, a kitchen

#

two bigger rooms

jovial ember
#

Wtf

torn willow
#

Nice

reef elm
#

20k pkr

torn willow
#

Is it shared?

jovial ember
#

You share it with people?

reef elm
#

which translates to like

#

70 dollars

jovial ember
#

,w 20000 pkr to usd

reef elm
#

yeah one of my cousins lives with me

fathom swallowBOT
jovial ember
#

Wtf

reef elm
#

: )

jovial ember
#

BRB moving to Karachi

torn willow
#

Ok, 20000 pkr must be a lot there

reef elm
#

chmonkey gets robbed at gunpoint

torn willow
#

Consider 1 pkr ≈ 1 inr

jovial ember
#

My rent is over 2,000 dollars

reef elm
#

2 pkr is 1 inr i think or something

#

our economy is more screwed

jovial ember
#

,w 1 inr to pkr

torn willow
#

,w 20000 rupees to usd

reef elm
#

nice

jovial ember
#

Wow thanks

fathom swallowBOT
jovial ember
#

Dangggg

#

4:1

reef elm
#

called it

jovial ember
#

3.5:1

#

I guess

reef elm
#

🦢

jovial ember
#

How’s life besides that

reef elm
#

but yeah my tuition is also pretty cheap

jovial ember
#

Are you Mirzaing everywhere

reef elm
#

yeah its pretty cool i guess

torn willow
#

What does "cheap" mean there

reef elm
#

1.5 lakh per semester, i have to pay 70k every half semester

#

which is 250 dollars per installment i guess

#

we have like

#

heated swimming pool and stuff

torn willow
#

Isn't that very high in the Pakistan context

reef elm
#

nah its fine

#

its about what govt unis ask for

#

like NUST, GIKI costs more

torn willow
#

What's your dad's salary like

reef elm
#

plus we have more facilities

#

hmmCat not going to talk about that

torn willow
#

Ok what's the average salary like, over there

reef elm
#

i do not know actually

jovial ember
reef elm
#

lol

#

quant getting married hmmCat

jovial ember
#

Basically what I’m saying is that DraK is proposing, I think

reef elm
#

i am organizing a math event as well actually

torn willow
#

mb it's/4

reef elm
#

for the highschool kids hmmCat

torn willow
#

I thought it was x4

reef elm
#

a combinatorics workshop

jovial ember
#

Math
Integrals
Remainders
Zeta functions
Abelian groups

#

The MIRZA event

reef elm
#

lol

#

we're gonna teach them like pigeonhole principle

#

we'll see

torn willow
reef elm
#

the workshops have not been made yet

torn willow
#

It's 1 M PKR apparently

reef elm
#

that reminds me I need to do that soon diligentBleak

jovial ember
#

Doesn’t Mirza mean like prince or some shit I forgor

#

Prince princess idk

#

Something like that

torn willow
reef elm
#

person of royalty

reef elm
torn willow
#

Ok I am absolutely moving there

#

That's cheap af

reef elm
#

inb4 drake gets shanked

jovial ember
#

Won’t you become resented for being Indian or something

torn willow
#

Indians and Pakistanis look alike

reef elm
#

it is cheap but it is kind of shady as well hmmCat

#

the union here is sus

torn willow
#

Well Indians, Iranians, Pakistanis, Bengalis and anyone in the South Asian region look alike

jovial ember
#

Iranians?????

#

Wat

reef elm
#

among us

torn willow
#

Yeah people mistook some Iranian personality as Indian

jovial ember
#

The Iranians I’ve seen do not look like Indians and Pakistanis

reef elm
#

well these borders are pretty new tbh

#

for a long while it was the same general area hmmCat

jovial ember
#

I see

reef elm
#

though there is variation between people in south asia

jovial ember
#

Iran should’ve kept the name Persia

reef elm
#

yeah i wonder why

#

its not persia

torn willow
#

This guy will fit right in India, for example

Screenshot_2023-06-02-15-07-21-62_3aea4af51f236e4932235fdada7d1643.jpg
jovial ember
#

Huh

reef elm
jovial ember
#

Maybe the Indians that come to America all have much darker skin or something

#

I would not think he’s Indian at all

reef elm
#

pathans blow people's minds

jovial ember
#

What’s a pathan

reef elm
#

a guy from northwest pakistan

#

pashtun

#

they are like

#

white af

jovial ember
#

I see

reef elm
#

whiter than white hmmCat

jovial ember
reef elm
#

yes

#

amogus

jovial ember
#

Mongus

#

Did you just finish up your first year?

reef elm
#

there are surprisingly a lot of pathans in karachi

#

and the area i live in is majority pathan

#

and somehow also shia pathan which blows my mind

reef elm
#

it was crazy

torn willow
#

I realised I am actually not used to seeing dark skinned people here

torn willow
reef elm
#

we had 4 projects and i was carrying all of them screams

#

previous semester that is

#

first semester was ez

jovial ember
#

Oog

reef elm
#

bcs it wasn't graded

torn willow
#

Expect to do that a lot in engineering

#

Then what's the point

jovial ember
#

Even in school Pakistani guys just let the girls do everything

reef elm
#

yes our uni is based

jovial ember
#

😔

reef elm
#

first esemester is ungraded

torn willow
#

Lovely

reef elm
torn willow
#

Now only if that were the case here, my gpa would be 40% higher

reef elm
#

lol

jovial ember
#

You can let girls do your work at your uni too

reef elm
#

I finished with 3.9 gpa by the way kekw

#

not that i am gunning for gpa but it was nice

torn willow
#

You guys use the 4.0 system?

reef elm
#

yes

#

this uni is very inspired by usa or something

torn willow
#

India must be the only country that does 10.0

reef elm
#

we have learn abroad program with texas a&m and stanford hmmCat

jovial ember
reef elm
#

one of my friends is going to stanford for his semester

jovial ember
#

ShiN talks about it

#

But it’s like just % in the class or something

reef elm
#

wat 10.0 gpa monkaS

jovial ember
#

But same idea

#

Mirza

#

Don’t go to Texas A&M

torn willow
#

gpa conversions must be a shitshow

jovial ember
#

Texas monkey

reef elm
#

lol

jovial ember
#

As a girl monkey

torn willow
#

What if Texas A&M had offices in places other than Texas

reef elm
#

I mean houston is like

jovial ember
#

As foreigner monkey

reef elm
#

diaspora hotspot

torn willow
#

Big companies always do that no?

jovial ember
#

Yeah but Texas

reef elm
#

Also i have a house in houston hmmCat

torn willow
#

Are all the offices in Texas or something

jovial ember
#

Mirza rich moment

reef elm
#

amogus

jovial ember
#

Mirza is royalty moment

reef elm
#

i was born in ohio

jovial ember
#

Mirza’s dad makes 100m pkr moment

reef elm
#

lole

#

flecks

jovial ember
#

Made in Ohio

reef elm
#

lole

#

average ohioan

torn willow
#

100M pkr is actually a realistic goal

reef elm
#

i don't remember anything other than pakistan though 🇵🇰

#

i remember I went to the interview for my uni

#

and my uni has those faucets that like

jovial ember
#

Should I move to Pakistan

reef elm
#

turn on when u put ur hand underneath them

torn willow
#

Can you tolerate heat

#

And water shortage

jovial ember
#

Yeah

#

No

#

I mean idk

#

I haven’t had water shortage before

reef elm
#

and it took me way too long to figure out how it operates

#

also elevators hmmCat

#

p sus

jovial ember
#

I can hang out with Mirza in Karachi

reef elm
#

karachi try not to get robbed challenge (hard)

torn willow
#

I imagine racism might be big in Pakistan

jovial ember
#

EZ

reef elm
#

this imran khan situation is crazy

torn willow
#

Like it is in India

jovial ember
#

Racism to who

torn willow
#

Foreigners

reef elm
#

actually not that bad afaik, i have facutly who are foreign hmmCat

jovial ember
#

😮

reef elm
#

and my friends panic so hard

torn willow
#

We have foreign students here

#

They are all from Bangladesh

reef elm
#

when i just have to walk home bleakkekw

jovial ember
#

Wtf is shahrah e faisal

reef elm
#

its like the main road of karachi

#

karachi is like

jovial ember
#

Oh

reef elm
#

half planned half accident

jovial ember
#

What’s imran khan

reef elm
#

former prime minister

#

was like

#

voted out or something

#

and in place shahbaz sharif was put in

torn willow
#

I don't know why

reef elm
#

shahbaz sharif, brother of nawaz sharif, famously involved in panama papers

torn willow
#

My workplace has a 2 monitors setup

jovial ember
#

What’s Panama papers

#

😭

reef elm
#

pakistani politics has no heroes

jovial ember
#

Me not knowing anything

reef elm
#

something something money laundering

jovial ember
#

Swag

torn willow
#

Well it's papers that reveal some dark secrets of some big political figures

reef elm
#

i dont watch the news

jovial ember
#

He was on the grindset

reef elm
#

yes lol

torn willow
#

I think Jackie Chan was on them

reef elm
#

almost all pakistani politicians live abroad by the way

torn willow
reef elm
#

mostly in england

torn willow
#

Why UK

jovial ember
#

My big dark secret would be that I have a chair monkey persona and spend way too much time on discord interacting with like 18 yr olds on a math server

reef elm
jovial ember
reef elm
#

i am still 18 hmmCat

#

will turn 19 soon

jovial ember
#

At least you’re not 17 anymore

reef elm
#

true

#

imagine being 17, cringe

torn willow
#

I will turn 21 soon

jovial ember
#

Big cringe

torn willow
#

AKA old

reef elm
#

9 + 10

jovial ember
#

21?

reef elm
#

yes

torn willow
#

Yes

reef elm
#

either my age or drakes age

jovial ember
reef elm
#

chomsky

jovial ember
#

That’s me

reef elm
#

what the hell is type theory

jovial ember
#

Idk

#

Types or something

reef elm
#

same

jovial ember
#

What’s a type? No one is able to define it

reef elm
#

type theory is when

#

i write theory

#

on a keyboard

torn willow
#

What if you could define N over set definitions?

#

That's type theory

reef elm
#

i dont understand

jovial ember
torn willow
#

Ok that's incredibly normie

reef elm
#

okay whats a homotopy type theory

torn willow
#

Ask mniip

reef elm
#

no

jovial ember
#

Homotopy theory and type theory

#

Have a baby

reef elm
#

i looked at an article

jovial ember
#

Where will Estonia go with category theory next?

reef elm
#

and its all just guys computing pi(S^1)

jovial ember
reef elm
#

or pi_4 (S^3) or something

#

what the hell is pi_4

jovial ember
#

Homotopy classes of maps from S^4

reef elm
#

Hm

jovial ember
#

Technically some base point stuff but it doesn’t matter

reef elm
#

and then pi_4(S^3) is those maps' action on S^3?

jovial ember
#

No

#

Those classes of maps into S^3

reef elm
#

OHHHH

#

it forms a groupoid structure or something?

#

or monoid

#

inverses won't exist under something like that right

bronze pelican
#

Hi mirza

dapper plume
#

wait

#

does anyone here know algebra 1 stuff?

jovial ember
#

It’s a group

coarse slate
glass notch
#

this question just popped into my head, but why do we learn limits first in calculus instead of integrals or derivatives?

surreal sapphire
#

both of those notions require knowing what a limit is

glass notch
#

i asked this to my classmates and they said that integrals were invented first, so technically a formal definition of limits wasn't created yet

#

therefore you can technically grasp the ideas of integrals before learning what a limit is

deep mango
#

It seems kind of silly to learn something before you actually know what it means though

reef elm
#

howru

bronze pelican
#

I'm 👍

reef elm
#

u r in grad school now right

jovial ember
#

He’s entering year 3

#

☠️

reef elm
#

ewll im technically not wrong

jovial ember
#

True

#

True dat true dat

hollow topaz
#

Logo looks very pretty. Good job to whoever designed it!

compact tartan
mint raven
#

There are over 100000 people on this sever

#

Why would I be here 24/7 (That was 1 am for me)

long matrix
#

how du even notice that msg wg

reef elm
#

What i'm reading here sounds too good to be true hmmCat

#

Like there is a correspondence between programming, homotopy, and also logic

#

what's the drawback hmmCat

bronze pelican
long matrix
#

mrow

bronze pelican
#

I'm an old man working on old mathematics

long matrix
#

no ur a cute anime girl, confirmed too many times

torn willow
compact tartan
woven whale
reef elm
compact tartan
#

as in, when you've proven something, it is important how you proved it, rather than just simply the fact that you did

long matrix
hasty peak
reef elm
#

yes i have heard it is hard to formalize proofs in proof assistants

#

so that might be a problem hmmCat

jovial ember
#

Olduwu

alpine kindle
warped leaf
hasty peak
compact tartan
granite hound
#

Gotta be careful with your type systems

#

Don't wanna make Bertrand Russell mad

#

Hey guys, I just proved the collatz conjecture!

X := X -> Collatz

X -> X
X -> (X -> Collatz)
(X -> X) -> Collatz
True -> Collatz
Collatz

🙂

mint patio
compact tartan
# alpine kindle hm how exactly

A basic example of this comes up when working with sum types. If you have a type $X : \Type$ then a fibration onto $X$ corresponds to a family $P : X \to \Type$ (selecting fibers), and a total space $\sum_{x:X} P(x)$

fathom swallowBOT
compact tartan
#

Elements of the total space can be constructed by choosing an element $x:X$, and an element of the fiber $y:P(x)$. Then $(x; y) : \sum_{x:X} P(x)$

fathom swallowBOT
compact tartan
#

This is how you would construct e.g. "subsets" of the type X. Choose a family of fibers that contains at most 1 element everywhere

#

Now the question is when $(x; y) = (z; w)$. You may be tempted to assume iff $x = z$ and $y = w$ but that's not it.

fathom swallowBOT
compact tartan
#

For starters $y$ and $w$ have different types: $y:P(x)$, $w:P(z)$. If we know $x = z$ then we can turn an element of $P(x)$ into an element of $P(z)$, but how we do so will require us to specify a \emph{way} in which $x=z$, i.e. choose a proof term $p : x = z$. Then we can denote the resulting element $<trans>\nolimits^P_p(y) : P(z)$

fathom swallowBOT
compact tartan
#

so instead, we ask that $p : x = z$ and $<trans>\nolimits^P_p(y) = w$

fathom swallowBOT
compact tartan
#

geometrically, p is a path in X, and we need to lift it to the total space. Choosing homotopy inequivalent paths in X will produce homotopy inequivalent paths in the total space

#

If your proof of x=z is really big and ugly, you'll be forced to drag it around in the second part of the proof

#

cc @reef elm also ^

alpine kindle
#

ok that's cool

#

thx

reef elm
#

nice hmmCat

ocean harbor
winged token
#

pride month 😠

alpine kindle
winged token
#

priDE MONth

#

😠

alpine kindle
winged token
#

😠

neat lintel
#

not being weird is free

winged token
#

june 😠

frigid shuttle
#

ukraine flag in bio

#

entire existence immediately dismissed

eager reef
#

?

ionic star
#

ukraine flag has less than 6 colors

#

offensively minimalist

frigid shuttle
#

muh ukraine is good because russia is big meanie head

winged token
#

PRINCIPLES IN STATISTICAL LEARNING

wet stream
#

hello i am gay

neat lintel
wet stream
#

they better not be

tiny saddle
open oyster
open oyster
tiny saddle
#

this server supports LGBT

neat lintel
tiny saddle
#

but it isn't meant for LGBT

open oyster
#

Oh

tiny saddle
#

it's meant for mathing

#

but we accept and support LGBT

open oyster
#

?

tiny saddle
#

yes sip

open oyster
neat lintel
tiny saddle
#

male sip

open oyster
neat lintel
#

oh man

tiny saddle
#

it isn't necessary to get your "balls chopped off"

blazing pawn
#

most normal discussion poster

tiny saddle
#

well that was kinda awkward

open oyster
neat lintel
#

,av

fathom swallowBOT
#
TTerra#5291's Avatar

Click here to view the image.

open oyster
neat lintel
#

what do you want from me

open oyster
#

What does yo user mean

open aspen
tiny saddle
split island
#

bruh

neat lintel
tiny saddle
#

sully indeed

open aspen
#

Their username is propaganda if you're asking

neat lintel
#

?

#

it's just a standard manifold theory fact

split island
#

what's a manifold

neat lintel
#

what is an abelian group?

tiny saddle
#

NAWWWWW

split island
#

?

echo tundra
tiny saddle
open oyster
neat lintel
#

remembering why i had discussy muted

echo tundra
#

TTera are actually all manifolds smoothable or is this just propaganda?

tiny saddle
neat lintel
#

it would be boring if i told you

echo tundra
#

fair enough, Is this covered in spivak's book?

neat lintel
#

probably not in calculus on manifolds but most likely in the 5 volume series

split island
#

If you take high enough grit sandpaper to the manifold, it becomes smooth

#

just like my brain

#

after reading discussy

tiny saddle
echo tundra
neat lintel
#

definitely mentioned there

#

without spoiling the fun i will say this

#

it's kind of tricky to actually prove whether the answer is yes/no

#

very non trivial

echo tundra
#

alright

#

New quest it is then

neat lintel
#

it's pretty easy to find the answer in lee's book

tiny saddle
echo tundra
neat lintel
#

🤨

open oyster
#

Damn

split island
#

Discussion 2 is the worst discussion channel now

#

That's rare

echo tundra
#

My time's up, thanks for the updoot ttera

neat lintel
#

gl on ur journey

echo tundra
#

thanks

tiny saddle
#

Me: Cutely opens help channel and asks/j

pearl holly
#

@somber musk
isn't -1 = e^1pi, where did -1 = e^((2m + 1)pi*i) come from

#

I'm not understanding the 2m+1 part

fervent pebble
#

euler's identity

somber musk
#
  1. -1 = e^pi?
  2. e^(2mpii) = 1
pearl holly
#

e^{ipi}

fervent pebble
#

cos and sin are periodic

#

about 2pi

#

cos(x) = cos(x+2kpi)

somber musk
pearl holly
#

1pi

#

pi* i

somber musk
#

e^(2mpi * i) = 1

pearl holly
somber musk
#

So we can add 2mpi to the angle whenever we want

pearl holly
#

AHHHHHHHHH

#

Ok

#

I FORGOt

#

And tan's period is pi

#

omg yes, thank you guys 🥲

granite hound
#

Anyone got math stories from when they were a kid?

#

I remember getting really confused about counting to 100 in kindergarten, I couldn't figure out how to count past 20

long matrix
#

was doing a bit of collatz and got bored of writing the proof

vast surge
manic crater
#

e

bronze pelican
subtle marten
#

Hello everyone, I'm from Russia and I was interested in comparing curricula at universities. I am studying for a bachelor's degree in mathematical modeling in my first year. For example, one of the tasks of tensor analysis is to obtain a formula for calculating the number of independent components for antisymmetric and symmetric tensors from a mixed space E n p for any n and p. Mathematical analysis is easier, in the last work there were tasks for calculating the arcs of curves in the polar and Cartesian coordinate systems. Older people sometimes say that tasks of this kind used to take place in later courses, and not in the first one, as now. Therefore, it became interesting how it works in other countries.

If I made a mistake in the text, I'm sorry, I wrote it all in the translator.

steel basin
#

Math ?

mental stratus
#

Mæth

deep mango
steel basin
#

Nice

deep mango
#

But it varies

#

Many first year students could learn that stuff in their first year. But many curricula have it in the second.

#

In fact, many curricula don't even really go into real tensor analysis (beyond linear algebra / vectors / matrices / dual spaces) at all.

jovial ember
#

Their last words before they deaded

stuck crown
neat lintel
#

sip who got purged?

jovial ember
#

I imagine that’s their face as they got b&

stuck crown
#

Who deleted my mocha

jovial ember
stuck crown
jovial ember
#

I think Nami just purged the last minute of chat or whatever

stuck crown
jovial ember
#

I’m the reason mocha got added, isn’t that so cool. I made it an emote cuz I liked the photo then like 4 other ppl did

stuck crown
#

I just ate 2 bowl of rice

jovial ember
#

So they just added it

neat lintel
#

what happened here

stuck crown
jovial ember
#

So basically, I’m the most swag

stuck crown
#

Fire

jovial ember
#

Word

flat harbor
#

stew

#

and

#

rice

#

ans

#

5 fist sized dumplings

#

for lunch tomorrow

#

i ordered it at level 5 spiciness

meager furnace
#

How come every time I check this server someone's getting banned

#

How controversial is the math y'all be discussing

severe shuttle
rare falcon
#

it’s mainly just spammers

meager furnace
#

😔

zealous garden
placid slate
#

hello

forest vale
#

hello

bright galleon
#

CAN EVERYBODY PLS SING IMARIA HAPPY BDAY (my new bestie boo pls)
pls
she will be so thankful

neat lintel
bright galleon
#

TYSMMM

gray tendon
#

Hpbday

eager stag
#

Hallo discord

steel basin
#

Hello anyone there

jovial ember
#

Chmonkey

latent sage
#

<@&268886789983436800>

#

How do I speak with admin?

#

Can anyone pls point me in right direction? Right profile

devout nacelle
#

If you want to reach out to the moderators, you may DM @polar panther . If you want to engage with the server owner directly for anything server related, DM mniip

latent sage
#

Thank you kindly

echo tundra
devout nacelle
#

Hello numbpy!

#

I've been busy with the exam season lately

#

I hope to be around more often once I'm done, will have some time transitioning between undergrad and master

echo tundra
#

Ah, nice. All the best for your exams!

latent sage
#

May the odds be ever in your favor

midnight prairie
#

I need help

dusk frigate
#

E

#

E

quasi jettyBOT
neat lintel
#

So I want to ask if middle school knowledge is enough to solve a problem because I am thinking of solving it and chatgpt has been lying to me recently so I am not gonna ask it. Where do I go for this?

woven whale
neat lintel
jovial ember
neat lintel
# woven whale "a problem" is way too broad

Twenty-one girls and twenty-one boys took part in a mathematical contest.
• Each contestant solved at most six problems.
• For each girl and each boy, at least one problem was solved by both of them.
Prove that there was a problem that was solved by at least three girls and at least three boys.

neat lintel
neat lintel
#

Math server 85% male HUH

image.png
tiny forge
#

0.354% of the members participated in the survey.

torn sedge
neat lintel
#

Is this server not welcoming to non-males?

tiny forge
#

i dont know if thats the conclusion you can draw from that stat alone

torn sedge
sterile jay
#

I mean, the rate of gender non conforming/nonbinary folks is quite decent compared to the general population (I don t know any statistics, so I might be wrong here). For females... idk, I think it is a problem in the real world too.

tacit tulip
#

who wants to be invited to the collatz server

tiny forge
#

What goes on in the collatz server

alpine kindle
midnight prairie
#

How do

woven whale
tacit tulip
#

we will talk about and give info and try to solve it

#

how do i put the serve link

alpine kindle
#

<@&268886789983436800> are server links allowed

surreal sapphire
#

if they come up in discussion, sure

alpine kindle
#

ok

surreal sapphire
#

and someone asked for it, so 🤷

tacit tulip
#

pls join

#

this is a serious discussion

woven whale
surreal sapphire
#

i am sure you are very serious iAmABozo, but that's pushing it on advertising

ancient plaza
#

Sequel to general!

tacit tulip
#

sorry my bad

#

your right

split island
#

I just proved collatz

alpine kindle
#

if someone proves two of the millenium problems are equivalent, amd someone proves one of them, does that person get 2 million

tacit tulip
#

no way

split island
tacit tulip
#

proof

split island
#

I just ran through all the natural numbers backwards

mental stratus
#

you did WHAT?

edgy atlas
#

coinduction on the conatural conumber cofella

chilly hull
split island
chilly hull
split island
#

(It's actually more like $6)

chilly hull
#

relatable

surreal sapphire
#

if someone proves ZFC leads to a contradiction, do they get all the money

woven whale
surreal sapphire
#

you prove a statement

#

and then you disprove it

mental stratus
#

<@&268886789983436800>

topaz bough
#

https://imgur.com/a/nKJipEb

if the magnitude of the first fourier co-efficient always greater than the other co-efficients?
So, yes, is it true generally?

Context: My professor was talking abt this and he said |b_1| > |b_n| (n#1 and is a positive integer)

deep mango
#

Oh, someone answered you elsewhere

topaz bough
steel basin
#

Are you Tomas willson ?

#

Math

stuck meadow
#

i have a strange question... how i can reform music of kfcmc to math formula?

long matrix
#

kfc

echo tundra
#

apparently it's an album by "Album by KFC Murder Chicks"

#

close enough shuri

velvet dagger
#

We're talking here

fervent pebble
#

what if they go to a german/french conference and innocently ask for some water and are rudely greeted with sparkling??

#

i think it's vv relevant to grad students

velvet dagger
#

Yeah that happened to me once

#

Kinda traumatized still

fervent pebble
#

i am so sorry

#

i didnt realize i was bringing up past trauma

#

that's a horrible experience

#

ex-perrier-ence?

#

heh

velvet dagger
#

I don't even know Perrier water

alpine comet
#

Who even thought about greeting ppl with sparkling?

velvet dagger
#

Europeans

cinder zephyr
#

in Europe they charge for water at some restaurants

#

like why

alpine comet
#

If you can't afford coffee or orange juice, bottled water is default option

fervent pebble
#

The spring from which Perrier water is sourced is naturally carbonated,
i found the spring to hell shiver

haughty lintel
#

i think sparkling is good on the situation. Like at a restaurant sparkling over still

fervent pebble
#

honestly

#

no

alpine comet
fervent pebble
#

at that point just get a soda

haughty lintel
#

soda is like bad tho

fervent pebble
#

diet soda

#

idk

cinder zephyr
haughty lintel
#

still bad

fervent pebble
#

better than sparking

alpine comet
#

In France you have to ask for tap water to get it free. Otherwise they will bring bottled one, and you will pay for it

fervent pebble
#

I PAID FOR WATER AT A RESTARAUNT

#

IT WAS IN MUNICH

haughty lintel
#

idk ive never had soda in my life. Too sweet in the few times i have had it

velvet dagger
#

Nestle water is p good though it's been a while since I don't remember, Kirkland is a top tier drink, Aquafina is pretty good, Dasani is fine, Smart water is fine

#

What else

fervent pebble
#

LITTLE ITALIAN PLACE RIGHT NEXT TO THE MARIENPLATZ

velvet dagger
#

Sparkling is hell spawn

fervent pebble
#

I ASKED FOR MINERAL

#

AND IT WAS FOUR EUROS??

velvet dagger
#

Ozarka I feel like I've had once and was like ew

#

I've had another time and was fine

fervent pebble
#

fancy bottle tho

alpine comet
#

You got scammed brat 😄

haughty lintel
#

life water keeps poping up for some reason

fervent pebble
#

what am i supposed to do 😭

alpine comet
#

Next time bring a local 😄

haughty lintel
#

idk if they just have a monopoly over LGA but everytime i go there they only sell life water

fervent pebble
#

"oi matey this here watah ain't free??"

alpine comet
#

Water is always free in resto, you have to specifically ask for the free one.

#

Because it is fucking free

fervent pebble
#

"hallo, meine schone kellznerin. ist die wasser frei?"

#

i wouldnt actually say the first part