like
#serious-discussion
leaden skiff
like they want you to prove the formulas they've taught you?
quaint loom
yes
leaden skiff
yeah i don't think that's very helpful tbh
i havent seen a very good proof of it anyway
not without eulers formula
quaint loom
it's a bunch of geometry and algebra
I've seen some resources essentially at a stage use one of the formulas when proving the other which kind of defeats the point of it
leaden skiff
I've seen some resources essentially at a stage use one of the formulas when pro...
exactly
i can show you a proof of one using eulers formula if you'd like
all you need to know is i^2 = -1
quaint loom
i can show you a proof of one using eulers formula if you'd like
Sure!
leaden skiff
alright which one would you like
quaint loom
sin(v+u) = sinvcosu + cosvsinu
leaden skiff
sin(v+u) = sinvcosu + cosvsinu
$e^{i(x+y)} = \cos (x+y) + i\sin (x+y)$
fathom swallowBOT
Ninja II
leaden skiff
so first of all does this make sense
quaint loom
Makes sense as I assume it to be true yeah
leaden skiff
Makes sense as I assume it to be true yeah
$e^{i(x+y)} = e^{ix}\cdot e^{iy}$
fathom swallowBOT
Ninja II
leaden skiff
this is just the standard exponent rule
$e^{ix}\cdot e^{iy} = (\cos x + i\sin x)(\cos y + i\sin y)$
fathom swallowBOT
Ninja II
quaint loom
Right
leaden skiff
so we can equate the "real" and "imaginary" part. cause when we have a+bi = x+yi that means a = x and b = y
fathom swallowBOT
Ninja II
leaden skiff
@quaint loom i hope this makes sense
quaint loom
**Ninja II**
So
quaint loom
**Ninja II**
if we divide both of the imaginary numbers by i we get that and with the real numbers we have cos(x+y) = ....
leaden skiff
if we divide both of the imaginary numbers by i we get that and with the real nu...
yeah this also proves that $\cos (x+y) = \cos x \cos y - \sin x \sin y$
fathom swallowBOT
Ninja II
leaden skiff
and in fact the reason there's a minus sign there is precisely because i^2 = -1
quaint loom
and in fact the reason there's a minus sign there is precisely because i^2 = -1
Interesting, so what if y = x
leaden skiff
well try it $\sin(x+x) = \sin(x)\cos(x) + \sin(x)\cos(x) = 2\sin(x)\cos(x)$
fathom swallowBOT
Ninja II
quaint loom
sin2x = 2sinxcosx
leaden skiff
exactly
quaint loom
So we essentially get all of the formulas
those formulas
cos(2x) = cos^2x - sin^2x neat how that works
leaden skiff
So we essentially get all of the formulas
yup this gets you every identity you learn in trig class
quaint loom
cos(2x) = cos^2x - sin^2x = cos^2x -(1 - cos^2x) = 2cos^2x - 1
cos(2x) = cos^2x - sin^2x = 1 - sin^2x - sin^2x = 1-2sin^2x
quaint loom
yup this gets you every identity you learn in trig class
That's pretty neat and not messy
Euler's formula doesn't seem to be in the formula list for the course or in the studying material, just de moivres theorem
quaint loom
$e^{ix}\cdot e^{iy} = (\cos x + i\sin x)(\cos y + i\sin y)$
why aren't both terms multiplied by i?
quaint loom
**Ninja II**
Like, why does i go where it goes
quaint loom
Right, that's the theorem
sick burrow
holy shit I've lost very active
rotund steppe
congrats on having a social life
leaden skiff
holy shit I've lost very active
how does grass feel
sick burrow
idk, I have boots on and there is snow outside
fair mural
snow is trash
sick burrow
the real reason I lost very active is that I got back into comp tf2 so I've been spending my time on discord doing that
although I am back on campus now
sick burrow
it was really funny though running into fiona in the rgl discord
sick burrow
that games not dead yet?
far from it
leaden skiff
i thought hackers killed it
sick burrow
the game just refuses to die
sick burrow
i thought hackers killed it
they killed official servers
leaden skiff
sick burrow
but the tf2 community refuses to let their game die
leaden skiff
only comp game i play is RL
vast surge
Yuck my topology class this semester isn't skipping Munkres chapter 1
sleek wing
Gonna need a lore dump on Munkres chapter 1
surreal sapphire
its just an "intro proofs" chapter
odd narwhal
devout nacelle
Yuck my topology class this semester isn't skipping Munkres chapter 1
I've signed up for an introductory topology course that plans to follow the pointset half of Munkres linearly; week 1 and the discussion forum is laden with questions about implications and vacuous truths. 😭
The instructor ended up giving a detailed explanation to clarify it
devout nacelle
I'm just expecting a lot of people will discontinue by Week 2
I just hope I can survive it till the end 
errant furnace
You can definitely, good luck
devout nacelle
I'd be lucky to survive this, maybe if I reduce my appetite for other topics I could get through it
devout nacelle
Online course, everything's recorded 🤷♂️
surreal sapphire
do you just get access to all videos at once
devout nacelle
No, week by week
surreal sapphire
the only sad part is no taste of algtop
devout nacelle
Hopefully they'll offer the Intro to Alg Top course next sem
This sem I've signed up for pointset top, rings and fields, graph theory, probability and stochastics for finance, advanced probability theory (not really advanced I guess, more like a second course?)
devout nacelle
Yeah, just hope I don't quit midway like I always do. 
vast surge
My week 1 is sections 1.1-1.4, and I'm afraid we won't speed up. So now I'm tediously going over 1.1 homework exercises and trying not to be bored with it.
devout nacelle
Good luck
jovial ember
Instructors actually enforce your classes having prereqs challenge 2022
sick burrow
Chmonkey 
jovial ember
bronze pelican
Instructors actually adapting their course materials to their students level moment
tiny marten
This sem I've signed up for pointset top, rings and fields, graph theory, probab...
Jeeze
I never understood stacking classes this high
But I was always doing projects and stuff so that prolly reduced my bandwidth
vagrant kestrel
no prereqs 👏 no gre 👏 no school
viscid pecan
@devout nacelle I started going thru Munkres and Casella and Berger
I like both books very much so far 👍
quaint loom
I kind of seem to learn better on my own than in a classroom setting
devout nacelle
<@!697848465819959388> I started going thru Munkres and Casella and Berger
Goodluck!
devout nacelle
I never understood stacking classes this high
I'm not going to have an easy time with all this, ngl. I'm working on an internship on the side as well. I do see myself dropping one or the other course eventually.
silk elk
I'm not going to have an easy time with all this, ngl. I'm working on an interns...
Do you have any tips for getting an internship in the second year?
I'm in my 4th semester right now
devout nacelle
Guess it's very region-specific, I applied to some places through an internships portal. You could try looking for something along those lines.
brave hollow
@neat lintel you can think of a series as sequence of partial sums or a product as a sequence of partial products, but what you're doing is taking the k-th term and eliminating a term from it because it will repeat in the next term ...
(2^k * cot(x) * tan(x/2^k)) turns into 2^k * cot(x) which is different,
and to provide a counter argument for what you said I can say there is a tan(x/2^(k +1)) in the next term and we will be stuck forever cancelling out terms which is why we look at partial products and their limits
brave hollow
idk I was just looking at your solution not at how to solve the problem itself which looks very
neat lintel
The problem is sus
@brave hollow i don't wanna solve this anymore
To number theory and beyond!
brave hollow
I wouldn't wanna do it either
silk elk
Guess it's very region-specific, I applied to some places through an internships...
Internshala?
Or did you apply through your college portal?
devout nacelle
Internshala?
Yes
devout nacelle
No, it's some work around grade-school mathematics. Can't share the specifics due to a confidentiality clause.
devout nacelle
Recruitments seem to be hot this time around, good luck.
tiny marten
my research supervisor has been working on a grant for a data science thing, he runs a data center
a 10mil dollar grant
700 pages of grant proposal
there are some monster resources out there for data science rn its nuts
seems like the hot thing to do an internship in
devout nacelle
tiny marten
he said he only wrote 200 pages and auto generated the rest but still
deep mango
Lmao
How does anyone read a 700 page grant proposal
surely you just read 30 pages and then say yes or no
pale orchid
DFG proposals have like a 25 page limit
tiny marten
idk he showed me the doc it's fuckin huge
it's like 10+ docs actually, including inclusion statements and plans on outreach, etc
just the research is a facet, it is probably intended to be used for a pretty big and long program
like my research program i am in is a fraction of that grant size
if they are gonna fund you for 5-10 years you gotta work for it i guess
or whatever, maybe he wants a supercomputer idk what the real details are
a grant of that size is probably federal and/or military, too
he said his theory is that you gotta be serious to write the grant
to put it into perspective i am in a thing that was well over a million dollars and is supporting us for years
pale orchid
consider that funding 1 phd student for 4 years is roughly 200k$ already, but the grant includes publishing and travel costs, some hardware, possibly paying for student colabs (masters and under), etc
you can hit a million just from funding 2 students and some related costs
sleek wing
$200k 
wtf
pale orchid
hmm?
sleek wing
that just seems VERY steep
hollow sundial
$200k <:stare:826920038623346729> wtf
tution is ridiculously expensive
pale orchid
200k for the whole 4 years
hollow sundial
but also $50k/year salary isn't exactly exorbitant
sleek wing
hold on
pale orchid
50k a year before taxes
hollow sundial
even less so since that includes travel, hardware, etc.
pale orchid
ah my wording was poor, i meant those costs have to be factored in separately
which is why just funding 2 people is very expensive
that goes on top of the ~200k
hollow sundial
oh ok. yea $50k is pretty average for math students. some computer science phd students get like $70k
pale orchid
yeah, it'll vary up and down depending on field and region
hollow sundial
scales pretty closely to real life
pale orchid
lol
quaint loom
On the topic of Spivak, are there any advantages to learning through a proofs based approach / using Spivak?
surreal sapphire
you learn to do mathematics
which might be something you want
(it might also not)
quaint loom
you learn to do mathematics
when do you not learn to do mathematics
surreal sapphire
mathematics is when you prove stuff
hollow sundial
hot take
surreal sapphire
if you dont want to be a mathematician, not doing proofs is fine
i guess one can argue that a proofs based approach gives you a better understanding of the topics and thus you are better able to apply what you have learned
but i dont know how true that is in any real life (think engineering) situation
toxic schooner
"bro wdym i cant work with continuity if i cant define it on abstract metric spaces"
sleek wing
this is me but unironically
toxic schooner
Based wew as always
tall badge
"bro wdym i cant work with continuity if i cant define it on abstract metric spa...
wym u cant?
tall badge
continuity on met spaces is a thing
tall badge
more like derivative on topo space
toxic schooner
sleek wing
I legit have to translate the metric space definition into (R, |x-y|) if I want to use it there
steep mountain
working on abstract metric spaces is more fun tbh 
toxic schooner
I agree
tall badge
sad diffeo noises
quaint loom
i guess one can argue that a proofs based approach gives you a better understand...
Yeah, I considered that it might be more rigorous and thus offer a greater understanding.
I'm probably looking at a degree in Engineering Physics or Engineering Mathematics.
In terms of math the former would include courses in like: Linear algebra, multiple variable analysis, differential equations and transformations, "numerical methods", probability theory and vector analysis.
The latter would ontop of that include several mathematical analysis courses and Discrete maths.
surreal sapphire
Yeah, I considered that it might be more rigorous and thus offer a greater under...
in the former you can (probably) do without a lot of proofs, the latter will require more
you can consider trying spivak as an opportunity to see if you like proofs
and have this help in your decision
neat lintel
A, B & C form the vertices of a triangle.
∠ CAB = 90°,
∠ABC = 36° and AC = 8.8.
Calculate the length of AB rounded to 3 SF.idk if im on the wrong channel but please help me finish this
i need this
someone helpp
surreal sapphire
please read #❓how-to-get-help @neat lintel
neat lintel
it says discussion
surreal sapphire
indeed
this is not a topic for discussion, it is you asking for help
go to a math help (available) channel
quaint loom
you can consider trying spivak as an opportunity to see if you like proofs
That seems like an interesting idea. Are there any downsides to the proof heavy approach? Something I would be missing out on?
surreal sapphire
it will take more time i guess
and there might be less computational exercises, which is bad if your exams want you to compute lots of integrals or wtv quickly (maybe?)
i guess you can always grind additional computational exercises
i never actually took a (computational) calculus class, i only know the proofs approach
quaint loom
i never actually took a (computational) calculus class, i only know the proofs a...
Ah yeah I see. I've been doing some reading and seeing as I'd be taking these HS classes which essentially covers the more computational and basic approach to these subjects, Spivak might possibly be good for going deeper.
And presumably what I learn through Spivak should translate over to when I'm doing stuff of a more computational nature as I'm guessing that's a part of the idea behind the methodology?
tiny marten
a big majority of americans learn computational calc
including math majors
i imagine it does set you up better to do it rigorous from the start
because there is a phenomenon of students getting crushed by real analysis
quaint loom
i imagine it does set you up better to do it rigorous from the start
And Spivak's methodology would be the more rigorous one then. Is extensive knowledge on proofs a prerequisite or does Spivak adequately cover that at the start?
tiny marten
i have actually never read spivak, but i do believe it covers what you need to read the book assuming that you have all pre-calculus knowledge and a lot of patience
it is very detailed from what i understand, but i dont usually read huge books
in some way a lot of pure math comes from rigorous calculus tho, so it is good for foundation if you are at that point
quaint loom
Well I've already done some calculus through school, comparatively their approach is very basic and light. So I'm familiar with limits, derive, primitive func, integrals on what I would call a surface level
tiny marten
you are probably in a good position to read spivak then
i think someone should know some calculus before going spivak 
i just went straight to analysis and had some trouble then just kept taking analysis courses
and now i basically just do analysis lol
tender tulip
S_n(x+1) -S_n(x) = x^n @exotic yacht
S_0(x) = x, S_n(0) = 0
S_2(x+2) - S_2(x+1) = (x+1)^n = x^2 + 2x + 1 = (S_2(x+1) - S_2(x)) + 2(S_1(x+1) - S_1(x)) + (S_0(x+1) - S_0(x))
ancient flame
if I write an integral as $\int_{[a, b]} f(x) \mathrm dx$ instead of $\int_a^b f(x) \mathrm dx$, does it make me look smarter?
fathom swallowBOT
g
ancient flame
well I get dem bitches
ancient flame
lmao
deep mango
if I write an integral as $\int_{[a, b]} f(x) \mathrm dx$ instead of $\int_a^b f...
The former should be interpreted as a Lebesgue integral.
Or an integral over the manifold with boundary [a, b] I guess.
Either way you look smarter
ancient flame
yay
ancient flame
no clue
deep mango
They are the same
ancient flame
I knew that
deep mango
I guess the confusing part is that $\int_b^a f(x) dx$ makes sense and is the negative of the original integral, but $[b, a]$ isn't even a set (or at best, it's the empty set).
fathom swallowBOT
ryc
deep mango
So this is something to keep in mind, the former notation loses a notion of orientation (this is sometimes a good thing and sometimes a bad thing)
fair mural
i would think that it’s the empty set
ancient flame
[b, a] isn't a set because we read intervals left to right, and if you start at b and go to the right there's nothing, right?
ancient flame
alright
ancient flame
are lebesgue integrals hard
deep mango
[b, a] is defined to be the set of points x so that b ≤ x ≤ a
ancient flame
kind of a vague question but whatever
vivid halo
Idk depends on the integral lol
deep mango
So this is the empty set if a < b
Lebesgue integrals are not things you actually do
Or
ancient flame
oh
deep mango
Sometimes you do them
But
Usually if you are doing them they're the same as the riemann integral
The point of the lebesgue integral is to make more functions integrable
fair mural
do you have a function for example
deep mango
You know how we need to turn Q into R by taking limits so that we get things like sqrt(2) and pi?
fair mural
deep mango
Because those things are useful, and it's also useful for R to be "complete"
ancient flame
isn't the function that's continuous for rationals but discontinuous for irrationals non-riemann integrable but lebesgie integrable
vivid halo
The indicator function of the rationals sure
ancient flame
yeah that's the word I was looking for
deep mango
The lebesgue integrable functions complete the riemann integrable functions in exactly the same way
(for example, your function is the limit of functions which are 1 at the first n rationals and 0 elsewhere, if the rationals are put in some sequence)
(this is sort of a lie, actually the lebesgue integral thinks all these functions are the zero function)
But thats the premise
ancient flame
I see
deep mango
The lebesgue integral takes a lot of work to define, but it's work that is widely generalizable (e.g. all of probability theory follows the same construction) and completeness of integrable functions is so useful that it's worth it
It's silly to leave holes in the set of integrable functions
jovial ember
I think it’s cool you can integrate thomae’s function using the Riemann integral
At least on any finite interval
And I mean I guess since it’s always 0 this lets you go across all of R
last oxide
are there other types of integrals
yeah, like henstock kurtzweil
ancient flame
oh my fuck
hollow sundial
dafuq is it thomae's day or something. it rarely ever comes up but today it comes up twice
#help-20 message
latent patrol
Can someone tell me what I need to learn in order to understand this paper. I know I’d need abstract algebra, but this seems like more.
There’s the title if you think it’s sus
neat lintel
have you tried reading it?
skimmed it. seems digestible with one or two classes in algebra
is there a particular reason you want to understand this paper?
latent patrol
have you tried reading it?
Yea I have.
latent patrol
is there a particular reason you want to understand this paper?
I’m mainly trying to understand the determinant and how it analogues exist for more abstract algebraic structures. I’m in a linear algebra class, but the definition of the determinant and the way it’s introduced doesn’t seem at all motivated
I hear the geometric volume interpretation but it seems that that goes away once we stop talking about real matrices
latent patrol
have you tried reading it?
I’ll read through it again though, and assemble a list of questions I have
And figure it out
vivid halo
@latent patrol at some point you’ll learn that the determinant is equal to the product of eigenvalues of a matrix, and this can be taken as a definition and generalizes to any field of coefficients (real, complex, whatever)
There’s an even fancier explanation for the determinant in terms of something called the exterior algebra, that’s a very nice object that generalizes well. This level isn’t necessary, but it is yet another explanation.
The paper you post mentions the exterior algebra and instead takes a different approach, but I would argue the exterior algebra approach is the most natural and closest to what shows up in other parts of math a lot
thorn gust
imo the determinant is best motivated by looking at n-dimensional multilinear forms over a n-dimensional vector space and requiring these forms to be alternating
This may be what @vivid halo is referring to but i'm not familiar with what exterior algebras are...
vivid halo
what you're referring to is exactly what the exterior algebra encodes
thorn gust
ah ok, heres another thing i've got to read up on wikipedia : )
vivid halo
yeah if you're already comfortable with alternating multilinear forms the exterior algebra is just the algebra of these
it's the quotient of the tensor algebra by the ideal generated by alternating expressions
but yeah we're talking about the same thing 🙂
thorn gust
Oooh that makes more sense than whatever the wiki page is lol
Btw, do you guys think that, for someone who is mainly interested in algebra & topology a course in mathematical logic is important?
Because I'm kind of tempted to take "fancier" courses but don't want to skip a important "block"
vivid halo
depends on how deep you're getting into it, I don't think getting too deep into mathematical logic and foundations is enormously useful for the majority of people in these areas
certainly you should be familiar enough with logic to be able to write proofs, do standard set theory with nothing too fancy, etc
thorn gust
right that was also my feeling
the course is a semester course at bonn, so while it starts off quite tame, i know for a fact its going to get real fancy real quick lol
vivid halo
hmm yeah maybe
if it's an intro to proofs course it won't get too fancy
if it's like, a graduate level course in set theory and mathematical logic then yes it will get fancy
thorn gust
no its def not that
it goes from like first order logic and goedel completeness to herbrands theorem
and i don't know what either of these things are lol
oh wait i missed a page in the index my bad
vivid halo
ah okay so it's like
bold nacelle
right that was also my feeling
the course is a semester course at bonn, so whil...
i dont think its gonna be super special in any way. Im taking the model theory course this semester and even though they said you should have taken the undergrad logic course many people didnt, and the course started pretty slow too
vivid halo
intermediate level fancy
like a proper course in mathematical logic
idk how useful it is for most people but some of the stuff is cool to know I guess
bold nacelle
compactness is pretty cool and good to know imo
regal charm
hi,Im just starting out with learning machine learning andhave some doubts regarding differentiability in multi dimensional spaces.I understand the directional derivative but cant find a proper explaination regarding differentiability..I dont know where to ask about this
thorn gust
i dont think its gonna be super special in any way. Im taking the model theory c...
ok thats good to know, thanks for the input, ig ill try and read up on it on my own a bit more and see whether i am interested in it (though i kind of doubt that)
latent patrol
There’s an even fancier explanation for the determinant in terms of something ca...
I would definitely be interested in learning that. What are the best texts for exterior algebra
vast surge
I would definitely be interested in learning that. What are the best texts for e...
Any algebra text, just don't open it up and read the inside.
latent patrol
Any algebra text, just don't open it up and read the inside.
Lmfaoooo
Warning noted
vast surge
Because it's the exterior of an algebra textbook
latent patrol
Because it's the exterior of an algebra textbook
Lol I thought you were saying it’s hell on the inside
I see what you mean now Lmfao
neat lintel
What websites are there for like practice problems? I am looking for Algebra, Precalc, and calculus stuff.
prime plover
I want to find a discord that is like this one but for computer science, anyone got a discord channel recommendation for me?
just asking because there is no theory of computation channel here right? (not that i can see anyway).
vast surge
What websites are there for like practice problems? I am looking for Algebra, Pr...
Khan Academy
vast surge
I want to find a discord that is like this one but for computer science, anyone ...
#old-network has one
prime plover
LOL thanks, apparrently i was already in the disc channel
neat lintel
Khan Academy
For practice problems?
vast surge
It has a bunch
neat lintel
Kind of looking for a different website but I will check Khan as well since I thought they only offered courses
vast surge
Start like here or something: https://www.khanacademy.org/math/algebra
There's also the obvious other suggestion of buying a textbook that has the solutions to odd-numbered problems and working through those, and then check the solutions.
neat lintel
Start like here or something: https://www.khanacademy.org/math/algebra
This will be a good refresher
I thought khan was more focused on high school math but I guess I was wrong
vast surge
They do everything from kindergarten to early university.
untold badger
Hey guys new to this discord. Nice to meet yal'l
Are there any new cool papers or research concerning probability theory outside the applications in ML and AI?
I was kinda scouring the internet and couldn't find much
Quantam theory seems to have a lot of application to it, but I'm sure theres so much more out there lol
neat lintel
Because it's the exterior of an algebra textbook
lol good one dud
boom exterior algebra
i wonder if exterior algebras are isomorphic to clifford algebras
untold badger
Im kinda interested in both, but mostly on the applicative side. This is how I'll sort of rephrasing. I want to know what the new challenges are in probability theory from a pure math perspective, and I want to know some of the more mathematically intense applications (the we use this to build stronger buildings)
@neat lintel for some perspective, I've taken/am taking the tougher probability theory and statistic courses, and I'm at a point where I'm thinking how much deeper does this go, and where are we using the more complex stuff.
Appreciate you man!
Also gotta be honest, definitely got kinda toasty and watched the Foundation tv show and wanted psycho history to be real lol
^if you get the reference lmao
neat lintel
is it ok to ask for help on a quiz ive already taken?
vagrant kestrel
yea
neat lintel
as long as you're not giving the answers to your past self
fair mural
wooden flax
what does graduate level set theory do
fair mural
why do people respond to questions when all they have to say is idk
deep mango
what does graduate level set theory do
Forcing is probably one of the topics you'd see a lot of
fair mural
banned
wooden flax
why do people respond to questions when all they have to say is idk
idk
frail sail
why do people respond to questions when all they have to say is idk
to show that they didn't just ghost the person
fair mural
i’m talking about someone asking a question and then sole random person comes in and all they say is idk
as if that added any value
frail sail
ooh
rose dock
as if that added any value
Idk, maybe it does
stray kite
how do you guys usually use textbooks when youre going thru multiple texts in a course?
i just use one to study and the others for problems
dawn bridge
how do you guys usually use textbooks when youre going thru multiple texts in a ...
pick and match the parts relevant to your course from each textbook
if both textbooks cover a part then just pick your favorite
prime plover
i’m talking about someone asking a question and then sole random person comes in...
They add value by having someone point out that people doing it add no value.
steep mountain
how do you guys usually use textbooks when youre going thru multiple texts in a ...
i usually just have
1-course book (sufficient to study from and work with for whats required of me)
2-reference (usually much higher level than my course with some challenging exercises and more rigorous proofs)
which usually goes like
studying from course-->checking reference-->exercises
but maybe thats not the most optimal way of doing it, it just works fine for me
quaint loom
How does time dilation by travelling near c differ from the effect a high gravity object ie blackhole has on time?
fair mural
this is a question better asked in the physics server
but i guess you can see what answers you get here
quaint loom
I suppose so Yeah heh, I’m not in that server
fair mural
it’s in #old-network
stray kite
is "formal logic" the same as mathematical logic
tiny marten
in the context of people talking about math it is
but it can include philosophy
informal logic is basically rhetoric
or contextual things
almost no one means philosophy when talking about formal logic in physics and math tho
or cs
stray kite
is the formal logic in philosophy the same thing as whats used in maths? or is it smth different
fair mural
bruh
tiny marten
is the formal logic in philosophy the same thing as whats used in maths? or is i...
fundamentally they are similar
in philosophy you use propositional logic or usually something like first order logic (or more sophisticated still)
there is a pretty high end to philosophical logic since kripke and others heavily formalized parts of modal logic
and were able to find places to use forcing, a proof technique from mathematical logic
so you get certain proofs which essentially are mathematical logic, and it works because there isnt a strong difference between the two "kinds" of logic
people also used to try to use set theory a lot but it sorta isnt a good thing to base a lot of epistemology on it turns out
at least the way people kept doing it
but that also reflects how people have changed thinking about "foundations" to math/philosophy
humble solar
Kripke developed his semantics for modal logic before Cohen discovered forcing
humble solar
Fair enough
tiny marten
it's also true that modal logic developed a lot after the kripke semantics stuff, tho i dont really know a lot about it
but people give him the big ups i guess
humble solar
Just trying to clarify the chronology on forcing
tiny marten
when did cohen do forcing
humble solar
1963
tiny marten
oh, well i guess he was like teaching in undergrad
so he must have been publishing early lol
humble solar
It lacks everything that makes forcing in set theory actually somewhat difficult
humble solar
In retrospect
stray kite
so you get certain proofs which essentially are mathematical logic, and it works...
huh, interesting
i mean it seems weird to me to use mathematical logic in anything other than... mathematics but i know jackshit about philosophy lol
tiny marten
i dont know a lot about the details, Obyeag knows more and from what i know it is kinda like what he says
it's not as challenging, generally
so you wont really find a mathematical logician interested in some philosophical logic problem most likely
but some philosophers are mathematicians so it's not black and white
vast surge
Bertrand Russell is claimed by both mathematicians and philosophers.
tiny marten
yeah his greatest achievements are in writing
stray kite
the creator of human logic or something
dense belfry
So is Hilary Putnam
tiny marten
nobel prize, etc
vast surge
So is Hilary Putnam
Bill Clinton's wife?
tiny marten
lol
dense belfry
stray kite
mathematics, logic, set theory, linguistics, artificial intelligence, cognitive science, computer science, and various areas of analytic philosophy, especially philosophy of mathematics, philosophy of language, epistemology and metaphysics. He was a public intellectual, historian, social critic, political activist
how do you do that many things
vast surge
> mathematics, logic, set theory, linguistics, artificial intelligence, cognitiv...
Step 1. Be Bertrand Russell
Step 2. ???
Step 3. Profit
stray kite
attempting step 1 thank you for the advice
tiny marten
bertrand russell is admired in philosophy for daring to dream of big ideas
ofc a lot of his most famous projects sorta fell apart
dense belfry
Can you give some examples loldongs?
tiny marten
in like, math/logic/phil combination things
well the principia mathematica is usually considered misguided
but super ambitious
dense belfry
I wouldn't say principia fell apart, it was incredibly important
To the development of logic
tiny marten
and the incompleteness theorems directly contradicted his theory of how logic and math interact
vast surge
He said, after he learned a bit of Mandarin, that all his attempts to make the principia super objective were completely biased by his English-speaking brain
dense belfry
That's a D tier take
tiny marten
the project of the principia did fall aprt
it did not continue in that logicistic vein
dense belfry
I mean literally the principia grew into the development of type theory
vast surge
He also never managed to find the teapot that he left in orbit around the sun between the orbits of Earth and Mars.
tiny marten
i mean i didnt say that
dense belfry
Sorry I guess you didn't
vast surge
Principia is super important. It just didn't accomplish what it set out to accomplish.
tiny marten
bertrand russell is incredibly important
but none of his major forms of logicism continued far beyond these works, philosophically
they may have lead to developments in mathematical logic
vast surge
Principia is super important. It just didn't accomplish what it set out to accom...
Arguably one of the most important texts of the 20th century
tiny marten
bertrand russell intended for a holistic program of logicism that ran across philosophy and math, and it didnt work
but it lead to some really great ideas
in both fields, actually
stray kite
i rly should read more on philosophy huh
vast surge
i rly should read more on philosophy huh
Specifically Bertrand Russell
tiny marten
the turn of the 20th century is pretty unusual tbf
it's like when people discovered calculus on steroids, in terms of everything smooshing together to make mega-theories
it's why analytic philosophy people larp that era real hard, it's amazing
50s was good too with the development of computational linguistics and stuff like that
plus all the social change, set the stage for some cool formal stuff
humble solar
I would not agree that the principia is particularly important
It's interesting historically
but it would be a complete waste of time to read it nowadays
tiny marten
as a whole it's pretty important but i dont know what it did mathematically tbf
could be minimal for all i know
humble solar
it bears very little resemblance to anything done today
There is a thread from it to modern type theory, but it's somewhat subtle
If one is willing to take the axiom of reducibility for Russellian ramified type theory then it reduces to simple type theory
But this was obviously much better organized by Church
I think it's pretty worthless mathematically tbh
tiny marten
i learned about the type theory stuff a bit in a philosophy class but it's been so long now
he had some different names for stuff but it was kinda there iirc
tbf if he had turned out to be right about logic he would be the greatest philosopher of that era instead of simply one of the greatest
mint patio
@deep mango #advanced-lounge message
Is chalk really that much better LOL
I saw on a YT video that chalk was in short supply because professors were hoarding it
😭
deep mango
well i can't write on a chalkboard with a marker...
and the board in my office is a chalkboard
mint patio
I've never used it to do math, I prefer dry-erase on whiteboard
mint patio
and the board in my office is a chalkboard
Why don't they just update it
mint patio
but the chalkboard is nice
Just in terms of feeling? :P
tender musk
Whiteboards are by far superior
carmine bane
Anyone seen/know a book that uses notation $\int_{a}^{x} f(x) ; dx$?
fathom swallowBOT
ScapeProf
compact tartan
carmine bane
Yes I want a book reference to such a notation, I really don't think any book uses such a notation
long matrix
Not sure where to start looking, but at least if it was a book introducing calculus, it almost certainly would avoid this so readers aren't confused.
Although ^ there will be sources which do this (bad for those new to calculus)
However, when things get complicated
fair mural
gosh that’s so cursed
long matrix
It becomes more likely an author uses this
fair mural
However, when things get complicated
always gotta change complex to complicated because of, you know
lol
long matrix
Eg. when they have a bunch of formulas and they're just substituting
Rather than introducing a new dummy every time
They stick with x
sonic ether
how useful would the second one be for a computer scientist
it only seems to be offered for people in video game doe
rotund steppe
computer scientist is a pretty broad word
sonic ether
right
rotund steppe
I mean sure if you ever have aspirations to take some sort of data science class or probability class or machine learning class I assume you need probability which probably needs calculus at the very least
a class on proofs would be useful (they usually have discrete math for cs ppl)
sonic ether
i would really like to get in a position that involves both cs math and physics
computer graphics is the only thing that comes in my mind
rotund steppe
I mean if it's going to involve math or physics then ofc
vivid halo
Anyone seen/know a book that uses notation $\int_{a}^{x} f(x) \; dx$?
hopefully not, this is somewhat bad notation
it's forgivable if you make a big warning about separating the integrand variable from the bounds of integration
but in most cases you try to avoid this by not reusing a variable name
woven cypress
Hello
I'm looking for somebody to do learning cooperation with and stay accountable all the day
condition :
- stay in the cooperation almost all the day (except from eating time - sleep time - time from 6 pm to 7:30-7:45 pm Greenwich time )
- the cooperation will be in google hangout
rotund steppe
just put your phone away laptop away and sit in a library
don't need someone online to keep you accountable if you really need to be working
bronze pelican
Hello
I'm looking for somebody to do learning cooperation with and stay accounta...
Uh this is just creepy
No one is going to sit in a Google hangouts with you for the whole day
This is just a ridiculous request
woven cypress
bronze pelican
maiden bear
tender tulip
Hello
I'm looking for somebody to do learning cooperation with and stay accounta...
Is this a joke
maiden bear
hope so
neat lintel
Hello
I'm looking for somebody to do learning cooperation with and stay accounta...
You should talk to your study advisor/teacher/parent
neat lintel
don't need someone online to keep you accountable if you really need to be worki...
If they feel they need this it’s completely unhelpful to tell them
If there are no other issues in your life, one does should need this level of accountability, one also shouldn’t need to plan to work this much, this suggest you might have something going on
But this is an extreme enough request that if you feel you need this
You would probably benefit from seeking out a physiologist
adhd is real if you feel you have symptoms, getting diagnosed may help you
neat lintel
yeah 24 hours is
Yeah it’s not not “normal”
And really is such a dangerous game
Some underlying issue is making you struggle
Instead of addressing this and seeking help
You try and work harder
neat lintel
Instead of addressing this and seeking help
I’d never blame someone for thinking this is the solution
Because it is so often framed if you don’t do well it’s because you are lazy
tender tulip
That sounded like a joke
neat lintel
If you are depressed
You won’t be able to work efficiently
And trying to work for longer with exasturbate the problem
tender tulip
just because you are depressed doesn’t mean you cannot work effectively
neat lintel
just because you are depressed doesn’t mean you cannot work effectively
Yes you are right
Modulo measure zero exceptions
neat lintel
You won’t be able to work efficiently
But I think if someone says something like this
It obviously means
For most people
In most scenarios
They won’t work as efficiently
As they would
If they weren’t depressed
We always use language in this imprecise way
Clearly if someone is asking for 24 hour surveillance
There is an underlying issue
tender tulip
That’s like saying because I’m adhd and unmedicated I cannot do well in school
Yeah it take a metric fuckton more effort to get done but I can still effectively get shit done
neat lintel
That’s like saying because I’m adhd and unmedicated I cannot do well in school
It’s really a very different thing I’m trying to say. Regardless, this person should seek help. You are free to do as you wish.
And do note that I said efficiently
Doing a ‘metric fuckton’ extra to ‘effectively’ the same work
tender tulip
fair
neat lintel
Is by definition not efficient
If you have adhd you shouldn’t be ashamed of seeking extra support
Whether that be medicine or otherwise
tender tulip
If you have adhd you shouldn’t be ashamed of seeking extra support
(Adhd meds fuck with my panic disorder. It is what it is)
neat lintel
Sorry to hear that
sick burrow
just because you are depressed doesn’t mean you cannot work effectively
I mean yeah, but it can certainly have that effect
when I'm feeling down/dysphoric I can barely get anything done
steep mountain
Yeah it take a metric fuckton more effort to get done but I can still effectivel...
this is just silly i feel like you've never met someone with depression
it does limit everything you do
its much much harder to do anything let alone do it effectively and takes a lot more effort
neat lintel
i did it fellas,i achieves chess.com rating of 1000 on bullet blitz and rapid,now if only i knew how to play lol
tender tulip
this is just silly i feel like you've never met someone with depression
I can speak for that fact because I have it
sick burrow
Bruh
yeah it takes a metric fuckton more effort to get done
"Clearly this person doesn't understand how depression can interfere with your ability to work"
deep mango
what a ridiculous conversation
love stumbling upon random people telling other random people what they need to do for themselves to be healthy and happy
i've been the recipient of a lot of this sort of commentary before and it's physically harmful, it sets off physically harmful panic attacks. please be careful about this stuff
(re: you NEED medication, you must not know anyone who has depression, etc etc)
i know it feels like its being supportive and helpful to give this sort of advice but it's something to be really careful about
nothing about mental wellness is one size fits all
sick burrow
Wait who is this directed at
sick burrow
Oh lmao
deep mango
i mean this is something i've been dealing with w/ other people recently
from a lot of angles
it's really hard to be open about anxiety and mental wellness when there's a 50% chance it's going to be met with a few of the most potent triggers for it for me. so it really frustrates me to see that elsewhere.
sick burrow
One of the most potent triggers as in people trying to tell you how your mental health works?
deep mango
yeah, in particular what resources i absolutely need to secure to deal with it
sick burrow
Ob yeah I remember a while ago this guy insisting that I needed to get therapy
iirc it kinda killed our friendship
It's like bruh, how delusional do you need to be that you think you know the inside of my head better than I do as just some random friend.
deep mango
yeah
sick burrow
iirc the context was like I opened up about something and he was like insisting that he knew what was right for me 100% and literally not listening to me telling him he was wrong.
ancient flame
I get recommending therapy for people but that's too far
sick burrow
I feel like the issue is these people get it in their head that they're some empath savant that has discerned the deep emotional issues you're hiding from yourself, and thus they don't need to listen to you since you can't know what's right for yourself.
deep mango
I get recommending therapy for people but that's too far
i just think it's important to be careful about this sort of thing. it's very tough to know what exactly sets of anxiety attacks for people, and when, etc. i've had positive conversations about therapy when i'm otherwise doing well, but when i'm not in a good state the idea of it drives me absolutely crazy.
i don't know why
sick burrow
I get recommending therapy for people but that's too far
Oh yeah, therapy is great and I think it's important to spread the word about how helpful it can be.
ancient flame
i just think it's important to be careful about this sort of thing. it's very t...
hmm
interesting
sick burrow
But there's a huge difference between stating the objective fact that therapy (or [insert treatment]) can be incredibly helpful for some people, and insisting that the person you're talking to needs to do it.
One is stating an objective fact and providing a potentially useful suggestion, the other is being an asshole that thinks you know what's right for other people.
ancient flame
I have this depressed af friend who is a complete mess mentally, any small inconvenience causes her to cry hysterically, and I've told her that the beet thing she can do is go to therapy but she has only had negative experiences with them so she rejects the idea. so if she doesn't want to do it then that's fine, im not gonna force her, but it gets annoying when im basically the #1 person she goes to whenever she is upset or sad or whatever when I usually have no idea what to say since I don't really have much experience with mental health and whatever. also she doesn't really seem to try to make ant efforts to improve her mental health so I keep trying to help but she basically rejects it and it's really demotivating to try. I didn't realize I was gonna type this much lol but seen as the topic came up, I would say this. does anyone have any advice on what I should do?
note that I enjoy helping people but the circumstance with her is different
sick burrow
she doesn't really seem to make any effort to improve her mental health.
"Doesn't seem" is the key word here.
sick burrow
How do you know what she does
ancient flame
and nor am I qualified
ancient flame
How do you know what she does
you're right
I've tried but she rejects it
it's hard whenever 90% of what she talks about is how miserable her life is and how sad she is
especially since I have no clue what to say in those situations
sick burrow
Like at that time, I was very much taking steps to work on my issues, and had a complex set of reasons why I wasn't in therapy (which I stand by now, despite being in therapy now and getting a lot of benefit out of it).
ancient flame
what steps were you taking, if you don't mind sharing
sick burrow
And it felt insanely ignorant and insulting for that friend to insist that therapy was right for me when he had no idea about any of that stuff.
sick burrow
what steps were you taking, if you don't mind sharing
I would rather not get into it, but I stand by them even today and am much better now than I was then.
The key pont is that people should not be obligated to justify their actions relating to their personal lives to you. And it's arrogant as fuck to think otherwise in >99% of situations.
ancient flame
yeah
I just don't know what to do
or what to say
and it sucks bc I want to help
dense belfry
Tbh I feel pretty comfortable telling people they should go to therapy, and I don't care if you consider that to be arrogant
But obviously it depends on the situation and my relationship to the person
dawn bridge
why everyone always says 'get therapy'
therapy is too damn expensive
the only time i told someone to get therapy was when they were going on about wanting to kill themselves for months
natutally they immediately refused
sick burrow
Tbh I feel pretty comfortable telling people they should go to therapy, and I do...
I think the issue is less with telling people they need to get [x treatment] and more with not accepting their reply
ancient flame
therapy is very expensive but for some people it's hard to find an effective alternative
dense belfry
Oh obviously I can't control them
I don't think there really are effective alternatives to therapy
dawn bridge
the funniest is when people tell you to get therapy over political disagreements
dense belfry
I am perfectly comfortable telling people to get therapy over political opinions
dawn bridge
I am perfectly comfortable telling people to get therapy over political opinions
get therapy
dense belfry
I actually usually just don't talk to people after I see that they have sus politics
Eg most of my family
dense belfry
Lol I'd rather just throw them away as people
ancient flame
LOL!
sick burrow
based
ancient flame
see that's a stupid perspective on politics
dense belfry
I think if you were in my situation you wouldn't think so
ancient flame
my opinion is different than yours = you should be thrown away
dense belfry
I never specified what I considered to be sus politics lol
ancient flame
I disagree heavily with my dad's point of view on politics but I still respect it
dense belfry
You have some image in your head of what I mean, but there is a lot of leeway for what I said to be fine
sick burrow
"I think you're delusional and don't deserve rights"
"I disagree but I still respect your opinion"
based centerism
dawn bridge
i only talk to people to meet the needs of basic networking and socializing about mundane things, to which politics is not necessary
dawn bridge
so i dont care what their stance is long as they dont bring it up
ancient flame
fuckin autocorrect
dawn bridge
i believe that is the default for many people
dense belfry
Mainly transphobic stuff, anti LGBT stuff, stupid culture war stuff
ancient flame
stupid
dense belfry
If someone keeps talking about dumb culture war issues compulsively I will throw them out
ancient flame
some of my family have opinions similar to those
sick burrow
just debate the bigots in the free marketplace of ideas
ancient flame
and yeah I just ignore it
dense belfry
Well in my case my family's beliefs controlled my life for most of my life
dawn bridge
are you lgbt/trans then
dense belfry
Yeah I'm trans
dawn bridge
i c
ancient flame
oh I see the issue
dense belfry
Lol
dawn bridge
my dad is openly racist but i dont care cause hes not racist against his own race (me)
not my problem
dense belfry
Tbh I was kinda trolling for the reaction you gave gmod
sick burrow
the emma bullies gamma to they both end up trans logicians pipeline
ok I'm not a logician yet
ancient flame
wot
dense belfry
my opinion is different than yours = you should be thrown away
This reaction
Cause I was playing into a common centrist talking point
ancient flame
the emma bullies gamma to they both end up trans logicians pipeline
I was talking about this
dense belfry
Oh lol
ancient flame
lol
dawn bridge
in that case it goes from being an opinion to a personal attack
ancient flame
but yeah ^
dense belfry
I used to bully gamma
ancient flame
but like I don't really have a political stance
I have different stances on different things
I used to care more but I hate the toxicity in politics so I kinda just removed myself from it
sick burrow
gmod it's nice to see that you're back to your usual sullyable self
fair mural
no
dense belfry
Yes
dawn bridge
basically avoding political tribalism
sick burrow
dawn bridge
that's fine
dense belfry
Tbh seeing a centrist in the wild makes me cringe
dawn bridge
political tribalism might be a good source of friends
fair mural
idk how that’s cringe
dawn bridge
i wouldnt mind being a bigot if it was better for me socially perhaps 🤔
ancient flame
Tbh seeing a centrist in the wild makes me cringe
im not centrist
dense belfry
Because in order to seperate themselves from politics centrists often form opinions about how everyone else is bad, and how they're superior because they think they aren't tribalist
That's good
ancient flame
I don't think everyone else is bad
dense belfry
That's good
ancient flame
I really don't care about people's opinions
dawn bridge
everyone else is bad
dense belfry
Tbh I probably shouldn't stereotype centrists
dawn bridge
im good
fair mural
Tbh I probably shouldn't stereotype centrists
you shouldn’t
ancient flame
if you think climate change is a hoax or is the biggest problem the world is facing, cool
dense belfry
I mean I disagree with that
fair mural
no if you think that first one you’re just an idiot
dawn bridge
climate change is none of my business either way
so why would i need to declare a stance
dense belfry
That's an issue I'm fine with thinking less of a person for
sick burrow
the issue with centerism is when it makes the jump from "I don't fully agree with either side" to "BOTH SIDES HAVE AN EQUALLY VALID POINT"
the like "guys guys let's compromise and only kill half the minorities" centerists
ancient flame
I have some right-leaning stances and some left-leaning stances, none of which are extreme
dawn bridge
since when are minorities getting killed
dense belfry
I mostly dislike people who think being a centrist is part of their identity
dense belfry
since when are minorities getting killed
Are you talking in general or in a particular place?
dawn bridge
first world countries excluding israel/palestine
sick burrow
does the current American right wing have an identity beyond worshipping Trump and hating the libs
dense belfry
I feel like this is actually the sort of conversation I don't want to participate in
ancient flame
same
sick burrow
ok fair
dense belfry
I'm mostly just happy I was able to troll a little bit, that was fun
ancient flame
this is probably where we should end the convo before it goes in some weird direction
anyway
what's your favorite flavor of ice cream
dawn bridge
sugarless ice cream
dawn bridge
ice cream is ruined by sugar
dense belfry
I have mint cookie crumbs ice cream
ancient flame
sugarless ice cream
boring!!
dawn bridge
all you can taste is the sugar
ancient flame
I have mint cookie crumbs ice cream
YO
dawn bridge
when you eat ice cream
ancient flame
GIMME SOME
ancient flame
all you can taste is the sugar
that's why it's good
dawn bridge
might as well just drink high fructose corn syrup
dense belfry
I'll post a pic of ice cream cone when I make it
sick burrow
strawberry
ancient flame
🍓
frozen merlin
what's the mathematical word for "make something zero"
so like I'm writing about an impulse which removes the kinetic energy from a spring system
but I don't want to say "the impulse makes the kinetic energy vanish" or something
i'm sure there's a word
ancient flame
just say something implies that the kinetic energy = 0
dawn bridge
but I don't want to say "the impulse makes the kinetic energy vanish" or somethi...
vanishes
there u go
u found it
fair mural
can’t even read it because paywall
dense belfry
Open it in incognito lol
leaden torrent
if i read the article will i puke
ancient flame
nah
vague lion
As a numbers guy, he looks at the city in his own way. There’s the geometry of the buildings, for example. “There are some twisty skyscrapers that rise at an angle,” he said. “It’s so interesting.” Dr. Strogatz, whom the museum has tasked with making math fun, has so far started a film series and introduced a course called Math Gems, during which he presents proofs and calculations that he considers “jewels” and invites participants to solve problems related to them (his next Math Gems session will take place on Tuesday).
Dr. Strogatz, 62, lives in an apartment provided by the museum in the NoMad neighborhood of Manhattan with his wife, Carole Schiffman, 60, a visual artist. Their 75-pound labradoodle, Murray, is also along for the city sojourn, which ends in August.
INTERNAL CLOCK I wake up at 6:30 every day. Carole finds it a little like, “Why don’t you sleep late?” But I did my Ph.D. about sleep, and getting up at the same time every day is actually good sleep hygiene, as they say in the sleep research field. Beyond the usual bad jokes about mathematicians putting people to sleep, I sometimes have a hard time explaining why I studied sleep as someone who was interested in math. But there’s a whole system of internal clocks and rhythms involved in sleep that can make it sound sort of like math.
BRAN MAN Now that I’m up I’ll eat some All-Bran. I eat that every day for a few reasons. No. 1 is I don’t cook and it wouldn’t occur to me to make scrambled eggs. No. 2 is I don’t get bored. I like having the same thing every day. I’ll take some photos of the sunrise with my iPhone.
MATH MESSAGING I shouldn’t really admit to it, but then I’ll waste some time on Twitter. If the sunrise was worth posting I might tweet it and comment on it. The city is a wonderment to me, the way the sunlight hits the buildings, all the colors. Sometimes I’ll wake up with some mathematical thought and I might tweet that. Twitter feels like a bigger place to teach math, like I can reach the whole world. Do you remember the movie “The Sixth Sense”? That kid saw dead people. I see math wherever I’m looking. I like to share that.
MYSTERY CURVES There’s some nice math in the elevator in our building, which I get in after breakfast to take Murray for a walk in Madison Square Park. If you look up, there are little lights on the ceiling. The way they shine on the door makes an interesting reflection. I don’t understand why it makes the curve it does, when it should make a parabola. I photographed it and tweeted it with, “Does anybody understand these curves?” No one has solved it.
STRESS WALK When we get to the lobby, my stress begins. Murray is kind of anxious in the city. When he sees other dogs, he’ll lunge at them or bark his deep, baritone bark. The other dogs look at him like, you’re a crazy man. I’d rather be looking at the architecture, but I have to put my hands over his eyes like they’re blinders on a horse.
AUTOGRAPHS The museum is open on Sundays, so I might pop in. Sometimes they’ll have me sign books I’ve authored that are for sale in the gift shop. There are lots of T-shirts and calendars and other things in there, too. People like to give them to the math-y people in their lives.
THE PERFECT DATE There’s a place called Kalustyan’s I’ll go to around lunchtime. I would describe it as a spice emporium. It’s visually spectacular in terms of the colors and how densely packed it is, and they have the most delicious dates I’ve ever had. I don’t have any agreement with them, but if you haven’t had a date from there I would say try it.
At the spice market Kalustyan’s: “It’s visually spectacular in terms of the colors and how densely packed it is.”
CHESS I do some work on Sunday afternoons, sitting in front of the computer. There are more walks to be done with Murray, too, but that leaves a lot of time to play chess online. I used to play in college, and I was very serious about it. I’m a master-level player. I care about winning. If I get too wound up by it, I’ll stop.
DUMPLINGS, NOODLES, PIZZA We might have some food lying around from FreshDirect for dinner, or if we’re getting low we might have takeaway from Excellent Dumpling House. Isn’t that a great name? They have really good cold sesame noodles. Or we might get thin-crust pizza from Vezzo, which is also close to us.
BRAINIAC The New York Times Spelling Bee is a constant source of fun. We’ll get on the phone with our two daughters, who are in college, and do it as a family. I usually get to “genius” right away, so they mop up all the easy words and I come in last so I don’t ruin it for everybody. Around 11 o’clock there’s some petting with Murray, then it’s bedtime. And maybe a late-night tweet if a math idea pops into my head.
```there was moreOh my lord
dire mulch
Whenever I hear dumplings I think of kungfu panda.
leaden torrent
deleted the post, the site they linked seems malicious
it might just be a holding domain but
it sends through a weird redirect chain
not taking chances
hollow sundial
It ||could|| be real
potent valley
fathom swallowBOT
Shuri2060
long matrix
🤔
sleek wing
it's true
neat lintel
@sleek wing any book recs for intro stochastic processes?
deep mango
our prof recommended us "Stochastic Processes" by Bass.
neat lintel
this server needs more probabilists to help me solve problems
deep mango
i couldn't agree more
primal crater
calm thistle
can’t even read it because paywall
Sometimes you can read paywall blocked articles through their HTML, accessible by ctrl+u.
However, its quite invonvenient, especially because usually the entire article is on one line in the data of some div. You have to copy the line, paste into google docs, and remove the unnecessary data manually just to get a good read out of it, but sometimes its worth it.
rotund steppe
stray kite
why would you do that just disable javascript and read the articles
rotund steppe
My university offers a free subscription so why not 
deep mango
it doesn't come with the crossword 
cold needle
post body
deep mango
Metal...?
wispy plover
There are characters, say C, that, in order to type them, you need to press altgr+some key in the keyboard, say the key is called K. If you just press K (without alt gr nor anything) something else will be typen, say D. Is it possible to make it the inverse? Like, K=C and altgr+K=D
Hopefully that makes sense
wispy plover
It's to save time when writing in latex and so on
dawn bridge
there are better ways
manic coyote
@pale orchid would i be able to get the role to screen share?
@compact tartan or any other mod
i dont know who to ask
thanks
neat lintel
yo
neat lintel
same thing
analog salmon
Shoutout to mumford for including a quote in german but no translation
really appreciate the insight
(if anyone knows where I can find a translation of this quote, I'd appreciate it)
leaden torrent
become like a mid-20th-century mathematician and learn french, german, russian, greek, and latin
otherwise youre a coward
analog salmon
tfw I decided to learn romanian instead 😔
wooden flax
latin gang
leaden torrent
alternatively you could become like an early-21st-century mathematics student and learn japanese purely to understand anime
analog salmon
yeah obviously everyone should learn romanian like me
proof: my algebraic geometry professor is romanian
I went to his office hours once and read his romanian book on complex analysis lol
shoutout to that time I wanted to read a 3 page paper in german and someone in this server translated it for me
a knot theory paper by artin
king shit
jagged snow
Guys, I'm doing a research work on graphs and I need to find the most topics I can to include on it contemplating the most interesting topics to the matter.
So far this is what I've found:
- Basic concepts (history, what it consists of, graphic representation, definition of graphs, relations of incidence and adjacency)
- Walk, path, trill.
- Types of graphs
- Generalizations
- Distinctions between graphs
- Graph representation (through math formulas and other concepts)
- Adjacency matrix
- Potencies of the adjacency matrix and relevant results
- Computational utilization and representation of graphs
- Algorithms used in graphs
- Problems that involve graphs
- Forms of programming graphs
So I need your help to figure out if I'm missing something and what can I add up to fulfill the work.
PLEASE @ me
real sigil
Guys, I'm doing a research work on graphs and I need to find the most topics I c...
youre not going to talk about types of graphs?
jagged snow
youre not going to talk about types of graphs?
it is there bro
real sigil
linear, hypoblic, odd, even, parabolic
ohhh
my bad
i was raeding from bottom
what about tangent lines?
jagged snow
I havent heard about those
real sigil
and secant lines?
you havent?
tangent line is the line that touches the graph at point
it shows the slope of the graph at any given
it can be calculated using the derivative of the function
yeah you really should
jagged snow
problem sometimes is translating that
real sigil
yeah i myself study math in arabic so its bit of a problem
jagged snow
linear, hypoblic, odd, even, parabolic graphs
tangent and secant lines
jagged snow
its 3dimensional graphs
jagged snow
Nope
sleek wing
no it's graph theory graphs
jagged snow
Graph Theory
jagged snow
cant tell honestly, Im just getting an introduction by self research
sleek wing
Also quite funny how you put graph representations and adjacency matrices as different things ;)
and no, it's not the wave equation
jagged snow
what I mean as graph representations is a simple representation of a graph on a schematic
real sigil
and no, it's not the wave equation
alright
first time i hear about this graph thoery
what is it about, basically?
jagged snow
its a representation of 3d structures through math functions
real sigil
so its just like 2d (x:y) graph of functions but with 3 coordinates?
jagged snow
it can be used for a few diff applications like, structuring molecules, structuring objects, structuring networks
real sigil
huh. i see
jagged snow
@sleek wing what do you think about it? can you give a substantiated opinion?
sleek wing
it's not about 3d structures idk where you've gotten that from
it's the study of connections
I guess specifically "pair-wise" connections
jagged snow
uhmmm I see. thanks for clarifying.
so what is the fundamental use in a theoretical perspective?
sleek wing
studying connections
jagged snow
what is the purpose of studying connections?
sleek wing
seems pretty useful to understand them
jagged snow
ok why do you think so? so I can understand it
sleek wing
do you know what a connection is
jagged snow
yes
sleek wing
it's a relation that links one thing to another right?
jagged snow
yes
sleek wing
so that immediately covers all orderings and all equivalence relations which are very important in set theory and algebra respectively
and, tying back to your connection with geometry
it can be used to determine properties about n dimensional shapes
which is useful in algebra and geometry and maybe even algebraic geometry if you're feeling spicy
jagged snow
so to measure the connections per example?
sleek wing
Not quite sure what you mean
jagged snow
Lets put it in a Computational perspective so I can better grasp the concept.
like imagine we have object represented by a dimension
which can fit and apply to the graph conditioning...we can determine the measurement of its connection points per example.
sleek wing
if you want to do things related to geometry and graph theory I think this is a pretty good read https://en.wikipedia.org/wiki/Geometric_graph_theory
jagged snow
nope, I just want to know what graph theory is about.
do you think I understood it?
measuring the points is just an example, I understand it can have other dimensions.
cobalt star
graphs in graph theory are these things
pretty sure they don't have dimensions?
They're often used in computer science or something
nothing to do with graphing equations
dense knoll
Funny watching the number of help requests coming in on Sunday evenings compared to Friday afternoons. Is there a bot that can compile a dataset of user and post participation and frequency?
rose dock
I think he meant by "dimension" they meant planar vs non-planar or smth
jagged snow
One other question, are graphs modeled in other formats besides plain surfaces? Would that count different dimensions?
leaden torrent
formally a graph is just a collection of points and of lines connecting them
you can draw a graph on anything
jagged snow
Are the math representations 3 dimensional? Or can they be?
leaden torrent
its just that we usually do it on flat 2d planes because, well, most math is done on 2d planes
paper, chalkboards, computer monitors
theres no actual reason for this besides human convenience.
as an example, this drawing is just a visual representation of the graph with vertices {v_1, v_2, v_3, v_3} and edges {(v_1, v_2), (v_2, v_3), (v_1, v_3), (v_3, v_4)}
your visual representation could be "drawn on" whatever surface or "embedded in" whatever space