serious-discussion

[long matrix]

ok whatever maybe soupreemum works

but limsup

[storm sage]

and how it's written

😭

[long matrix]

is how its done

[bright hill]

I think I pronounce it limsup in my head

but like

not sup as in soup

sup as in sup

[long matrix]

sup losers

[vocal ruin]

sup shuri

[long matrix]

sup cutey

[vocal ruin]

<

hi darq

[bright hill]

neko's a loser, confirmed

hi neko

[vocal ruin]

[long matrix]

nekoma

mama

[mental stratus]

limes superior

[vocal ruin]

limes? as in the cousin of lemon?

[little vine]

How did the street-smart analysts greet each other? "Sup"

[vocal ruin]

that's actually good lmao

[little vine]

That's if you pronounce it the other way

[vocal ruin]

but it is indeed pronounced as 'soup' isn't it?

[little vine]

"Sup G delta?

[mental stratus]

fk dynking lambda - pi theorem be hurting my head

[vocal ruin]

that is a theorem we do not talk about

[bright hill]

just black box that shit

[little vine]

Someone on here once criticized me for getting my degree just to shitpost and they aren't wrong

[storm sage]

what's that?

[vocal ruin]

the pi-lambda theorem?

[storm sage]

yeah

[bright hill]

it's when a pi system is in a lambda system

(or the oppsite)

[mental stratus]

the dynking lambda system generated by a collection that is closed under finite intersections coincides with the sigma algebra generated by that collection

[bright hill]

yea this

[mental stratus]

so we know already that dynkin systems are sigma algbera iff they are pi

[vocal ruin]

it basically tells you when a sigma algebra is contained in a particular 'system of sets'

sth sth dynkin system contains a pi system if and only if the sigma algebra generated by the pi system is contained in the dynkin system

[mental stratus]

so it suffices to show that the generated dynkin system is also pi

[bright hill]

anywho

[vocal ruin]

yeah, and moreover it gives you an easy route to prove two measures are unique. Just show that the sigma algebra of one is contained in the dynkin system of the other and boom, the theorem gurantees they are the same

[bright hill]

it's a dumb low tech way of proving some elementary stuff, it's not super important

[mental stratus]

i saw that question posted the other day lol

didn't know you were supposed to use this theorem

[bright hill]

you're not

you can use other theorems

[storm sage]

neat

[bright hill]

you can use just the uhh

monotone class lemma

[storm sage]

seems similar to the monotone class lemma

yea

[bright hill]

folland also used a different theorem to prove that outer measures extend premeasure uniquely or smth

but that's a bit different

at any rate, you can use all 3 to prove the uniqueness of the lebesgue measure

[vocal ruin]

caratheodory maybe?

we used caratheodory's extension lemma or theorem idr

[bright hill]

this one

folland didn't give it a name lmao

[bright hill]

oh google says you're right

[unborn bronze]

alright

[vocal ruin]

the server is very quite today

no one to talk to aaaaaaaaa

😭

[storm sage]

hey

[vocal ruin]

hi eric 😭

[storm sage]

you like jazz?

[vocal ruin]

jazz? depends on what jazz it is

you have reco?

[echo tundra]

I have a jazz playlist that spidey sent me if you want

[storm sage]

no I was just quoting the bee movie lol

[vocal ruin]

😭

[vocal ruin]

send

[echo tundra]

https://open.spotify.com/playlist/5DbfYpGBxaB6cchxVO7xCc?si=9b81263c4b914407

Honestly this is the largest playlist I've ever seen

Spidey really likes jazz Ig

[river moon]

only 315 tracks?

[echo tundra]

Yeah only 315

[river moon]

that's like 6.3% of my playlist

[little vine]

The Bootes void of Jazz

I respect the hustle but I could never really get into it

[echo tundra]

Same

I felt like it's kinda slow and not for me, I might have trash music taste but I like what I like

[jagged forge]

apple music deleted my library after i unsubscribed for a length period of time

[river moon]

hard drive master race

[little vine]

Same

[river moon]

I would probably like jazz if the songs weren't so repetitive every time you listen to one it feels like you already heard it somewhere

[vocal vessel]

That’s why I hate freestyle jazz. It goes on forever with the same thing over and over again.

[long matrix]

could this be divine judgement

[jagged forge]

i refuse to believe god would pass judgment on my collection of classical music recordings instead of someone’s stoner metal collection

[long matrix]

passing judgement on your make of device more likely

[jagged forge]

guess i was just the lucky one out of 1.5 billion

[echo tundra]

common apple L

Tbh I think all streaming services do this

[vocal ruin]

chat's ded

[neat lintel]

math-2

[ocean harbor]

@ chat revive

[neat lintel]

discussion 2 more active than 1

[oak quest]

Is there any active reading group for abstract algebra (Algebra by Michael Artin) ?

[tame egret]

nah just ping me 5 times to revive chat 💀

why do people use fruits in their user name

[tame egret]

discussion 2 always dies fast

[ocean harbor]

what if i don't

[storm sage]

there's one for dummit-foote in #events but idk if they are still accepting people

[eternal glen]

Afaik they are, we just finished 1.6
Chapters are pretty short and exercises not too difficult

[mint patio]

@neat lintel Yo

Have you used Abaqus or Ansys or NX or any similar FEA software

[little vine]

Wtf why wasn't I invited I'm in that book too

Ok I sent the dm

[neat lintel]

Nope not really

[static loom]

hopefully someone has a better suggestion than this, but one way you can do it:
throw each paragraph into google translate (or something like that)
then paste each section back into the document above the original section
put each in two separate functions, one called 'english' and another called 'romanian' or something like that, so you can selectively hide either section to maintain the original to refer to and also so you aren't throwing away the old version by toggling between the two functions

have you tried googling this exact phrase

[marble delta]

Google might think u mean lay-tex not lay-tek

[static loom]

lol

that sucks, good luck with that

[neat lintel]

you have to be really specific with googling LaTeX things or you might get porn instead of the language

happened to me a lot

[small dust]

that has never happened to me

[storm sage]

google knows what tterra wants

[static loom]

boxed in red latex what could go wrong

[small dust]

google doesn't know what i want then

[echo tundra]

Latex porn!??? Oh, ohhhhh I just realised what you mean

