serious-discussion

[neat lintel]

I am learning game theory and the main guy in the field only died 8 years ago

[velvet dagger]

You just kinda waltz into it oftentimes

[latent glacier]

Oh gosh um so for now im just doing functions but for next year im doing mathematical data management, Victors and calculus, Advanced functions, statistics.

And i forgot there was another math course

[sand cloud]

Life is a series of natural and spontaneous changes. Don't resist them - that only creates sorrow. Let reality be reality. Let things flow naturally forward in whatever way they like.

[storm sage]

Remember that for every thing you say as a stupid joke, there's someone out there that believes it 100% seriously

And judging from server size, they're probably on this server

[weary sable]

Real

for every joke there’s a little truth in it

if i was alive 100 years ago i’d probably lobotomize myself

now? i don’t think so lmao

[jagged forge]

P(someone believes it 100% seriously) -> 1 as N -> infty

[wicked holly]

can u abbreviate domain to dx and range to ry

[jagged forge]

uhhhhhh definitely dont use dx lol

dx is already used in calculus

[wicked holly]

I mean Dx

idk if that’s different

[jagged forge]

just use Domain(f) or something

[weary sable]

I say a lot of things so sometimes i’m not 100% sure what i believe and what’s just bullshit

[wicked holly]

ah okay

are you good at math? @jagged forge

i’m not gonna ask u for help but

[jagged forge]

depends on what "good" means

[wicked holly]

i just am so stressed for this pre calc exam

lmao i’m trying to cram, it’s friday morning

i just don’t know if it’s even doable at this point

[jagged forge]

well i definitely can't help you seeing as i have rehearsals and concerts for the next 6 days

[wicked holly]

i’m not asking for help i’m just asking if u think i will be able to get a good grade if i study hard enough

and get enough help

[jagged forge]

depends, if some concepts aren't sticking it might be too late

[wicked holly]

i understand a lot of basics for stuff

[jagged forge]

but if it's just a matter of practice, you might be able to get enough stuff crammed in time for the exam

[wicked holly]

what kinda math are you taking

math is just so frustrating for me lol

i feel like i always take notes and then i don’t understand it

[jagged forge]

i am not in school anymore but recently i havee been studying topology and probability theory

[wicked holly]

even after looking at notes

damn that’s pretty far then right

[jagged forge]

notes are good, but practice is essential to internalize things

yeah i mean it's upper undergraduate level stuff

but there are many people on this server who know much more than me

[wicked holly]

i have no idea how i’m gonna be able to take calc 1 next semester

i took pre calc in high school and it was so much easier than this

u have any advice for studying?

since you’ve studied a lot i’m assuming

[jagged forge]

well, cramming works if the material isn't too difficult and just requires stubbornness, but once you start doing hard stuff it might not work so well

so my advice would be try to follow a more regular schedule for studying this stuff

tbh i'm not really a model student, i'm a college dropout

[wicked holly]

oh damn i assumed u graduated

i feel like i’m going down that path lmao, if i can’t even do pre calc

[jagged forge]

well, there's always difficulty spikes

most people who are good at math had to deal with it at some point

[sonic field]

he better than you think don let him lie 🤣 🤣

[wicked holly]

?

what?

[sonic field]

talkin bout @jagged forge

hehe

[wicked holly]

i’m sure he’s pretty good at math lnao

[jagged forge]

i had a great mentor early on who gave me solid fundamentals

so despite only having his mentorship during high school geometry, i have been able to study math beyond that with decent success

that said, solid fundamentals without diligent practice only gets you so far

which is why i have hardly progressed for awhile lol

[white spindle]

got you another equation... assume a phase of one second at every point for (1F=2F, 2F=3F, 3F=4F)-PHASE-MU where F is discernible bands of frequency, SETQ progresses for 7 Set, has AND at VU-P1-T,VU-P1-B,VU-P2-T,VU-P2-B at set 7 exactly which controls superset A1 to B2, B2 to A2, A2 to B1, B2 to A1 has 2 set and 2 set, at each 4F set pole writes to set antipole at 1F... this takes .985 percent of the bekenstein bound so it is optional to add ETH which makes the particle path write at antipole randomly at 1F and 2F randomly with 2 ETH it is enough so it is technically possible in bound

what this is a very small manifold so a valid feynman diagram, but maybe not likely diagram in reality!

[fringe summit]

https://tenor.com/view/dog-back-dog-golden-retriever-back-golden-retriever-scared-golden-retriever-disgusted-gif-26048691

what would this diagram look like

[white spindle]

----<>----_<>(<----)+(>----) to 3 terms

i have it at manual vu so actually my user skill prevents me from solving it beyond collision, it is not stochastic tho, u need ETH which makes it percents of separate diagram

huh the first term OVERRIDES in the ---- term, then you have another >---____

[white spindle]

hey guys i have you another equation (F1=F1,U)=(F1=F2,F2=F3,U)=(1-J-(-1)-MU-0-5PHS-MU-1-U-MU-J-2-U)=(MUF3,ETH,U-MUF4)=(1,2-1,2-F1,2,3,4-3,3-ETH,U-MUF4)=(MUF4,U) ... this is for the minecraft beet... here F equals MU=F(x)=U(-0)=J=F(x2)=i, what this yields is i have just ONE beet, i cannot grow the beet, i have many beet, they tend to go into F4, the grown state because the starting state is leading to the end state when it goes into the start of the equals cascade, this means in the game when i am given one beet in one farmland i have to duplicate the beet in stages to be able to grow multiple stages of the beet to have ultimately yielded the beet having been grown! as well because eth is based around correct user input i have two types of beet which can be created, an easy growing 2-1,2-2 beet and the other beets which technically could take forever to grow, though they really take a short time...

as well a grown beet cannot yield a new beet's start of grow without the use of the -1 which causes the ability to reset

huh technically you can grow with just one beet, what i meant is it takes at least an action or route to have grown it

[static loom]

is this ai assisted shitposting

[white spindle]

naw this is recreational solutions to special relativity

[static loom]

how do you account for relativistic compound interest rates on the blockchain

[white spindle]

blockchain as a crypto is mainly managed by holding corporations which control the real world value of the crypto, this natural effect of people who already have large amounts of bitcoin and are leveraging the market for bitcoins value e.g. the natural effect of investors on bitcoin(s) cause the value to be raised due to speculation, and as well innovation drives the price down, as far as the iterative effect of compounding loan interest this is offset by BTC whales/sharks who buy large amounts of BTC and the hidden value of blockchain as well to have been a direct useful solution by empowering creation with the hidden processes of BTC, there also are hidden schemes like download RAM and download CPU which blockchain supports hence why most miners are labeled malware, on this mainly there is that firstoff the value of BTC is given primarially by non roman audiences using it for its canon CPU power use...