[rotund steppe]

I will not google this

I actually did and it was all math

[vocal ruin]

@dusky estuary hi

[dusky estuary]

Hi

[vocal ruin]

can you post your question again?

[dusky estuary]

If P leads to a contradiction, then we say not P is true, and vice versa. However, what if there's a statement P such that P leads to a contradiction, but not P also leads to a contradiction?

[young quartz]

[vocal ruin]

so $(P\lor \lnot P)\to \bot$, right?

[fathom swallow]

Nekory

[vocal ruin]

let's see what happens in boolean algebra

if i use material implication, assuming contradiction is 0

i get

[dusky estuary]

I mean, $(P \to \bot) \land (\lnot P \to \bot)$

[vocal ruin]

\lnot

i understand

[fathom swallow]

he77789

[vocal ruin]

it's the same thing

or breaks out as and in implication

$\lnot(P\lor \lnot P)\lor 0$

[fathom swallow]

Nekory

[vocal ruin]

so that's just $(\lnot P\land P)$

[fathom swallow]

Nekory

[vocal ruin]

that's just 0

so the whole statement is a contradiction

and hence your system is what we called inconsistent

in an inconsistent system, all statements are true (and hence false)

does this make sense?

(of course I am assuming the law of excluded middle)

[dusky estuary]

Ah I see. So, if I can derive such P from the axioms of a system, it follows that the axioms are inconsistent?

[vocal ruin]

yes

haha, deep questions

[mental stratus]

i said basis representation day yesterday, well i lied

it's today

and i think i have an idea of what i needa do

[echo tundra]

Bro stop spamming

[tame egret]

it was just a trick ||to make you spam|| and then people start talking again ;D ||chat revived||

[rocky shuttle]

meep

[tame egret]

meep

moop

[ocean harbor]

I don't like the idea tbh

[tame egret]

ok

[vagrant shoal]

/imagine prome child dad

[gusty bough]

miep

[tame egret]

muop meep

[tame egret]

I think we should || do nothing and wait || to revive chat

[ocean harbor]

@ chat revive helo

¯_(ツ)_/¯

[tame egret]

who pinged me

[ocean harbor]

your cat

[tame egret]

@#serious-discussion stop dying!!!

[ocean harbor]

:whenlifegetsatyou:

[tame egret]

you're playing geometry dash : D

[ocean harbor]

always

i do grind to the new account

[eternal sorrel]

what upside down T mean

nvm i think it's the contradiction symbol

[echo tundra]

Yeah

[mint canopy]

It means false

[long matrix]

upside down F for true

[sonic field]

you could always just talk to yourself in the ch

if it gets dead

just start working out math problems

be like

"OK. I have 4x+12=-10"

"Alright. So by property of cancellation we can do the thing where 4x+12-12=-10-12"

"Yeah that looks good"

"Now the 12s cancel."

"On the right we just get that -22"

[topaz schooner]

anyone think they help me with a geometry prove

[sonic field]

Look at all that chat and I'm not even finished

dawg geometry and me fight

[topaz schooner]

bro .... fr

like they asked for calcuations i got it

now they want this prove on the tringle and stuff

im lost...

[sonic field]

be like "bruh just LOOK AT THE TRIANGLE THOSE ARE TWO RIGHT ANGLES SEE"

nah but

geometry really definition based

start with your initial givens then run it down with definitions and theorems until your result pops out

[neat lintel]

The voices hae won

[zealous garden]

Triangles are trivial

In Euclidean geometry at least

[rocky shuttle]

Quadrilaterals are quadrivial

[little vine]

Slick

[zealous garden]

Name one interesting thing about a triangle

That isn't more interesting when you make it about quadrilaterals

I see parallelopipeds everywhere I go

[little vine]

A quadrilateral is just two triangles

[zealous garden]

That means a triangle is only half of a quadrilateral

Pathetic

[neat lintel]

What is euclidian geometry

[zealous garden]

Euclidean geometry is when

$g_{ij}=\delta_{ij}$

[fathom swallow]

wraithlord_kohonorable

[neat lintel]

Im 15 and have just gotten started on radians I know nothing compared to you guys

[zealous garden]

LMFAO

Okay

[rocky shuttle]

https://www.reddit.com/r/math/comments/168rn5f/a_cool_new_cursed_result_in_graph_theory/

[zealous garden]

Euclidean geometry is when straight lines look like straight lines

Wait no

I have a better one

[rocky shuttle]

triangle prism is more interesting than quad prism

[zealous garden]

Euclidean Geometry is when parallel lines exist and are unique passing through a point

An example of noneuclidean geometry is the surface of a sphere, all pairs of "straight" lines eventually intersect

I.e. if we both walk north we'll touch the north pole

[neat lintel]

This is the euclidean one right

[zealous garden]

No, non euclidean

Parallel lines don't exist

[neat lintel]

🐒

[zealous garden]

Triangles on the surface of a sphere have an internal angle sum possibly greater than 180 degrees

Try making a triangle with three 90 degree angles (on the surface of a sphere)

So this is a different geometry from the Euclidean geometry of 180 degree triangles, parallel lines, and all the normal stuff you're probably being exposed to

[neat lintel]

Alright

I think I have a very faint understanding of what it is now

Thanks

[storm sage]

euclidean geometry is normal

other geometry is dreamed up by devious mathematicians who want to deceive you

[zealous garden]

All geometry is normal

Even the degenerate geometries are perfectly natural

The only unnatural geometries are the ones in higher than 4 dimensions

[fierce abyss]

Or only 4 weird. >=5 they are too nice, <=3 also nice

[chilly hull]

why is 4d weird

[zealous garden]

Geometry is founded in the visual part of experience, which extends in its extremities to 4 dimensions

The visual part of experience is often non Euclid

[fierce abyss]

In the middle. It’s big compared with <=3, and too small compared with >=5. There is a book discussing weird topological properties of four dimensional manifolds

[zealous garden]

Higher dimensional topological tricks don't kick in

And lower dimensional tricks stop working

Homeomorphic to the sphere means diffeomorphic to the sphere, except in 4D (IIRC)

[storm sage]

look up exotic sphere

[neat lintel]

Anyone have knowledge of linear congruential generators?