that is to say, you are talking the whole whahooza lost to romanji audiences of the direct CPU download botnet capacity of bitcoin to empower creation/gaming, but like i said shell and holding corporations management of BTC and other crypto are what drive its value combined with high speculative demand and a real world CPU power of bitcoin which is lost on romanji audiences because BTC is a gold to the romanji not like a game of resources how it is to pinyin audiences

hey uh cause a Satoshi is not a lot to a BTC whale everybody kind of already is in on the bitcoin scheme cause of the true cost of things

[white spindle]

1,(Q4.5-6-f((-40)-(-20))(+35)-MU-2,(5PHS-MUA(-1)-1-JU(-1)MUB&C(-1))2,U(MUA.85)-U(+42)-JU(-1)MUDU(-1)3,J(MUB)-J(-MUC)-U(MUB)-U(-MUC)-U(-1)4,U(-1)JEU-1-MUE-2-U-IMPULSE5,U(-1)J(MUF)U(MUG)MUF-20PHS-MUG-U(-1)6,1,Q3.5-f(-52,-20)-U(21)-MUL-5PHS(MUM,MUO)-2,(0-JU(-1)MUM-U(-1)-JU(-1)-MUO-U(-1)-1-U)5PHS(MUP)-JU(-1)-MUP-U2,U(MUL)-F(-2)-MUR-U(-1)-JW-1,2,3,4,5-(.333PHS+.333)1-.333PHS-MUS-2-U-MUT-F7,4,2,4,7-NORMAL-U(MUW)31-2-3-4,PHS1.332-.333-Q(1-7,2-4,3-3,4-4,5-7)-MUH,MUI,MUJ,MUK-U(-1)-J-F(1,2,3,4,5)-5-5AND-MUU-(0-J-MU-U-1-U-J-1.332PHS-MUV-U(-1)-MUW this is a solution to that shark currency, a bitcoin

[neat lintel]

dude what

[white spindle]

this is a recreational solution to special relativity

there is a threshold how many times you will have to repeat growing it for satisfying a bitcoin which changes according to a very slow never ending techno riser

[solid snow]

is this just spam at this point

[white spindle]

huh, actually the number of neccesary tries is never above 20, actually what you are doing is getting lucky with getting the correct length specific times to get payout

[winter stump]

what

[storm sage]

Yeah.. I muted them for a day

[jovial grail]

holy some young sheldon stuff

[raven plaza]

Young sheldon has logic

[jovial grail]

im convinced that this is a chatgpt copy paste

[jovial grail]

.

[hoary egret]

It sure feels like it

[little vine]

Love me some yung Sheldon

"will you pass the sodium chloride mother?"

Hilarious

[hoary egret]

[laugh track]

[neat lintel]

Young Sheldon doesn't have a laugh track, luckily.

[blissful verge]

BOT WYA

[teal lion]

Every time someone says “romanji” I die a little bit

it’s rōmaji, there’s no n

if you’re going to transliterate, at least write the right word

[teal lion]

Because it’s Roman characters

and so because they speak English

they just think “Roman”

sigh

I guess

[storm sage]

ngl I didn't know what romaji and romaja meant until now

I knew what hanja meant

[teal kiln]

Are in calculus we still learn Limit? confused about why limit is placed at precalculus

[vivid halo]

usually limits are not covered in standard precalc material

[wild lantern]

Not all precalc classes do limits and limits are foundational for basically all of calc

[teal kiln]

I has Interested to learn calculus 1 while seat at 10th grade now I'm 11th grade

[vivid halo]

I guess some precalc courses might cover limits at the very end of the course but then this is usually covered again at the beginning of a calc course

[teal kiln]

waiting to learn about derivative or integral

12 th grade

[storm sage]

Many precalculus courses cover limits, but many don't. Precalculus is very random in the US.

[neat lintel]

i'm at my limit

[storm sage]

I'm at my threshhhhhooooold

[cloud wraith]

Guys how to get good at chemistry (fast)

[mental stratus]

#old-network

[languid spear]

You don’t

[neat lintel]

You'll require some time to memorize some concepts where you cannot apply logic (cuz they're factual)

If you ignore them, then again it depends. You can do most organic and a little inorganic quickly. For physical chem, you'll require practice

[cloud wraith]

So not everything can be explained in chemistry

[cloud wraith]

Most people say spamming practice questions is somehow effective for chem

But idk

[neat lintel]

Not that effective especially for inorganic and organic

[sacred crane]

Subject assignment: "Linear programming"
You must explain in more detail the meaning of functions of the type f(x,y)=ax+by+c, including the concept of level line. Show through example(s) how to optimize f(x,y) taking into account bi and positive conditions. Can anyone help?

[river moon]

#❓how-to-get-help

[cloud wraith]

What's effective then

[storm sage]

If you want help on this, try #linear-algebra

[mint patio]

Yo can these fucking professors grade my shit faster

[zealous garden]

Really?

They covered it in mine

And I always shit on the education I got

[vivid halo]

Yes

Again it depends on schools but most places do not teach limits in precalc

[zealous garden]

We went over intuitive limits, conics, trig and hyperbolic trig

[vivid halo]

Wtf

[zealous garden]

Then in AP Calc we did epsilon delta limits, though I don't think we had any proof problems

He showed us some proofs

[vivid halo]

Hyperbolic trig is also pretty unusual for precalc

[zealous garden]

But didn't make us do it

[zealous garden]

We touched on it a bit

Like, I remember a "this is a thing that exists"

But it wasn't on tests and I slept through class

[vivid halo]

I guess it also depends on how long the course is

[zealous garden]

So I can't tell you how much they actually said about it

[vivid halo]

If this is a year long course then I can see covering stuff like that

[zealous garden]

Nah, single semester

[vivid halo]

But if it’s just a semester or a quarter definitely not

Ahh

Nuts

[zealous garden]

Maybe I'll talk less shit about my school now

Still gonna talk shit, they don't allocate funds responsibly

[neat lintel]

Getting thorough with theory and exceptions then giving time to practice problems

[vivid halo]

insane

[cloud wraith]

damn

[zealous garden]

What the ruck

[solar hawk]

What the duck

[neat lintel]

GUYS!

I solved all of the problems on my test correctly!

But i got a B because i put the wrong number in the calculator.

I might have to drop the class now

[jagged forge]

that’s better than the time i put F instead of E for an entire test at a math competition

and not a single answer was F

[neat lintel]

Surely the competition realized the mistake and gave you credit

[glossy spade]

how do you study bro

i literally cannot physically put myself through it

especially math…. 🙁

[solar hawk]

i like what i study

i dont study python

[neat lintel]

Set a minimum page goal

[solar hawk]

i hate it with a burning passion

[rapid briar]

Hate is a strong word

[solar hawk]

I’ll beat the pulp out of you

[pulsar pagoda]

python is for pepegs am i right

[solar hawk]

Do not defend python

[solar hawk]

Lol

[pulsar pagoda]

if i had a choice to go back in time

i would stop guido from making python

[rapid briar]

Bad amukh

[zealous garden]

strongly typed

[pulsar pagoda]

i prefer a statically typed compiled language ps

[solar hawk]

hi

hey uh

can help me with something ;-;

[pulsar pagoda]

sure

ask

[solar hawk]

so

this is the problem

its not the code

i just dont get it

the solution, i mean

what even is this

[pulsar pagoda]

sec im thinking

idk why they use modulo arithmetic for that

[fringe summit]

Don’t cross post it amukh smh

[solar hawk]

ik i delete that one

[solar hawk]

hape

[solar hawk]

its in the problem statement

they want a === b mod M

[pulsar pagoda]

is modulo in this context the same as in programming languages?

[solar hawk]

ye

im supposed to write the solution in cpp

[pulsar pagoda]

wtf

[solar hawk]

ikr im so confuse

[pulsar pagoda]

so shouldnt b_k be b_n

instead?

[solar hawk]

idk

what is a?

im confused on what a is

[storm sage]

it's probably just to make the output size bounded

[solar hawk]

and whats b

[storm sage]

b_k is the remainder when you divide a_k by M

[solar hawk]

i see

[pulsar pagoda]

yes

[storm sage]

the real interesting part is trying to figure out what a_k is

[solar hawk]

oh im unfamiliar with that notation

[storm sage]

and yeah you do it like this

it's a fun problem

[pulsar pagoda]

so k = n?

for b

[storm sage]

where are you seeing an n

[solar hawk]

N

they mean N, since we dont see a k

[pulsar pagoda]

yeah

[solar hawk]

yes i believe they meant N

look at the output

example

[storm sage]

I'm guessing there's a typo and it's meant to say "for each k = 1, ..., N"

instead of "for each i = 1, ..., N"

[pulsar pagoda]

no

[solar hawk]

so what does

size k permutations...() mean

[pulsar pagoda]

because a_n is different from b_k

[storm sage]

you know what a permutation is right?

[solar hawk]

yes

[pulsar pagoda]

its u take k times b

[solar hawk]

i usually draw them as a matrix or a function

[storm sage]

size k means it's a permutation of {1,...,k}

[pulsar pagoda]

basically

[solar hawk]

permutations are linear maps right?

[storm sage]

meaning it's an element of S_k

[storm sage]

uh

[fringe summit]

No

[solar hawk]

why

[storm sage]

that's not how I would describe them but you can represent permutations as permutation matrices

[pulsar pagoda]

so !S/!K

[solar hawk]

my abs alg book draws them like matrices

[pulsar pagoda]

bro

[storm sage]

permutations are not matrices

[fringe summit]

They’re the wrong type of thing to be linear

[pulsar pagoda]

just study

discrete math

[solar hawk]

but you can write them as a matrix right?

[storm sage]

uh

[solar hawk]

if you can do that it is linear

?

[pulsar pagoda]

why would u

[storm sage]

there's two different notions here

[vast surge]

I mean they can be. Just take a representation of the symmetric group

[solar hawk]

im just saying

you can

[fringe summit]

He probably means like the (1234)(1432) thing?

[storm sage]

one is that you can write permutations in the notation
[\begin{pmatrix}
1&2&3&4&5\
3&2&4&1&5\end{pmatrix}]

[fathom swallow]

propERICly_embedded

[storm sage]

this is not a matrix

[solar hawk]

{1,...,n} -> {n,...,1} is what i usually think of as a permutation

[storm sage]

it's just a way of writing down a permutation

[pulsar pagoda]

thats a matrix of permutations

[solar hawk]

which is a function

[pulsar pagoda]

which is different than a permutation

[solar hawk]

and the matrix of the function

[storm sage]

amukh stop

[solar hawk]

ok fine

[storm sage]

there is not even a vector space here

[pulsar pagoda]

u do those whith adjacency

[peak tide]

sure, but there's a 5x5 matrix of 1's and 0's that represents that permutation

[solar hawk]

i just realized something here

[storm sage]

Yes permutation matrices are also a thing

[solar hawk]

that they arent matrices 💀

[fringe summit]

Not everything is linear

[storm sage]

Idt that's what amukh was talking about though

[solar hawk]

matrices are linear maps under matrix operations and permutations dont use them 💀 nvm

[pulsar pagoda]

u need to study fucking discrete math

[solar hawk]

forget i said it

[solar hawk]

i cant

[storm sage]

[\begin{pmatrix}1&0&0&0\0&0&1&0\0&0&0&1\0&1&0&0\end{pmatrix}]

[pulsar pagoda]

im gonna drag ur ass to discrete math

[solar hawk]

ware am i gonna do that

[fathom swallow]

propERICly_embedded

[storm sage]

permutation matrices look like this

[pulsar pagoda]

and make u go through a whole book

[solar hawk]

i have a book on number theory and a book on combo

and a book on proofs

that should be sufficient

[fringe summit]

Homie should study LA too but oh well

[solar hawk]

i am

[peak tide]

determinant of the permutation matrix is the chad way to define the sign of a permutation

[pulsar pagoda]

and it doesnt matter if u dont have the basics for those topics

[solar hawk]

i have the basics

[atomic cypress]

how else do you define sign

[solar hawk]

this is not basics

[atomic cypress]

"count how many interchanges"?

[pulsar pagoda]

https://tenor.com/view/hmmm-shook-shocked-gif-13010143

[solar hawk]

how do i calculate a tho

i hate combo problems like this

they are impossible

[pulsar pagoda]

i told ui

its literally b!/k!

[fringe summit]

Making em matrices is fine but that doesn’t make permutations linear 😔

[pulsar pagoda]

lol

[peak tide]

"even if it can be represented as the product of an even number of transpositions, else odd" is a common (maybe the most common?) definition

[solar hawk]

why

[little vine]

Can I ask something I should perhaps know

[solar hawk]

whats ! mean before a symbol

[pulsar pagoda]

factorial

OMFG

[solar hawk]

ok

[little vine]

Well I will anyway

[solar hawk]

y before?

[little vine]

Nevermind I figured it out

[pulsar pagoda]

im probably typing them wrong

[pulsar pagoda]

atta boy

[solar hawk]

is there a reason for this

idk how you

got to that conclusion..

😭

[storm sage]

yes (this is how I would define it)

[pulsar pagoda]

cause their telling u at the beggining

[storm sage]

proving this is well-defined is kinda annoying though

😔

[pulsar pagoda]

the number of size k permutation

which means give B elements take K

in which the order matters

so permutations

[peak tide]

oops thought you were referring to the earlier comment

[fringe summit]

“¡…!” Moment

[pulsar pagoda]

yeah

thx

[fringe summit]

Based

[pulsar pagoda]

remember that in spanish we use both exclamation and interrogation symbols

in expressions

at least in the language

so its sort of confuses me

hahaha

[fringe summit]

LA is a good way to think about things even when things aren’t linear per se, like saturation as a Riesz rep style condition

[storm sage]

by size k permutation they just mean a permutation of {1, 2, ..., k}

[sick prism]

Can one of you help a brother out in the multivariable calculus chat, please?

[peak tide]

it's well defined due to the "else" but the annoying part is showing that if it's even, then any representation involving a product of 2-cycles has an even number of factors

[storm sage]

i.e. a bijective function from {1, 2, ..., k} to {1, 2, ..., k}

[storm sage]

!noadvert

[quasi jetty]

Please do not advertise your help channel or thread in other parts of the server. There are many people who need help, and no one person can be prioritized over other people, so please patiently wait. Anyone who chooses to help you is a volunteer who is doing so out of their own kindness.

[solar hawk]

yeah i got that part

[fringe summit]

I quite like this tbh

[solar hawk]

that much was covered in the abs alg book

not the rest

[storm sage]

permutations are F1 matrices

[fringe summit]

[storm sage]

so you also want the permutation to have no fixed points

so for every i, the permutation sends i to a different numbers

[fringe summit]

F1 vector spaces as sets

[storm sage]

so for example the permutation
[\begin{pmatrix}
1&2&3&4&5\
1&3&2&5&4\end{pmatrix}]
would not fit the criterion, but
[\begin{pmatrix}
1&2&3&4&5\
2&3&1&5&4\end{pmatrix}]
would

[fathom swallow]

propERICly_embedded

[pulsar pagoda]

is this how u generalize permutations to a space of N dimensions?

[sick prism]

my bad cutie. I see the wrongs in my ways now.

[storm sage]

a_k is the number of such permutations

[solar hawk]

whats b?

oh

yeah whats b

[pulsar pagoda]

the RHS

[solar hawk]

how do i caculate that

[pulsar pagoda]

of what u provided

sorry

[solar hawk]

huh

[pulsar pagoda]

LHS

[storm sage]

using the method described in the other picture you have

[solar hawk]

thats what we're solving for?

[storm sage]

.

[pulsar pagoda]

YES

[storm sage]

but the point is to try to figure out a nice way to calculate it

that's the coding exercise

[pulsar pagoda]

yeah

thats why they bound N and M

to give u a hint

[peak tide]

@solar hawk you seem to have officially ended your axler obsession

[fringe summit]

Real

[pulsar pagoda]

just want to say

thank you guys

u made me realize i wasnt as pepeg as i though

and i can actually go through formal books by myself

with some help

[storm sage]

what's pepeg

[peak tide]

we never doubted you dandida

[pulsar pagoda]

https://tenor.com/view/pepo-g-peepo-gif-22945943

this is a pepeg

[storm sage]

oh LOL

proud of you

[pulsar pagoda]

just u wait

ill get my second paper published in EE published

even though im a SE major

XD

[fringe summit]

Oh yeah Eric did you see saturation as a “k-compactness” thing of definable sets?

[pulsar pagoda]

im gonna put

i wanna say thanks to mom and eric tao

xD

[solar hawk]

;-;

my program isnt ending

[pulsar pagoda]

are u using recursion?

[solar hawk]

nvm

nvm i was being dumb asf

i put the input in the

./montmort 10 100

instead of

./montmort
10 100

LMAO

[pulsar pagoda]

are u passing the arguments through argv of the main

xD

[solar hawk]

olk it dosnt work 😭

i gibe up

[pulsar pagoda]

so

are u using recursion?

[peak tide]

parse those args

[solar hawk]

wait wait

[solar hawk]

not it runs fine

it just says the wrong answe

wait.

i forgor to mod

[pulsar pagoda]

%

that shit

[storm sage]

lol no problem, but it was all you

[storm sage]

I mean that makes sense, saturation has always seemed like compactness to me

I shall now learn what a space of types is

[fringe summit]

Ye

[storm sage]

this isn't the same thing as a type in type theory right?

[fringe summit]

It’s not quite, but

[pulsar pagoda]

what is type theory?

[fringe summit]

If you consider the riesz rep kinda notion I mentioned, you can consider it as the type of objects which satisfy that realization thing, but no lmao

[storm sage]

alright cool

[solar hawk]

yeah it doesnt work

this is too hard 😭

idk what i did wrong

[storm sage]

lol this reminds me of the phd student who is mentoring me complaining about homotopy type theory

he was like, either two things should be equal or not equal, forget about this homotopy stuff

[fringe summit]

It’s not quite compactness? since making that into a genuine topology is questionable with how you might just get discrete, but it’s very similar

[solar hawk]

@pulsar pagoda short disaster

[fringe summit]

Smh bro hasn’t seen the light yet, this homotopy data is how you get the good stuff out

[pulsar pagoda]

why are u dividing?

[solar hawk]

maybe i should longs?

cuz u said to

[pulsar pagoda]

brp

[storm sage]

yeah that makes sense that it's not exactly compactness, but the finite intersection property stuff is analogous

[split pawn]

Since there weren't enough Pallas' cat gifs I made my own

https://media.giphy.com/media/v1.Y2lkPTc5MGI3NjExd3I0a25vaXNlZzBoamh2NXR0cXF0d2dzcDFvMms2aWtyNWY1MGozMCZlcD12MV9pbnRlcm5hbF9naWZfYnlfaWQmY3Q9Zw/cookXTrRNbbxYuUh2R/giphy-downsized-large.gif

[pulsar pagoda]

do u even know what the modulo is?

[split pawn]

https://tenor.com/view/cat-yawn-gif-25350794

[pulsar pagoda]

kittie

[split pawn]

big pallas knows how to sit on paws. Kitten doesn'

[solar hawk]

yeah..?

whats that supposed to mean

[pulsar pagoda]

its the residue of the division

[solar hawk]

yes im aware

[storm sage]

I'm probably mischaracterizing his argument but he was complaining that everyone in HoTT sees things so differently, like they do cartesian closed categories without even thinking about heyting algebras or intuitionistic logic or smth

[pulsar pagoda]

so u want a residue of 0

[fringe summit]

Ye, alternatively, consider the associated stone space thing, then we know that’s compact but saturation guarantees we have a “principal” point in it

[storm sage]

okay I haven't learned about stone spaces yet

[split pawn]

Thats a whole grown up catto, dandida

[fringe summit]

Ok yeah fair

[storm sage]

but I will!

[solar hawk]

a_k = n!/k!, rigth?

thats what you said

[fringe summit]

Space of ultrafilters on the Boolean algebra of formulas

[solar hawk]

so

[pulsar pagoda]

a!

instead of n

[storm sage]

woahh

[fringe summit]

This = truth assignments of formulas

[solar hawk]

what

[pulsar pagoda]

this sounds like its useful for digital electronics

[fringe summit]

Consider this in light of the riesz rep notion mentioned

[solar hawk]

a_k = a!..?

type error

[pulsar pagoda]

a is the one on top

and for b

it would be b!/k!

[storm sage]

someone gave a talk here, and someone in the audience asked the speaker a definitional question (I forget what it was), then the speaker said something, and the corner of logic students just starts BURSTING into uncontrollable laughter, and then the one logic prof turns to the students and is like "and a group is a category with one object where each morphism is an isomorphism"

[fringe summit]

Genuine compactness means we have a ultrafilter which satisfies all your predicates, but saturation says at least one point is gonna look like a principal ideal

[solar hawk]

bro i am so confused

it wants me to interate through n

and print

a_n mod M

[pulsar pagoda]

no

[solar hawk]

clear

yes

[storm sage]

and the speaker was so confused, like did I say something funny

[fringe summit]

Since these ultrafilters are basically prime ideals of the Boolean algebra too

[storm sage]

LOL

[fringe summit]

It’s not quite principal but

It’s similar

[storm sage]

this is neat

[pulsar pagoda]

what you have to compare is the length of ur resulting string btw

[solar hawk]

so whats a_n for some n if not n!/i!

[pulsar pagoda]

n would be ur i

[fringe summit]

Consider the Boolean algebra of predicates w/ parameters or wtv, and replace it w/ the sets which satisfy it

[storm sage]

right

[fringe summit]

Now it looks a lot more principal ideal-y, since if {a} is in there…

[pulsar pagoda]

read this

[fringe summit]

So saturation asks for every k-generated ideal to be contained in a principal one? Maybe?

[solar hawk]

i did

i didnt get most of it

[fringe summit]

Don’t quote me on that, this is a very informal idea

[solar hawk]

my eye caught n!/k!

k is my i

why aint it work

[pulsar pagoda]

yes

[fringe summit]

I wanna know what homie said

[pulsar pagoda]

and N would be ur b

[solar hawk]

im not using a b in my program?

[fringe summit]

Probably some delooping thing?

[solar hawk]

right

so

[fringe summit]

Or (x=x) as a group?

[pulsar pagoda]

remember what ur comparing is the length of the strings

[solar hawk]

wdym

[storm sage]

I don't remember at all, I can ask some of the logic students some point later lol

[fringe summit]

Or rather, an infty group

[storm sage]

it was some basic type theory concept tho

[loud ruin]

Hi, does anyone in here offer one on one math tutoring?

[fringe summit]

L

Type theory is basically logic stuff so

[pulsar pagoda]

a permutation is a string

[solar hawk]

ok

i get that

[fringe summit]

Possibly clowning him for saying something crazy basic, or from a category view (which is unnecessary)

[pulsar pagoda]

so take the set {a,b,c,d} if u want all perm of 1 for example

[solar hawk]

how many strings can i make such that the number in the nth spot isnt n

[pulsar pagoda]

that would be 4

[solar hawk]

i was already here

[storm sage]

it mighta been from a category view

[solar hawk]

i can make n! permutations

[storm sage]

but one of the guys was trying to explain and he was like "sorry it's just funny because from a logic point of view it's unnatural"

[pulsar pagoda]

how many different strings can u make that take K elements from a set of N elements

[peak tide]

i'm not sure what issue you're seeing, but i'm guessing probably you want to round instead of floor here

[solar hawk]

they are integers

[peak tide]

tgamma doesn't return an integer

[storm sage]

wait is this still for that permutation problem

[pulsar pagoda]

cause ur dividing

yes

[solar hawk]

ye

[pulsar pagoda]

i dont get why hes dividing

[solar hawk]

because

idk where anymore

somehwre i saw..

a_k = n!/k!

maybe k!/n!

[peak tide]

very naive implementation of n!/i! it looks like?

[storm sage]

I'm confused, you literally have the formula for a_k right here

it's [n!\sum_{k=0}^n\frac{(-1)^k}{k!}]

[fathom swallow]

propERICly_embedded

[pulsar pagoda]

ohh

i get what is happening

[solar hawk]

why is it so much bigger than the thing dandida was saying tho

[pulsar pagoda]

ur mutating ur data structure

did u read what push_back does?

[solar hawk]

wdym

ik what pushback does

[pulsar pagoda]

https://cplusplus.com/reference/vector/vector/push_back/

[storm sage]

oh I will say though that the notation of the problem is different than the solution you posted, so it should be
[k!\sum_{i=0}^k \frac{(-1)^i}{i!}]

[solar hawk]

im literally casting to static int before the push

[fathom swallow]

propERICly_embedded

[solar hawk]

there is no funny business

[solar hawk]

is k here n

[storm sage]

k here is the size of the permutation

as given in the problem

[solar hawk]

whats i

[storm sage]

(k = 1,2,...,N)

[storm sage]

the index of the sum

[pulsar pagoda]

the number of elements you take

[solar hawk]

😭

i hate combinatroics

ok i will just

[storm sage]

combinatorics is fun

[solar hawk]

read my combo book

[pulsar pagoda]

k would represent the size

[storm sage]

it's just that no one is explaining it to you

[solar hawk]

and then come back tot his.

[storm sage]

[solar hawk]

what level of combo is this

[pulsar pagoda]

read a discrete math book first

[storm sage]

this is introductory

[solar hawk]

so like first chapter, second chapter intro?

[storm sage]

it's one of the first applications of the inclusion-exclusion principle that you learn

(I know because I just learned it in my class )

[pulsar pagoda]

depends on the book

[solar hawk]

shaums outline xd

[pulsar pagoda]

chapter 5

and 6

[solar hawk]

in that book?

😭 what the fak

[pulsar pagoda]

at least thats what my spanish version

[peak tide]

that schaum sure wrote a lot of books

[pulsar pagoda]

has it

its not schaum

[solar hawk]

oh

[pulsar pagoda]

its lipschitz

[peak tide]

like some kind of junior serge lang

[pulsar pagoda]

or something

[solar hawk]

lol

he has AA too

and set theory..

[pulsar pagoda]

schaum is my go to for discrete mathematics

when i want to fuck with people i look for other books

like discrete mathematical structures

[solar hawk]

alright whatever

ill read my combo book

cya

i gotta sleep XD

[pulsar pagoda]

https://tenor.com/view/hmmm-shook-shocked-gif-13010143

[storm sage]

good night!!

[fringe summit]

Probably some functoriality or something

[storm sage]

I asked our logic groupchat

Until further notice in this section we assume that T is a complete theory.

[fringe summit]

real

mfw group isn’t complete

[fringe summit]

Non-complete theories have a lot of problems

[storm sage]

group theory is stupid, I only study the theory of V4

[pulsar pagoda]

so whats the sequence of topics

linear algebra, abstract algebra

galois

?

like that

[storm sage]

yes

that is one sequence of topics you could learn

[fringe summit]

Idk I’ve not done any Galois

[pulsar pagoda]

is galois the gigachad they say he is?

[fringe summit]

But I could just as easily see AA -> commalg & AG

Yes

[storm sage]

idk he's dead, if he were that then he would still be alive

[desert rapids]

Is there an analytical solution for this such that doesn't diverge? It can be assumed that $a_0$, $Z$ are constants. $$\int_0^\infty \left[ \frac{1}{r} \left( 2 - \frac{Z r}{a_0} \right) e^{- \frac{Zr}{a_0}} \right] dr$$

[pulsar pagoda]

https://tenor.com/bzkeQ.gif

[fathom swallow]

jacobjivanov

[storm sage]

oh @fringe summit someone just answered

so someone asked what dependent type theory was and he responded something about it being the internal language of topoi

[fringe summit]

Based

[pulsar pagoda]

if u had to rank mathematicians in order of chadness

how would u do it for 3?

[fringe summit]

I mean honestly yeah

Give or take a specific definition of dependent type theory ofc

Idk why they’d clown him, but I guess you could just say it looks like HOL in that case too

Say that dependent types B:A->U are bundles B->A

[storm sage]

I don't know anything about topoi or dependent type theory

[pulsar pagoda]

whats type theory?

[storm sage]

but they were probably thinking of proof theory and curry howard

lambda calculus and stuff

[storm sage]

good question

I hear there's a class on type theory next semester so maybe I'll find out

[fringe summit]

I mean idk a proof theory description

[pulsar pagoda]

sounds like stuff compiler writers would use

[storm sage]

I don't know anything

[storm sage]

indeed!

[fringe summit]

Yes, program verification

[pulsar pagoda]

like modulo theory satisfiability?

[fringe summit]

what

[pulsar pagoda]

that is used for verifying the design of software synthesis (designing digital logic circuits through software)

[fringe summit]

Yeah idk what “modulo” is doing there

[pulsar pagoda]

at least its what my phd buddy told me, theres this guy using it for generative ai

[fringe summit]

Anyhow, it’s proof verification stuff too

Just syntactic

[pulsar pagoda]

so in terms of math

how is syntax

and semantics

defined?

[storm sage]

sharp you got this one

[fringe summit]

If you can prove some soundness or completeness (you’re kinda boned if you’re not effective? so it had better be effective) then passing back & forth is nice

[pulsar pagoda]

did i just asked big boy questions?

[fringe summit]

Symbol pushing, formal systems, deductive stuff

[storm sage]

syntax and semantics are VERY important to logic

[fringe summit]

Syntax is ez in that sense

With a handful of variations ofc

Semantics?

[pulsar pagoda]

interpretation

[fringe summit]

Yeah basically just interpretation

[storm sage]

sharp I asked my mentor when continuous logic gets different from first-order logic and he was like NO NO NO that's the whole point it's the same!!!

[fringe summit]

But the exact way you go about it can vary based on what you want the semantics to look like

[pulsar pagoda]

BASED

[fringe summit]

Think categorical semantics vs set based semantics vs kripke frames vs full semantics for HOL etc

[pulsar pagoda]

i just know naive set theory

rip

[fringe summit]

But 3 of those are just set based ones

[pulsar pagoda]

ohh

keep going

[storm sage]

sets are magical

[fringe summit]

Basic idea is sending things to sets w/ relation and/or function structures

[pulsar pagoda]

ahh

[fringe summit]

Think sending propositions to {true, false}

Where true <= false

[pulsar pagoda]

and seeing if there are order and equivalence relationships?

and stuff of that sort

[fringe summit]

(Though I often see false <= true in a poset thing)

[storm sage]

sharp maybe the best way to do this is to do an example (like group theory in first-order logic)

[fringe summit]

Ye

A group is a particular interpretation of [the group theory]

A set with its functional structure from multiplication and inverses

[pulsar pagoda]

a set with at least one operation which is associative has an inverse and posseses a identity

[storm sage]

yeah the semantics of group theory is like looking at the actual sets themselves which are groups

[fringe summit]

Normal model theory is essentially interpretations of theories in ZFC

[storm sage]

the syntax of group theory is like looking at all the statements that are true about groups and trying to write logical deductions between them

[fringe summit]

The syntax of group theory doesn’t need sets at all

You can have group objects in any category, for example

[fringe summit]

There’s model stuff you can do in categories or whatnot but that stuff gets awful looking afaik

[storm sage]

like for example start from "for all x, there exists y such that xy = yx = e" and the rest of the group axioms and derive stuff like "if there are exactly four elements, then either there exists an element x such that x^4 = e or for all x ≠ e, x^2 = e"

none of those statements actually need the concept of a "set" and you can write logical deductions going from the one sentence to the others

[pulsar pagoda]

x is what?

and element

[storm sage]

an element of the group yeah

[pulsar pagoda]

cause u said there are no set

[fringe summit]

Really how I’d see it done is the theory demands a domain A, a binary function symbol m, and an identity symbol e, so the interpretation has a genuine set A, genuine function m, and genuine element e

[storm sage]

yeah, so from a syntactic perspective "for all x" is just a meaningless symbol which is given meaning only by the deduction rules that involve it

[pulsar pagoda]

deduction rules

interesting

[storm sage]

for example, the key property of "for all x" is that if you have something like "for all x, phi(x)" then you can immediately deduce "phi(y)"

it does not matter what phi is

[fringe summit]

There’s no set per se, but think of it as encoding a sort of truth-valued function which takes arguments from A, if you have \forall x:A

[storm sage]

that is, the correctness of an argument only depends on what form it is in!

not on the actual content of the argument

[pulsar pagoda]

mmm

[storm sage]

this is why stuff like this is called formal because we're only concerned about the form of the argument

[pulsar pagoda]

so its a permutation

and order matters

[fringe summit]

Permutation???

[pulsar pagoda]

kind of like what coding theory does

[storm sage]

what lol where did permutation come from

[pulsar pagoda]

wait

[fringe summit]

Yeah no it’s just syntactic, like programming language

[pulsar pagoda]

ur using form

whats a form?

[storm sage]

so like

lemme give an example

[fringe summit]

He means the literal written structure

It’s just symbols

[pulsar pagoda]

are u mapping those symbols to truth values?

[storm sage]

if you're only concerned with syntax, no

truth values are on the semantic side

[indigo storm]

#1156685182196273192 pls

[storm sage]

Imma give two different arguments about completely different things

I am 21. Anyone who is 21 can legally drink alcohol. Therefore I can legally drink alcohol.

It is raining. Whenever it rains, the ground gets wet. The ground is wet.

[fringe summit]

Not quite, we map the sentences formed out of these symbols to truth values though, and demand that the interpreted structure follow it

[storm sage]

both of these arguments are about completely different things

but they share the same argument form

X. X implies Y. Therefore Y.

so when I speak about deduction rules, I'm abstracting away from all of the specific details of an argument and only concerned about its form

does that make sense?

it's a very different way from how we usually think, I think, but it's an important abstraction

[pulsar pagoda]

yes

like in ur case is

affirm a

a implies y

so y

and a, y are arbitrary

[storm sage]

yup!

so like another example of this is:

For all X, phi(X). Therefore phi(Y).

The point of syntax is that "for all" is just meaningless symbols until you introduce this deduction rule, and then once you introduce this rule, that gives it its meaning!

[pulsar pagoda]

ok

[storm sage]

In other words, the meaning of different strings comes from what other strings you can deduce from it

[pulsar pagoda]

so

there is a word that gets thrown a lot

in logic

domain of discourse

[storm sage]

Whereas in semantics, the meaning of different strings comes from whether they are true or false in a certain interpretation

[fringe summit]

Alternatively, you can view it as a sort of thing like x:X, f:X->Y therefore f(x):Y, like function application

[pulsar pagoda]

would the domain of discourse be what it gives meaning?

[storm sage]

sharp stop type-theorying!!!!

:^)

[fringe summit]

Yeah that’s where your interpretation is, or what you quantify over

[storm sage]

this is a semantic notion

once you want to start assigning interpretations where you map the symbols into actual things in your domain of discourse, that is semantics

[pulsar pagoda]

now i get why they say logicist are good at algebra

[storm sage]

okay that is because model theory is OP in algebra

or so I am told

[pulsar pagoda]

i didnt say they cold know more than an algebraist per say

but it makes sense

since its pertaining to the structures of arguments

[storm sage]

But the point is there are two parallel approaches here

• Syntax: The meaning of a formula results from what other formulas you can get to from it using formal deductions
• Semantics: The meaning of a formula results from your interpretation, that is, how you map different symbols in the formula to objects or relations in your domain of discourse

Gödel proved the completeness theorem in his PhD thesis which (along with the soundness theorem) actually shows that these two viewpoints are equivalent for first-order logic

Any implication you can prove (syntactic) is true (semantic), and any implication that is true you can prove

[pulsar pagoda]

sort of what happens with induction and wop

like

its a if and only if

[storm sage]

yea exactly

that's another example of an equivalence

[pulsar pagoda]

https://tenor.com/bapDD.gif

[storm sage]

two sides of the same coin, if you will

[pulsar pagoda]

mm interesting

its almost like this advanced undergrad concepts are approachable if u know who to ask the right questions