[zealous garden]

Anyways 4D is perfectly normal

[dapper badge]

Exotic 7 spheres

[neat lintel]

Does anyne know my question's answer?

[zealous garden]

Even Dami didn't realize it was math discussy

All these guys loitering outside of the designated loitering channels

[solar hawk]

Lol

Me

[mint patio]

@dapper badge 🅱️ alter do you have any recommendations for things/concepts in AG to keep in mind while I learn commalg? I've been trying to skim through some AG notes just to get an idea of where the stuff I learn can be applied but it's all too...overwhelming for me to immediately understand, especially since I haven't even mastered basic definitions

So just like "concepts" to remember related commalg rather than specific definitions in AG itself that use the language of commalg

I'm trying to learn commalg so I can do some light AG reading eventually™️

[dapper badge]

Uhh, I'm not really sure lol. Tbh I didn't really learn commutative algebra all that well my first time around and I still don't know as much as I'd like to.

I know Reid has a book called like undergrad algebraic geometry that I've heard good things about. In particular I've heard that it motivates some of the commutative algebra ideas that are prevalent in AG

[mint patio]

[dapper badge]

Sorry I can't be of much help

[mint patio]

That's plenty help

I appreciate you taking the time to answer <3

[dapper badge]

Best of luck with learning

[alpine narwhal]

HELP

I have a non math related question

How do you write the date in an MLA 9 paper?

Because I am confused how to do it

[rapid briar]

😂

[storm sage]

https://owl.purdue.edu/owl/research_and_citation/mla_style/mla_formatting_and_style_guide/mla_sample_paper.html

@alpine narwhal

[alpine narwhal]

MY HERO

Thank you!

[storm sage]

this whole website is really great!

[alpine narwhal]

I tried asking my friend if they knew the answer

They replied "You're asking a Computer science major lol"

[flint basin]

God why are pickly pears so seedy

[gilded grove]

[stuck carbon]

just bookmarked that, thanks

[tender sedge]

Hello

[tiny saddle]

alr fuck it I should rly stay out of #math-discussion

[mint patio]

@solar hawk brother he literally gave it to you in words

both math words

and english words

[tiny saddle]

not like I understand grp theory + other things to do + and I'll learn it when I get there anw

[mint patio]

you just don't understand bc you don't know the algebra to understand

[solar hawk]

he literally said it wasnt in the theorem tho

[solar hawk]

they just said i had the pre req a second ago

[mint patio]

the homomorphism part is a part of it

you know what a quotient group is?

I feel like I saw someone say you didn't

[tiny saddle]

yeah.

istg maybe I should get permastudying again 😭

[flint basin]

Me irl

[mental stratus]

fk got to get a lot done today

[neat lintel]

tero

he

[rotund steppe]

Same

Good luck!

[long matrix]

angy cat spotted

[dense ivy]

I wanna Learn Mathematics from Zero, can someone help me with the path and courses to take, i have a great knowledge and background but i wanna create a stronge foundamental

[full marlin]

Khan academy but twice

Khan academy with rizz

Khan academy +++ultra mega khan academy

[echo tundra]

Lmfaoo

[neat lintel]

I’m currently reading fermats last theorem and am nearing the end, I’m currently on the bit about modular forms and want to learn more about it. I only have a uk college level education, how can I learn more about it ?

[full marlin]

YouTube

[neat lintel]

I’ll try

[full marlin]

🥹

[neat lintel]

I dont want to learn yet because I still don’t know if wiles proves the taniyama-shimura conjecture and I want it to be a suprise 😂😂

[full marlin]

Yeah I learned from random people on YouTube explaining anything it’s really good

[neat lintel]

I’ve managed to learn plenty of calc and stats from YouTube but modular forms will definitely be a step up 😂

[neat lintel]

Why do people call things algebras

Like

Sigma-algebra
Lie-Algebra

[chilly hull]

sigma algebra

[neat lintel]

What is the algebra supposed to mean

[chilly hull]

https://tenor.com/view/gigachad-chad-gif-20773266

[flint basin]

they're all algebras

it's just an overloaded term

[little vine]

The sigma algebra generated by all open mushrooms is the Morel sigma algebra

[neat lintel]

https://ia802907.us.archive.org/17/items/understanding-engineering-mathematics-john-bird-2014_202005/Understanding Engineering Mathematics - John Bird - 2014.pdf This book is good. You'll have to use other resources as well, but this gives you a route from knowing what numbers are to doing ???? things idk

[tropic garnet]

But lie algebras are not algebras

[tropic garnet]

https://de.m.wikibooks.org/wiki/Mathe_für_Nicht-Freaks

Book series for introductory courses at university

If you click around you will find the english versions of these books

[tame egret]

that'd be sad

[tame egret]

hi

[sonic field]

naw dawg, only if you want it to be

[tame egret]

its just very sad

[sonic field]

nah man, it's productive watch.