[indigo storm]

#1156787258641367102 anyone knows?

[pulsar pagoda]

cause this would we covered in a undergrad logic course?

[jade citrus]

how would I do 2^2/5 - 2^3/2

[pulsar pagoda]

4/5 - 8/2

4/5 - 4

4-20/5

-16/5

@jade citrus u following?

[atomic cypress]

i think urmum forgot the parentheses around 2/5 and 3/2

and was asked to estimate this

similar to some interview problems ive gotten if so

[pulsar pagoda]

well its not that hard

[fringe summit]

All of AG :^)

[fringe summit]

You’d probably cover this + some

[pulsar pagoda]

se esta quemando el rancho? (its shit hitting the fan for the help channels?)

[storm sage]

yes completeness is like the first big theorem you'd learn

[storm sage]

you were told to stop

!noadvert

[quasi jetty]

Please do not advertise your help channel or thread in other parts of the server. There are many people who need help, and no one person can be prioritized over other people, so please patiently wait. Anyone who chooses to help you is a volunteer who is doing so out of their own kindness.

[obtuse juniper]

How do you close / mark solved a thread in #1021175428326633542

[indigo storm]

Dont tag me

[jade citrus]

srry afk but yeah

[storm sage]

please stop posting your help thread everywhere

[storm sage]