(K I need to solve x^2 + 4x +3=0. I'll start by factoring. Ok so this comes out to be (x+3)(x+1)=0. By zero factor property, x+1=0, x+3=0, so x=-1 and x=-3. Boom)

[tame egret]

It will be like:

me : so what are we doing geo?
me then realizing i am the only one

[sonic field]

that's right all u need is u

[mental stratus]

https://tenor.com/view/pika-chu-gif-18752040

[deep mango]

Hi

[deep mango]

Im not posting my selfy

[deep mango]

What

What does that mean anyway

[deep mango]

What is slyck

[long matrix]

[long matrix]

slick is like a hair style

[deep mango]

Huh

Hey ponyboy

[long matrix]

u know

when u slick your hair back

[deep mango]

Like a greaser

[long matrix]

with plenty of gel

[deep mango]

Ew

Gross

[long matrix]

its so hot here wtf

uk sept

29 degs

[deep mango]

Im on the beach

I went in the water

That was super chilly

[long matrix]

,w 29 celsius to farenheit

[fathom swallow]

Results provided by WolframAlpha

Click here to refine your query online
Upgrade to WolframAlpha Pro!

Requested by shuri2060

[deep mango]

Now im hot in the sun

How humid

[tame egret]

spam

[long matrix]

ur face

time to ping you 6 times

[deep mango]

Hey why didnt sharp ryx and jayroc follow us

Now they're talking about math

[tame egret]

no don't

[deep mango]

What gives

[long matrix]

timo fd off

[deep mango]

He just tried to get rid of the 2 of us

[tame egret]

please.

[mental stratus]

didn't do anything today

fk

[long matrix]

changing your pfp is a big thing

[flint basin]

hello

[mental stratus]

is it

[mental stratus]

fk this is so unfair

i left and joined back and now i lost blue so also obsidian

[wet mortar]

grief

[loud snow]

@wet mortar how was your day? I can ask a question too?

[wet mortar]

do I know you

[loud snow]

You said you were happy when someone pings you

[wet mortar]

no I did not

[loud snow]

Hold up

[mental stratus]

do i have to take a lot in discussion again just to get blue 😭

[flint basin]

[tame egret]

thats @zealous garden

[wet mortar]

why did you leave and join back

[mental stratus]

I wanted to become a green leaf

With blue name and new pfp

[wet mortar]

that's not how green leaf works

[loud snow]

#math-discussion message

[wet mortar]

it's from being new to discord not to the server

[mental stratus]

that is not daybroken

[loud snow]

I assumed they agreed with it because they replied with .

Ok thats à lie

[wet mortar]

oh wait it is from being new to the server

[mental stratus]

#math-discussion message

[wet mortar]

[mental stratus]

thonk looks like i already got active again

[zealous garden]

That's me!

[wispy sable]

It’s miserable

[flint basin]

that's you!

<@&268886789983436800>

goodbye

[eager reef]

i kinda wanted to just time them out and delete the msgs

to not give them their getting banned speedrun

but eh

[storm sage]

dang what did wraith do

@zealous garden we're taking action on you

[flint basin]

time to go wraith!

[storm sage]

you've been allowed to spread geometric algebra in this server for too long!

[flint basin]

[flint basin]

may their satisfaction be short-lived

[rocky shuttle]

are you doing a ban speedrun?

[deep mango]

<@&268886789983436800>

[storm sage]

Smh ryc too slow

[deep mango]

oop

thanks

[storm sage]

:p

no prob lol

[deep mango]

you can just ping mods

[rocky shuttle]

never

[deep mango]

[storm sage]

zan wants to see this server burn

[rocky shuttle]

if i deem it important, i'll ping you

[deep mango]

and then i will ping mods

on you.

[rocky shuttle]

what for

[deep mango]

being a bother

ok time to find a new art piece

[rocky shuttle]

2hu art where

[deep mango]

what else is ryc adjacent

[storm sage]

zan how am I supposed to make my beauty and the beast spinoff music if I have to constantly monitor this chat because people won't ping moderators smh

[little vine]

Never seen beauty and the beast but it rings a Belle

[deep mango]

i have not found a ryc adjacent art piece

[deep mango]

no

[rocky shuttle]

that is an art piece

and ryc adjacent

[deep mango]

It's not art

[rocky shuttle]

how is that not art

[little vine]

Ryc do you have a favorite artist

[deep mango]

someone saw a video game character that they liked and went "wow i want to draw a cute picture of her!"

uninspired and thoughtless

[ocean harbor]

lmao

[deep mango]

hmm, i mean

it's basic but i have to say van gogh

edward hopper is up there

for a non basic pick, i love frantisek kupka

have a few gorgeous kupka paintings

every single one of his paintings is jaw dropping to me tbh

[little vine]

I'm p basic because Picasso is my favorite

Klimt too

[deep mango]

klimt is a great choice

im not a picasso fan

but he's better than pop """"art"""" or rothko-esque modernism

[storm sage]

I kinda like rothko

[deep mango]

more power to you

[storm sage]

I dunno, there's something.. nice about staring at a canvas like that and seeing all the subtleties of colors gradually jump out at you

[brave shell]

"someone saw a woman that they liked and went "wow i want to draw a cute picture of her!"

uninspired and thoughtless"

• me, on the Mona Lisa

[deep mango]

yes mona lisa is horrid

[zealous garden]

You won't like the creation of my total geometric algebra then

[loud snow]

?

Mona Lisa is DaVinci's worst painting

[fringe summit]

Oh yeah, you mentioned something about playing something if I rigged it up, what kinda style/mood?

[storm sage]

you mean what kind of style would I want to play if you wrote something? write whatever you want as long as it's not insanely hard lol

[fringe summit]

Ye, and also like

If you’d prefer gloomy or happy or wtv

Or nonsense harmony

I’ll get rigging that up in the next handful of days (or tonight if I feel like it after able to)

[stuck carbon]

Hello

[storm sage]

up to you

make it cool :p

[stuck carbon]

Goya…now that fellow can be gloomy

[little vine]

What's gloomy about beans

[stuck carbon]

Saturn Eating Jupiter

[little vine]

Yeah that's a freaky painting

[stuck carbon]

Anyways what were we talking about?

[little vine]

I think someone is writing music for Eric to play

[stuck carbon]

Cool beans

[little vine]

What's new with you

[stuck carbon]

I’m new. Just joined yesterday.

Hbu?

[little vine]

Avoiding the work I should be doing

[stuck carbon]

What’s the work?

[little vine]

Grading papers

[stuck carbon]

Ohhhh…

What subject?

[little vine]

Math

[stuck carbon]

Is this for an undergrad course?

[little vine]

No high school

[stuck carbon]

Hm. I’ve never had a paper on math before…is it an essay on math theorems?

[little vine]

No

Just problems

[stuck carbon]

Do you give bonus marks for math jokes?

[little vine]

Hahaha I should

[stuck carbon]

“I wish my math problems would solve themselves.”

[little vine]

Do you know any?

[stuck carbon]

My bio prof gives bonus points for jokes and drawings

[little vine]

Maybe they'll go away if you ignore them

[stuck carbon]

She says it breaks up the monotony of grading

[little vine]

Cool

[stuck carbon]

Let’s see, I think I know some. ..

There’s the classic “Why is six afraid of seven?”

“Because seven ate nine!”

[little vine]

But do you know why 7 ate the irrational numbers too?

[stuck carbon]

No?

[little vine]

It was part of a complete breakfast

[stuck carbon]

O.O

[little vine]

You can have that joke

[stuck carbon]

…you can keep it.

[flint thunder]

Anyone ever frustrated with the slow progress?

[deep mango]

constantly nowadays!

[flint thunder]

Are you doing self-study?

[deep mango]

i am a graduate student, i am doing research

everything moves at a snails pace

[flint thunder]

Me too, both research and self-study

I spend about 1 hour per day on personal math stuff but it goes very slowly

[flint thunder]

What do you do psychologically to avoid frustration and to stay positive/hopeful?

[flint basin]

keep at it

[deep mango]

keeping up good eating and exercise, talking a lot with the other students in my department, pacing out the work im doing instead of doing 10 hours of work some days

[flint thunder]

That all sounds pretty positive.

[deep mango]

(but also im doing pretty poorly with it anyway)

[flint basin]

some days amount to 2 hours of just staring at something. Some days you can accomplish a lot in 2 hours

progress is not linear

[flint thunder]

I feel like that sometimes

[deep mango]

to be fair

i think i would be doing POORER without the healthy habits

[flint thunder]

Yeah, exactly.

I feel like I am always "behind" where I'm supposed to be

But I realized that I can't really help it

So I've become rather stoic about the whole thing

[deep mango]

yes, i feel the same way

i think this is a common experience to a degree

[flint basin]

yeah

whenever i feel that I remind myself of the longer term progress i've made

sure, maybe the past few days hasn't been much

[flint thunder]

Hmm, that's a good idea as well

[flint basin]

but if you look at this summer, or especially the past year, it's a lot more impressive and makes me feel better

[flint thunder]

Nice.

Thanks for sharing your thoughts/feelings both of you

[vast surge]

Okay but yes it is. progress(ax+by)=aprogress(x)+bprogress(y). This is well-known, and follows from simple linear algebra.

[neat lintel]

I'm too dumb haha

[mental stratus]

does it

[mint patio]

so like

say hypothetically you took a course two years ago and you managed to escape without understanding the material very well

and say hypothetically this was a very core course for your degree and the skills/concepts you learned in it were things you'd see repeatedly for the rest of your degree

and say hypothetically you somehow managed to BS your way with a piss poor understanding

but now you're reaching a point where you need a proper understanding and to discuss with a professor to clear things up

who...do you reach out to?

it feels wrong to ask my current professor (for the class of the homework I'm doing that utilizes these concepts) about this, because we're onto so much more advanced stuff and it seems like it'd just be a waste of time

but idk who else to ask lol

[rapid briar]

This is me and probability right now, good luck!

[raven plaza]

You should anonymously ask randos on online forums such as Discord

[mint patio]

That;s what I did

[raven plaza]

Maybe even in some server specifically pertaining to your degree

[mint patio]

luls

but everyone is asleep

[raven plaza]

Wake them up

Feather is rhythm now

[rocky shuttle]

rythm

[little vine]

The good news is it's easier to understand the second time around

[mint patio]

I'm a part of ry gang :3

[raven plaza]

r(h)y gang

[neat lintel]

I don't even know how to do fractions 🤭

Memory loss

[long matrix]

u could still bring it up

this kindof thing is common.

[oak oxide]

What are the maths-related possible jobs?

[full marlin]

Which jobs don’t use math ? I have no clue

Next thing you know, you are using maths at your job

[static belfry]

%

[feral pelican]

Anyone here know much about semiprimes?

[prisma swallow]

What is a semiprime?

[long matrix]

,w semiprime

[fathom swallow]

Results provided by WolframAlpha

Click here to refine your query online
Upgrade to WolframAlpha Pro!

Requested by shuri2060

[neat lintel]

where is the book channel located?

[vocal vessel]

#book-recommendations #books-old

[neat lintel]

ty

what is the not very pepole role

[vocal vessel]

I dunno 😝

[flint basin]

For people who aren't very people

[neat lintel]

i try sometimes

[mental stratus]

keeps your name color white

[wet mortar]

subhuman individuals

[long matrix]

meow

[rocky shuttle]

meep

[wet mortar]

I stand by what I said

[chilly hull]

cat

[deep mango]

A bee Lie an groups

[long matrix]

suphuman more like

whats the opposite of sub?

sup

right

[wet mortar]

bro has not heard of "superhuman"

[chilly hull]

ryc

how are

grad courses

[long matrix]

superhumans

are humans

[native sparrow]

what is the not very ppl role

[long matrix]

im saying suphuman

as in above human

which cats are.

[wet mortar]

[fringe summit]

What do you think the term superhuman means

[long matrix]

human but super

[fringe summit]

[long matrix]

still a human

[wet mortar]

bro is onto nothing

[long matrix]

super human is like the supremum of humans

[fringe summit]

It’s literally being over humans

[long matrix]

suphuman is NOT EVEN HUMAN

ABOVE

but nah nah nah

[fringe summit]

Bro said sup A \in A

[long matrix]

like

well it might be

if u call something super human

[rocky shuttle]

There are only finitely many humans

[long matrix]

it still bounds them right?

idk ... if the existence is just too great

it feels like superhuman could be an insult right!?

[wet mortar]

you're so real for this

[deep mango]

Usually less work but more is expected of you

Like

For understanding what's going on

[chilly hull]

[fringe summit]

Shazam

[rocky shuttle]

what is supersymmetry then

[fringe summit]

cringe

Long since dead

[robust elbow]

a circle

a ball

a fourth dimensional ball

Gilgachad balls

[rocky shuttle]

how does that relate to particle physics

[deep mango]

Idk if this is exactly what they mean but i know that physicists sometimes use "super" to mean "Z/2 graded"

[solar hawk]

HI

wow chat is dead

my HI shut yall up faster than dami

or was it already dead

[deep mango]

So like, k forms supercommute, because w wedge v equals v wedge w up to a sign, and that sign depends on the degree of v or w

I think it's like (-1)^(deg v deg w) or something

And the exterior derivative satisfies a super-Leibniz rule

Supersymmetry should refer to Z/2 gradedness but idk if that's what they actually mean

Looking it up, this is what it seems to refer to. A supersymmetric theory is one which lives on a Z/2 grading. If you know about bosons and fermions, it seems to say that there is a correspondence between bosonic laws and fermionic laws.

[rocky shuttle]

does wikipedia literally agree with you

[deep mango]

yes

[flint basin]

i gotta stop getting food delivered

[mental stratus]

love

[flint basin]

hate

[neat lintel]

Have you opened a help channel?

[flint basin]

no

[vivid halo]

that's not really what it means

(it's almost what it means though)

[deep mango]

I see

[sick prism]

Do any of you know how to attach a unit vector onto a smooth curve at a specific t value in Geogebra?

[zealous garden]

All thanks to supersymmetry

[mint patio]

you know I'm beginning to understand why everyone clowns engineers so much

[chilly hull]

https://tenor.com/view/lazy-cat-gif-22481793

[mint patio]

I can't believe this is what I'm paying $8000 a semester for

feather is truly an engineer

[fringe summit]

A masterwork of art

Clean suspension lines

And then

-> the road

[mint patio]

it's a badly computed fourier transform

[wet mortar]

a what

[mint patio]

engineering education

[wet mortar]

how long is a semester

[mint patio]

16 weeks

[wet mortar]

grief

[mint patio]

watch your words kid I’ll be designing one of them cars you drive one day

do brits use cars

or are they still on horse carriages

[wet mortar]

I can't drive

[mint patio]

LMAO

unlucky

[flint basin]

Cheaper than most places in the states

[wispy sable]

We are still on horse carriages

[mental stratus]

that's wildly expensive

[echo tundra]

This is really well made if hand drawn

[little vine]

Brits drive those goofy bicycles

And ride in the iron horse

[mint mica]

hoq much money will you make per year?

[mental stratus]

https://tenor.com/view/wouldnt-you-like-to-know-weather-boy-gif-15559185

[storm sage]

yeah this is silly, the kid is old enough to sit shotgun smh

[glossy crescent]

☠️

[jolly junco]

I was doing a problem and noticed this weird pattern. Anyone recognize it?

1 1
1 2 1
1 6 6 1
1 24 90 24 1
...

Its like a weird pascal's

The problem was

For a chess board of size n, how many positions are there such that you can place k rooks on every row and column?

[echo tundra]

Kids really be sitting on shotguns smh

[jolly junco]

Wrong channel

[river moon]

have you looked into n queens problem?

[jolly junco]

Its a bit different though

No diagonals and you allow attacking rooks

[chilly hull]

sounds like it should be n!

wait

oh

[raven plaza]

https://oeis.org/A008300

[sonic sentinel]

i fell asleep with a smart watch on my wrist last night and i woke up with my upper back on it??

[neat lintel]

You probably moved to much while sleeping

[sly flint]

!help

[quasi jetty]

Please read #❓how-to-get-help

[sly flint]

It's the only way to do it though.

And people do respond/

?

[long matrix]

[neat lintel]

import Data.List (nub)
data QuadraticEquation = Equation { a :: Float, b :: Float, c :: Float } deriving Show
solveQuadratic e
    | descriminant < 0  = Nothing -- TODO: Complex solutions
    | otherwise         = Just $ solution2r e
    where
        descriminant = b e ** 2 - 4 * a e * c e
        solution2r e = let secondPart = descriminant ** 0.5
                           last = (2 * a e)
                        in nub [((-b e) + secondPart) / last, ((-b e) - secondPart) / last]
main = putStrLn $ show $ solveQuadratic (Equation (-1) 2 3)

i wanna golf this further, any recommendations

[tame egret]

don't seek help from an AI

[neat lintel]

what

[tame egret]

that's my recommendation

[neat lintel]

i didn't use AI

i just wanted to write esoteric code

[tame egret]

another recommendation don't seek advice from a noob (me)

[neat lintel]

import Data.List
import Control.Monad
data QuadraticEquation = Equation { a :: Float, b :: Float, c :: Float }
solveQuadratic e = guard (discriminant < 0) >> (Just $ solution e) where
        discriminant = b e ** 2 - 4 * a e * c e
        solution e = let secondPart = discriminant ** 0.5 ; last = (2 * a e) in nub [(-b e + secondPart) / last, (-b e - secondPart) / last]

minor improvements

[river moon]

today I added another division and storage of single double in my code and it's now 2 to 4 times faster

[solar hawk]

HI GUYS

:0 I LVE PROGRAMING

[solar hawk]

HI

RU STILL WORKING ON THAT LANGUAGE

[neat lintel]

no

[solar hawk]

LLVM MAKE STUFF GO FAST I THINK

oh

damn

im sorry for your loss

.

[long matrix]

i thought that was haskell

[neat lintel]

that is haskell

[solar hawk]

it is

monad???

whats a Monad

isnt that a Monoid in the catagory of endofunctors

whatever the hell that means

[deep mango]

It's a burrito

[mental stratus]

is it

[summer canyon]

yo

||wha||

[humble creek]

is there any servers similar to this, but for physics?

[oak quest]

Yes check #old-network

[sharp cave]

https://stackoverflow.com/questions/3870088/a-monad-is-just-a-monoid-in-the-category-of-endofunctors-whats-the-problem

[ocean harbor]

@tame egret oioi

[neat lintel]

My head hurts

I learnt physics two weeks ago

and I've already forgot most of it

[rocky shuttle]

what kind of physics

oh wait, you forgot it already

[hushed lantern]

I got banned from the physics server.

[sonic field]

so how does that happen?

[little vine]

You must've been a bozon

[jagged forge]

@solar hawk so what is it that llvm is making easy for you

[solar hawk]

Functions and arrays

And importing c functions and stuff

Like I have printf from cstdio

And it’s effortless to set that up

[jagged forge]

ah, yeah having c interop is essential

since you typically need it to interact with the os

[solar hawk]

And instead of compiling by making a big string the the x86, I use the LLVM functions

Which is nice and less shitty

[solar hawk]

Ye

Like once I finish a parser and even just the basic compiler I will be able to do a lot in the language

Once I was done with the other you couldn’t do much stuff, and I had to implement arrays/vectors myself

[jagged forge]

you know, Go actually did raw syscalls on macos despite the raw syscall interface not being stable, and apple broke Go one time when they updated the os for that reason

[solar hawk]

Oh

💀

[jagged forge]

Go really hates interop with C and avoids it when they can

even if it means relying on unstable apis lol

you don’t need it on Linux though because the syscall interface is stable I think

tbh you will probably know more about this stuff than me soon enough. in fact you kind of already do

never worked on compilers before

[solar hawk]

Idk go

[neat lintel]

Based

The server is too boring for me to get banned sadly

[jagged forge]

you could probably learn it in a weekend if you wanted to

very simple language

[solar hawk]

Yeah but I have LA to do on the weekend

And LLVM

[jagged forge]

priorities indeed

[solar hawk]

But yeah if w3schools had a Go page which it probably does it would be a quick learn

[zealous garden]

good luck

[solar hawk]

Fr bruh that entire thing was a mess

Partitioning matrices is a mess

[lyric nimbus]

every 5 years I think working through SICP is a fantastic idea, and every time I get about 1 chapter further

[lament path]

I’m thinking of writing a 20 page text on the math major, intended for students finishing high school and in their first year of university wanting to know what a math major will look like

[lyric nimbus]

1 decade from now I will finally have the knowledge level of an MIT freshman in the 80s

[lament path]

Do people in this demographic have any questions about the math major that they would like addressed in such a text? I am reviewing my own high school experiences as much as possible however I think it would be good to get a broad range of questions to be able to make it the best I can

[neat lintel]

What relevant internships can math majors get during the summer?

[cinder zephyr]

1: What jobs can one get as a math major and the paths to get there. So not just academia, but finance (quant, actuary), software engineering, etc. Talk about both summer opportunities and full time
2: How math in college different to HS. So talk about proofs, maybe give an example or two
3: The importance of computing (it's just the reality at this point)
4: What is research and who can do it and how can someone do it / engage with it (REUs, Seminars, reading groups, etc)
5: How hard is the major (don't sugarcoat but don't scare em)

that's just off the top of my head

[storm sage]

How to not make math your entire personality

[full marlin]

What is a math personality

[lament path]

Awesome thank you muchly. I’m planning on telling a story of each of the main subjects in the math major as to hopefully give an idea on what type of content you will study

This will hopefully give an idea of how pure math and applied math are different and let you imagine how proofs will work

[storm sage]

@ Sharp

[full marlin]

😆

[lament path]

I’m not writing a textbook so I am not going to write proofs for everything, I am telling a story.

But do you think a few proofs would be good to show?

Just to show how later year proofs should look?

[cinder zephyr]

sqrt(2) is irrational is a classic

no no not later year, they should be understandable to high schoolers

[lament path]

When I stay later year proofs I mean like some basic real analysis proofs and abstract algebra proofs

[velvet dagger]

Algebra is tricky because you need definitions

[lament path]

Yeah hopefully an answer to whether I include any proofs will become clearer as I write

But please continue to ask more questions the more input, the better I can adapt and write

[lament path]

Original post.

[velvet dagger]

You could give irrationality of root 2 as a demonstration of what proofs look like in general

And then when you're giving subject specific stuff, talk about the types of questions that will be answered

[rich rapids]

Hey @velvet dagger how is ur research going?

[velvet dagger]

But without answering them. This gives some semblance of suspense and it allows you to advertise subjects for which actually proving any theorem would need too much technology to be worth including

[cinder zephyr]

I don't think you should give proofs at this level

the goal should be give a flavor of what majoring in math is

and answer any concerns

[velvet dagger]

Going alright! I've got my problem settled finally 😛

[rich rapids]

related to bruhat tits building, u were saying last time

[velvet dagger]

Yeah

In particular random walk on finite quotients of buildings

[lament path]

Yeah okay I was thinking about asking thought provoking questions

Also do Americans learn calculus in high school?

[velvet dagger]

Apparently among all high school graduates, 15%

Among people interested in math and science, that number probably grows

[lament path]

I want to write it assuming some calculus

Because I feel like if you want to take a math major you will have taken calculus in high school

[velvet dagger]

I would say that's probably true but not categorically so

Also relevant question is, how much calculus

[lament path]

Just basic differentiation and maybe integration

[rich rapids]

i was able to explain euler characterlistic to my non math friends. u can definitely do some cw complexes in 20 pages

[lament path]

I can probably do it with just differentiation

[velvet dagger]

I mean I wouldn't really explain CW complexes unless there's a cool fact you can arrive at

[lament path]

CW complex = 3D puzzle

[velvet dagger]

The thing when you're doing stuff for a general audience is, you don't wanna think of yourself as an educator so much as an entertainer

[rich rapids]

euler characteristic as an invariant sounded cool to them

[velvet dagger]

Sure but you're not doing anything with the CW structure, just talk about triangulating the sphere and maybe the torus

And demonstrate that oh if we subdivide even more the Euler char doesn't change :0

Avoid technical definitions when you're taking on the entertainer role unless you're gonna do something with them

[lament path]

Yeah I plan on talking about concepts rather than definitions

I guess logically that means I can’t do any proofs

[velvet dagger]

But yeah you can talk about counting problems via group theory. Oh algebra answers blah about the Rubik's cube!

[lament path]

Exactly what I was thinking

[velvet dagger]

I would say have the proof bit separate from the subject matter stuff

For instance, you can say oh in math you actually prove things compared to before. For instance, you might've always been told that sqrt(2) is irrational... But why? :0000

And then when you're talking about algebra, you just say oh you're studying structure and symmetry, and you can answer questions like xyz

[lament path]

I am also beginning the text with an explanation of what studying math is

[rich rapids]

what is it

[velvet dagger]

Pain

[rich rapids]

i like that

[jagged forge]

vsauce music

[lament path]

I begin with a placeholder of “math is the study of objects and how they relate to each other” and then I use examples of operations we’ve studied in school to explain how these correspond to sets and maps

I want to try introduce and incorporate some mathematical language like ‘set’ and ‘function’ or ‘map’

[rich rapids]

that just gets ppl bored no?

do sth geometrical. ask them if the universe was donut shaped, what could we do to figure it out

[lament path]

Well maybe. I dont want mathematical jargon to be ubiquitous throughout

But introducing some words might be good

[lament path]

I explain how we can relate numbers with addition, we can relate shapes using reflections and symmetries, we can relate functions using derivatives

And each subject in mathematics looks at a mathematical object and looks at ways to relate them

And then I say the mathematical objects we think of as a set and we can relate sets using maps or functions

I wanted to assume basic calculus because I can utilise more examples and tell the story better

[slender needle]

The concept sounds cool

[sick prism]

Do you know what the difference is between finding an angle between a vector and a plane and finding an acute angle between a vector and a plane?

[lament path]

I’m hoping the final product is too

[slender needle]

When have you started working on it?

[lament path]

I started last night I wrote some stuff

I want to make it as short as possible but informative so that people get a good insight into a math major

[slender needle]

The dedication is real for math

its a blessing what you are doing

Some underestimate the major too LMAOO

[lament path]

Well I remember starting uni not wanting to do pure math because it wasn’t applicable and because it was proofs

But I realised now that I’ve done it I was just prejudiced

Because I was very uninformed about what it looked like

[slender needle]

Every person needs a good teacher or a good introduction to spark interest

[lament path]

Well I’m still technically in it but I’m in my third year but I’ve done pretty much every subject

Only one I haven’t really done is complex analysis

[slender needle]

You have that teachers heart in you :D

[lament path]

Haha thank you

[neat lintel]

$(1-1)-1 \neq 1- (1-1)$

[fathom swallow]

Brandon H#1125

[neat lintel]

Why

[neat lintel]

How would I even use this information?

[jagged forge]

surprise surprise, subtraction is not associative

[lament path]

Group theory has left the chat

[jagged forge]

in fact you could say it is anti-associative, idk if that’s a term that has been coined before

[fierce abyss]

@gentle tapir a=b=1/2, c=4 would be a counterexample

[gentle tapir]

yes i see

thank you

[sonic field]

I'm tryin to figure out how df he pinged you 👀

[fierce abyss]

Np, I will reply to you if I can prove the converse direction

[gentle tapir]

okay,
actually i was trying on JBMO 2014 p3
and i areived to this hoping i could prove it lol

[primal swan]

Hey if you have 3 numbers 4,5,6 and you want to find the number of ways you can make a 3 digit numeber out of them while only using each number once there will be 3! such numbers? or 3!/2

[fierce abyss]

Never mind, converse is also wrong, a=1/4, b=c=2 would be a counterexample of the converse direction too

I see

[gentle tapir]

it will be 3!

[gentle tapir]

aa yup right

[primal swan]

Can you help me with the Dice PnC problem?

In the help section

[gentle tapir]

i don't know if i can
i'll see

[primal swan]

Im getting 48 but the answer is 24..

[gentle tapir]

which one ?

[primal swan]

Unconventional dice are to be designed such that the six faces are marked with numbers from 1 to 6 with 1 and 2 appearing on opposite faces. Further, each face is colored either red or yellow with opposite faces always of the same color. Two dice are considered to have the same design if one of them can be rotated to obtain a dice that has the same numbers and colors on the corresponding faces as the other one. Find the number of distinct dice that can be designed.

[gentle tapir]

having a dice with only one color isn't considered, right ?

[primal swan]

It is

[gentle tapir]

Ook

[primal swan]

All the faces can be red

or yellow

[gentle tapir]

2 opposite faces are the same color
the opposite faces are (1-6);(2-5);(3-4)
and we have 2 colors red and yellow
so the number of distinct dice that can be designed is : 2³=8

[primal swan]

1 and 2 are on opposite sides

and if we fix 3

then 4,5,6 can have 3! ways of arrangement

so it should me 6*8=48

but its 24!!

[fierce abyss]

Looks correct, I got 48 too…

[primal swan]

Its 24 tho

in the answer key

What rotation axis are we missing?

[gentle tapir]

it's a combinaison

3!/2

cuz we don't need order

like you counted every two opposite faces twice

[fierce abyss]

Can’t be 24. If you color 3,4,5,6with all same colors, this is already ((4!)/4)(2)(2)=24

So the answer they gave must be wrong

[primal swan]

theres more than 1k 40 year old above average mathemeticians getting 24 tho

[primal swan]

Cant rotate

[gentle tapir]

but when you bruteforce it you get 24

[primal swan]

bro no one be bruteforcin a pnc question 💀 🗿

[gentle tapir]

💀😂

[gentle tapir]

when you permutat this you get:
(3-4)(5-6)
(3-4)(5-6)
(3-5)(4-6)
(3-5)(6-4)
(3-6)(4-5)
(3-6)(5-4)
there's a repitition

[primal swan]

theres 6 cases still

And we are counting the order too

3456 is not 3465

[gentle tapir]

why ?

if you rotate the dice 180°
you get the same dice

or no 😶

[primal swan]

ye but 1 and 2 will change too

[gentle tapir]

yup true

[runic ore]

helo

can someone direct me to some help

[tiny saddle]

!help

[quasi jetty]

Please read #❓how-to-get-help

[primal swan]

i can help

[runic ore]

please

#geometry-and-trigonometry

@primal swan

[sturdy kestrel]

#math-discussion

[tame egret]

hi

[tame egret]

I was asleep

[ocean harbor]

oh good morning

in class rn

[tame egret]

oh

[tame egret]

evening rn

[ocean harbor]

,ti

[fathom swallow]

The current time for kensukeken is 01:32 PM (EDT) on Thu, 07/09/2023.

[tame egret]

I'd better not distract you while you're in school

[ocean harbor]

,ti @tame egret

[fathom swallow]

The current time for ishigamisenku_ is 06:32 PM (WAT) on Thu, 07/09/2023.
kensukeken is 5 hours behind, at 01:32 PM (EDT) on Thu, 07/09/2023.

[ocean harbor]

it's fine

gym class is boring

[tame egret]

I don't gym

[ocean harbor]

same

[tame egret]

so i can't relate

[ocean harbor]

we are just having an assignment with a group

[tame egret]

👍

[ocean harbor]

it's almost over lol

then cs class is next

and last one

[tame egret]

: D

[tame egret]

I don't like cs

classes are boring

for me

[neat lintel]

One question, what is a series for you?

[ocean harbor]

same but I want to take it since I'm applying for a program

probably it's one of these programs I'm interested in

math and cs

[neat lintel]

????

[ocean harbor]

I wasn't talking to you lmao

[tame egret]

I don't like it mainly because of the old teacher

he's boring