.solved

[obtuse juniper]

Thanks

[storm sage]

I think .close also works

[jade citrus]

how would I simplify 2^(2/5) - 2^(3/2)

[pulsar pagoda]

they have the same base

which is 2

start from there

[jade citrus]

ok

[pulsar pagoda]

i finished it

[jade citrus]

does it have anything to do with surds

[pulsar pagoda]

yes

[fringe summit]

This in his PhD thesis is wild, it’s not crazy hard to get to but still

[pulsar pagoda]

is it wilders than nash's?

[fringe summit]

It’s wild that the dissertation is still referenced at all

[pulsar pagoda]

how long ago was it published?

[fringe summit]

A while

[storm sage]

tbf the proof everyone learns is due to henkin

idk gödel's original proof

[pulsar pagoda]

if i remembered correctly he constructed a thing called godel numbers

[storm sage]

no

[pulsar pagoda]

ohh

[storm sage]

wrong theorem

[pulsar pagoda]

ahh

[storm sage]

gödel proved an insane amount of things

[fringe summit]

That’s incompleteness

[pulsar pagoda]

https://tenor.com/bOnH7.gif

godel was a gigachad

ngl

[fringe summit]

Well, there’s some distinction ig between a syntactic proof of completeness vs a semantic flavored one

Idk which one is henkin

A semantic one kinda falls out immediately from like, ultraproducts

[storm sage]

constructing a model to satisfy consistent sentences

[fringe summit]

Ye, godel did one based just on syntactic stuff, which is cool

[pulsar pagoda]

is fuzzy logic and fuzzy set theory covered in discrete math?

[fringe summit]

Maybe not?

Idk how much it matters too much either

[storm sage]

no

[neat lintel]

furry logic and furry set theory

[fierce pivot]

can someone pls help me with proofs

it seems not many ppl are active when it comes to proofs

[mental stratus]

#❓how-to-get-help

[solar hawk]

What

What’s that even mean

[long matrix]

fuzzy

[wispy crypt]

name the one best math book to learn all of calculus

[long saffron]

the one i wrote

you can buy it now for a small price of $100,000 + shipping + tax

buy 1 for the price of 2 and get 1 free!

[digital galleon]

calculus for dummies...

[ember grove]

hellloo

guys

[mental stratus]

sup

[sonic field]

???

They must mean in the help chs. All I get is help with proofs 👀

[white spindle]

hey guys i got an idea: assume we have two chains of audio, these parallel chains equal in gain at both -6dB. Thus, also if we have a -6dB chain we can have two -12dB chain which will equal unity with the -6dB. as well, there is the boostier which goes from 0dB to 6dB - the boostier enables more exponential behavior. as well there is the necessity for no signal at some times, but this always is to create the correct global 0dB summation at both ends. of these two domains are formed of solution of a high and low, they are the beginning and end of the timeline in question for example a trajectory... this usage of modulated unity is an efficient way to solve parabolas using only amplitude modulation of audio or in other words VCAs!

*a boostier is used with a lesser signal that goes to zero to create a resonance at some point of the lesser signal

[burnt ledge]

Guess whos back

[white spindle]

guys why do you think i am trolling i just want to talk

[burnt ledge]

i enjoy reading ur posts

[white spindle]

ahaa means a lot

[burnt ledge]

especially ones that are more like this one, where i can follow what's going on

[white spindle]

sorry for being over presumptive

[burnt ledge]

some of the other ones i have no idea

[white spindle]

huh, this is actually the domain of the heisenberg orbitals, hard maths not the electrical engineering i was talking about earlier

bitcoin is so hacky! i can see why you would have trouble understanding that specific one because it is real patchy the BTC solution

i can explain a little herein, there is a delayed integral which is taken at two places, if it is not too long and correct integral it is valid... that is how the miner talks to the blockchain, for the blockchain... hmm, a little harder, the blockchain generates a valid-through-inversion pulse if you get a GO, YOU ARE MINING BTC signal from the BTC server... This is a Mandelbrot fractal e.g. 7-4-1-4-7 is what I used for my miner... then, if the valid initial fractal is detected it passes the inversion of the fractal for the length of the fractal (phew)... as well bitcoin has 3 modes which are the relative difficulty of the mining, if the server GO, YOU ARE MINING BTC signal is a long signal then it is more difficult to mine than if there was no start signal, and your mining client will always respond to the server signal to start being more difficult mining which this happens if you are not using a real btc miner and it is pirate it is difficult to mine!

soo, what this means is you keep your signal going for the longest and you have won the pot that the holding corporation puts down, some BTC! these lengths of excursion now are very long!

[vague moat]

My brain Is exploding

Help

[white spindle]

well, you got the access to bitcoin mining with a miner which is just 5kb in this described protocol. and your wallet which actually is most of your miner pack actually. the exe of the miner is just 5kb tho here

i can get the protocol's logon down to 36kb! actual protocol is only 200kb, but huh, that detection of mine is all technos and efes and jasons work that is in them analysis packs

mining* sorry not mine

[solar hawk]

[white spindle]

@burnt ledge hey check #chill i got an image of the parabola formed, all i did was hold up button so it is totally what you get if you just advance the time

[burnt ledge]

it looks substantially shallower on the right than it does on the left... how come the parabola is asymmetric?

[white spindle]

huh, that is because all i am doing is some bending like aang not actually solving any equations! what comes out could be anything!

hey gimme a sec and i can get you another parabola

or uh, whatever you call it

#chill message

that is where i have messed up the equals, but it is still a parabola - note how it goes down first, then up

[mint patio]

@river moon Hi

So like

We started off with the purely discrete case, a spring element

[white spindle]

yea uh it is just a pointonemeter that is based around or varisistor

[mint patio]

You get what's called an element stiffness equation for that specific element

Then you look at an assembly, a combination of elements

And with some math you can find what's called the global stiffness equation, which relates all of the nodal forces to the displacements and stuff

[white spindle]

all these resistors have to be connected to ground and have no crosswiring, this is not a perceptron!

[river moon]

ah yes, ohm's law x'' = ma

[mint patio]

There's some rules for connecting all of the different element stiffness matrices

But the end result always looks tridiagonal, like you said

So that's why I was like

Wait you know about this?

Ok so after that

[white spindle]

hmm, they are yea not actually parabola unless you have some kind of complete set

[mint patio]

Now we're going to look at a continuous element

[river moon]

I know exactly 0 physics

[white spindle]

yea that is what i meant, u have continous then it is possible to approximate a parabola

[mint patio]

dw about the physics

You just need to understand that

[white spindle]

that is what U 1 implies in physics that we have a field of this

[mint patio]

Every element has an element matrix equation

[white spindle]

huh but what if i am more water than air

[mint patio]

And for an assembly/composition/arrangement of elements, we can combine all the element matrix equations to get a global equation

Which always looks tridiagonal

[mint patio]

Now for a continuous element we do the same thing

And you can see my element matrix equation at the bottom right

Are you following so far?

Now the cool part is that

[white spindle]

gosh yea so what i meant by water is that i have specific continous element forma which i use already and that having more than what is already there which is what physics implies is ego dyscongruent

[mint patio]

In the continuous case

Those displacements u_i and u_j

are actually partial derivatives

[white spindle]

huh, yes there is probably some evidence of this i have said on reddit!

u-g and u-i are supersets of the evidence i laid!

but probably others have done it it is verry common

[mint patio]

And so by asembling the continuous elements like we did before we get the same tridiagonal system but as a PDE this time

which is why I was surprised you knew it'd be tridiagonal hehe

But Sverek explained it

Sorta

I have to do some reading

LOL

[river moon]

[white spindle]

huh, yea u got some buffer which forms which is u-d based

[mint patio]

Actually my matrix equation isn't even fully correct

Because like

[white spindle]

that is all based around timeline which is what you said that that is that continous element time leads to the formation of said maths

what we have here is just some arbitrary imaginary time which is some space planets from some space exploration game

[mint patio]

The stress terms should actually be partial derivatives of stress terms

[white spindle]

these are not very common isometric solutions and that is not for bending that is for the physics, i am after specific imaginary time of starfield planet menu

[mint patio]

So you'd end up with partial derivatives on both sides I'm fairly certain

[white spindle]

*isometric is what is attempted and yea there is the introduction of resonant partial derivative with boostier

*also the later linked is a molinya view so it buggers off into eternal bang if we try to use it as a start to relativity without a contrary partial derivative at the other side

huh well if you do this right it is a line that is just an exponential curve and you have no triagonal formation of endpoint vanishing, what i did is bending to form some isometric view

*these are valid imaginary time because imaginary time implies all multiverse thus these specific time loops are seen SOMEWHERE but maybe not anywhere but imaginary time

[silver gale]

Hello

[neat lintel]

[sour gulch]

Math challenge!
If B+A =10 and A - B = 6.
What are the values of B and A

(It’s really easy)

[neat lintel]

#❓how-to-get-help

[sour gulch]

Bro it’s so easy

[neat lintel]

if it's so easy then why don't you do it yourself?

[sour gulch]

Ok

B = 8 and A = 2

See

Easy

[neat lintel]

lol

[sick kite]

Tteppa stop trying to hide the fact you can't solve it smh

[neat lintel]

so true

A = 4001 and B = 435345

[sour gulch]

@neat lintel

[white spindle]

@mint patio #chill message

[sour gulch]

Solve this

[mint patio]

Don't ping me

[white spindle]

yo there is where we don't have the trilinear artefact!

sorry wont ping u

that is where i had solved it mostly right, but it is the wrong direction here! sorry

[silver gale]

How is 2 - 8 = 6

[neat lintel]

#❓how-to-get-help

[silver gale]

It’s not

[neat lintel]

#❓how-to-get-help

[silver gale]

I don’t need help

[sour gulch]

Ops

[silver gale]

B is 2 A is 8

[sour gulch]

I mean 8 - 2 =6

Ye

[neat lintel]

please for the love of god get your homework in a #❓how-to-get-help channel

[mint patio]

I don't know what I want to do with my life fuck mannn