« first day (5149 days earlier)      last day (167 days later) » 

18:00
@XanderHenderson lol at the guy who thinks there's going to be a 2048
@Bml I don't understand how this is relevant. This is always true
same actually, so lol at my mortgage lender i guess
@SineoftheTime yes. I thought i was winning then
@SineoftheTime thanks
@SineoftheTime ooh but i didn't see it before u played it
mortgage is a fraud
@RyderRude the problem is that you were passing on the queenside
and underdevelopped
so basically you let me do everything I wanted on the kingside
@SineoftheTime yes. I always try to attack the king
18:03
usually, if you did not play d4, the plan is d3 and then e4 and you're better
@SineoftheTime yes
@SineoftheTime oh
d3 and then e4 to blow up the center
i will try to use it
does this chess app happen to have a chat window that its players can use :)
i think they can message
18:05
@leslietownes yes, but if you want to ask something about the position feel free to ask here :)
@leslietownes do u play chess
not really, i haven't played in a long time
oh
i like to play attacking chess
Bml
Bml
@SineoftheTime And so why can't we use the substitution $g(w^2) = E(w)$?
I'm not following you
Bml
Bml
18:16
@SineoftheTime $E(v+u) + E(v-u) = 2E(\sqrt{v^2+u^2})$ becomes $g([v^2+u^2]+2uv) + g([v^2+u^2]-2uv) = 2g(v^2+u^2)$. Setting $x = v^2+ u^2, y = 2uv$ , we obtain $g(x+y) + g(x-y) = 2 g(x)$, which is a semplification of Jensen's functional equation, whose solution is $g(z) = az+b$. Yes?
@SineoftheTime Magnus got the 2 knights vs pawn endgame, but it's kinda impossible to convert with seconds on the clock
@Bml I'm not familiar with Jensen functional equation
@SoumikMukherjee isn't it theoretical draw without pawns?
You can't force checkmate, but if the opponent is kind enough, checkmate is possible
18:20
Does anyone know how to solve $\int \frac{1}{\sqrt{1+x^2}} dx$ , I'm having trouble
I remember reading something similar
@Pizza didn't you solve it a couple of days ago?
What is the definition of theoretical draw?
$x=\cosh u$
"A book draw or theoretical draw is a position that is known to result in a draw if both sides play optimally"
then it's theoretical draw
@SineoftheTime I wrote the result immediately I think
18:21
pizza that one is pretty famous, i would just google it and see if there is something that looks OK to you
I mean, I would like to understand how to get there
39 secs ago, by Sine of the Time
$x=\cosh u$
I meant $\sinh u$
a lot of those integrals are fairly close to the definition of various functions, where maybe it's not particularly informative to learn that one is equal to the other
how I understand that I have to make these substitutions :(
@SineoftheTime sine u?
18:22
:)
@Pizza or $x=\tan u$
that's really the thing. outside of a classroom context with very clearly delineated rules about what works and what doesn't, you don't "have" to make substitutions
it's enough to just know something
this follows from the identity $\cosh^2 x=1+\sinh^2 x$
Bml
Bml
@SineoftheTime OK... Let's try with the removal of one degree of freedom. Since $E$ is analytic, setting $u=v$ we will have $E(2v) + E(0) = 2 E( \sqrt{2}v)$. Now, $f$ is differentiable, so we could compute the $n$-th derivative for $n \geq 1$. How to do that?
@leslietownes @SineoftheTime Ok thanks, I'll try to see what to do
I'm not understanding what you are doing, what is f and why do you want to compute the derivative? I'm really not that interested interestend is solving the functional equation, because without further assumptions I don't even know if it's solvable
plus, as I said before, $x\mapsto x^2$ is a solution
@Pizza what sub did you choose?
18:35
@SoumikMukherjee right he had prepared some weird h3 lines (but with Rapport as second weird openings are all but surprising)
The match is looking extremely one-sided now, sadly
@soumik this is the tablebase, you can see if a position is draw (theoretically)
Alireza seems very much tilted
@SineoftheTime $x = \tan x$
@AlessandroCodenotti I like Rapport's playing style very much
I like his hair
18:40
@SoumikMukherjee I think he literally hasn't won a game since the match was 2.5-1.5 in his favour
@SoumikMukherjee yes, he's very creative. I like Dubov's style too for the same reason, although he plays sounder openings
@SineoftheTime Do you happen to know a good site where there are hyperbolic and trigonometric derivatives?
it's not hard to remember $(\sinh x)'=\cosh x$ and $(\cosh x)'=\sinh x$
you don't change sign as in "circular" sine and cosine
its easy to remember either is the derivative of the other, it's hard to remember which is which#
Bml
Bml
@SineoftheTime $f$ is $E$, sorry. The $n$-th derivative allow us to set $E^(n) = 0$, and since the function is analytic, then E(v) = av^2 + b.
@AlessandroCodenotti I just checked, they never won against each other, all their games ended in a draw
18:47
I just remember by heart that the sine is always with a minus and the cosine with a plus
@SineoftheTime However, I wrote it wrong before, meaning $x = \tan u$
Joe
Joe
Can anybody make sense of what the beginning of this proof is saying?
np
so you have to integrate $\sec u$?
Joe
Joe
No clue what a "homothety" is – I think it might just mean a scalar times the identity map though...
18:49
homothety is used as a synonym of scaling
Joe
Joe
Okay, thanks
I don't know it it's the case
they're just talking about the mapping of $x$ to $\det(U)x$
yes its scaling
@SineoftheTime thanks
yeah, I agree with the above
18:50
we all agree that it's scaling
@SoumikMukherjee interesting, their madnesses cancel out! How many games did they play?
@Pizza with the sub $x=\tan u$, the pain is dealing with expression of the form $\sin (\arctan x)$ and $\cos (\arctan x)$
Joe
Joe
Wait, what is the domain and codomain of the map you are talking about Jakobian? Is it $M\to M$, $x\mapsto \det(U)x$, or $A\to A$, $x\mapsto\det(U)x$? I suppose it's the former, but then I'm not sure how it follows that $u$ is injective.
@AlessandroCodenotti 2 classical and 5 rapid games
Oh wow I expected way more classical games
18:54
sorry 5 rapids
Alireza finally won a game
Still a huge lead by Carlsen, but that's a good start for Firo
He should be winning another now
@Joe it shouldn't matter since we have a free module. From definition of regular element is hould be that the map from $A\to A$ is injective. But this applies to show that the map $M\to M$ is injective
Joe
Joe
Oh, I forgot that every free module is isomorphic to $A^n$ for some cardinal $n$, my bad.
@SineoftheTime I finished ! But I used that $\int \sec(\theta) d\theta = \ln|\sec\theta + \tan\theta|$
you have to go back to $x$
18:59
yes, so $\sec\theta = \sqrt{1+x^2}$ and $\tan\theta = x$
@AlessandroCodenotti nevermind
@AlessandroCodenotti Nah!
I jinxed it :(
This Magnus guy is just too good
I thought the position was so bad that Magnus would just resign at that point
19:01
@SineoftheTime So it would be settsinh(x)
last time I made a mistake saying it was arcsinh
19:12
it's not a mistake
It's widely used
the term "arc"sin is related to a geometric interpretation
this is why there's "arc"
Bml
Bml
@Pizza $\settsinh(x)$ and $\arcsinh(x)$ are two different names to indicate the same function. From what I remember, the most used notation is $\arsinh(x)$, while $\settsinh(x)$ is used in Italian notation. Are you italian?
Yep. Alessandro, Pizza and Sine are Italian
Bml
Bml
@Jakobian Me too...
But are both arsinh(x) and arcsinh(x) correct?
@Bml yes i am
I never heard of such thing as $\text{arsinh}(x)$
probably incorrect
19:20
I have an idea @XanderHenderson
Bml
Bml
@Jakobian No, $\arsinh(x)$ is probably the most appropriate notation.
@Pizza Yes.
@Jakobian See this:
6
Q: The 'c' in the spelling of $\operatorname{arsinh}(x)$ vs $\operatorname{arcsinh}(x)$.

radial9174Where is the 'c' in the spelling of the inverse hyperbolic function of sine? Isn't it just a hyperbolic version of $\operatorname{arcsin}(x)$? That is, why is it written $\operatorname{arsinh}(x)$ and not $\operatorname{arcsinh}(x)$? The same question applies to the other functions as well.

I use $\sinh^{-1}$
@Gian'sPizzeria Bud Spencer
@Bml I see
@SineoftheTime yes
What is the value of 4!?
19:28
Why isn't it 4?
@Gian'sPizzeria It's 4! :^)
it's all fun and games until you have to compute $!4$
What is the value of 4‽
$!4 = 9$
Bml
Bml
19:32
@SineoftheTime Very clever!
$$\begin{cases} !0 = 1 & \\ !1 = 0 & \\ !n = (n-1)(!(n-1)+!(n-2)) & n \geq 2\end{cases}$$
@Pizza you will see both in use, whatever anyone says on the internet
it basically doesn't matter where these terms come from
I write $\text{arcexp}$ instead of $\log$
8
nah man you're a menace
it's fine if someone has reasons for preferring one notation to another, but in terms of usage, you're just going to see it
haha
19:38
@leslietownes Oh ok!
if you're teaching out of a textbook the standard advice would apply (namely: do whatever the textbook does)
I write $\operatorname{arc2}$ instead of $1/2$ :^)
I also enjoyed visiting the $(\text{de triomphe})^{-1}$ the last time I was in Paris
if someone told me to replace arcsinh with arsinh i would tell them to go right to hell, but as a threshold matter, i deny that anyone is in the business of writing inverse hyperbolic trig functions often enough for this to arise
its just some weird autodidact basement internet people thing
arc2 is a cool notation
$\overset{\LARGE\frown}{\sin}$
that's even better
i'm going to edit wikipedia to incorporate this improvement
Bml
Bml
19:55
@SineoftheTime For the question $E(2v) = 4 E(v)$, could we plot it to see if it has only quadratic solutions?
@Bml how would you do that?
@SineoftheTime I found this formula $\int_{-a}^a \frac{\text{even(x)}}{1+b^{\text{odd(x)}}} dx = \int_0^a \text{even(x)} dx$
It reminded me of that shortcut from yesterday on the odd function
this exploits the fact that you can write a generic function as a sum of an odd and even function
if I recall correctly, you can generalize assuming also $b$ to be an even function
You mean raised to an even function
@Pizza this has no application basically, but when doing double and triple integrals you sometimes have to exploit symmetry
@Pizza I mean you can have $b(x)$ instead of $b$ where $b(x)$ is even
20:08
Ah ok!
@SineoftheTime have you ever watched Bud Spencer?
@Pizza I've used it recently, see this answer if you're interested
@Gian'sPizzeria yep
What is your favorite movie
@SineoftheTime I'll look now, thanks
@Gian'sPizzeria they're almost all funny
expecially the ones with Terence Hill
20:13
@SineoftheTime yes
Bml
Bml
@SineoftheTime I have no idea, this is the reason I made this question :-)
$\int \frac{\ln(x)}{(1+\ln(x))^2} dx$
Does anyone know how to solve it?
@Gian'sPizzeria add $0$ in the numerator in a smart way
20:31
@SineoftheTime But for example in this case $\int^2_0 \sqrt{4-x^2} dx$
It can be solved by calculating the area but I don't understand why
plot the function $y=\sqrt{4-x^2}$
It's a semicircle
Bml
Bml
@Gian'sPizzeria My suggestion is to multiply and divide by $x$. You will thus have $\int \frac{1}{x (1+ \ln x)} \cdot (x \ln x)$. You will see very soon that by the method of integration by parts this integral can be reduced to a very simple algebraic expression.
@Pizza if you integrate from $0$ to $2$, what is the area involved?
The part in the first quadrant
20:35
do you know how to compute it without integrals?
@SineoftheTime how is it done?
@Bml thanks
add and subtract $1$
Bml
Bml
@Gian'sPizzeria You're welcome, let me know how you feel about this method and what result you arrive at!
@SineoftheTime Yes so I have to do $\frac{\pi 2^2}{4} = \pi$
20:38
@SineoftheTime Thank you
I will try to solve it with both methods
it seems that you're enjoying integral tricks @Pizza
I have a trick
@SineoftheTime Yes, there are always integrals in the exercises, so I want to know the various cases
20:42
$\int (f(x))^\alpha \cdot f'(x)=\frac{1}{\alpha+1}\cdot (f(x))^{\alpha+1}$
⚠️⚠️⚠️
$\alpha\neq-1$
this is the chain rule
Bml
Bml
@Gian'sPizzeria OK, how do you want to use the chain rule immediately in this integral?
@Pizza knowing the general strategy is ok, but I doubt these trick will help you in the exam
@SineoftheTime Yes, in fact I think the same, but I like to get to know them
I like to know that there are these tricks to solve "difficult" integrals
Then also as you said, I certainly can't remember all these tricks
@Bml I don't think it can be used in the integral above
20:51
it's more important to know the standard ones, but it's fun to look up those tricks imo
Bml
Bml
@Gian'sPizzeria You will use it after integration by parts, if you follow my method. I haven't tried @SineoftheTime's method yet.
I'll try to use it!
@SineoftheTime Was there by any chance something at your university that if you didn't have a total of CFU you couldn't access the following year?
no
is there a threshold in your course?
No
I knew this rule existed somewhere
21:02
yes
usually 90cfu to access the third year
@SineoftheTime ah ok
21:22
I'm building a zeta space robot
it will be able to crabwalk on any surface
any flat surface rather
4
Q: What textbooks/papers should I read to try to make this rigorous?

John McManusConsider a surface of revolution $S$ and an embedding $e:S \hookrightarrow X^3$ for $X^3=[0,1]^3$ with cone points $p,q$ elements of $\partial X^3$ where $\partial X^3=X^3-(0,1)^3$ for $\mathrm {sup}~ \mathrm{dist}(p,q)=\sqrt{3}$. It can be shown that there exists a unique $\rho_{\mathrm{max}}=\m...

How on earth did such a terrible question get upvoted 5 times
a terribly good question
ba dum push
I think I finally understand how the integral of a simple function is independent of representation of a simple function and how this follows from linearity of the integral of simple functions. Subtle, quite subtle.
21:37
I think I will read about spinors
They are mathematically UNDERSTOOD.
physically far from it
@psie feels like we had this discussion few months ago
whatever
@Jakobian we did kind of :D but it was not in regards to how Folland defines the integral of a simple function I think
he defines it in terms of the standard representation, and then never mentions anything about independence of representation
some authors have different definitions of standard representation
and some authors actually explicitly make this into a proposition that the integral is independent of representation
but you can use linearity of the integral of simple functions to show they are independent of representation. On the other hand, you can also go the opposite direction and first show independence of representation and then linearity.
22:12
maybe this is changing the subject, but part of defining something in terms of a unique representative is avoiding any question about dependence upon representation
like that's exactly why authors choose to go that route and not some kind of fault in their system
i still haven't checked to see how my favorite books do this
22:38
are the objects of study in algebraic geometry really just algebraic varieties?
no
people have moved on from those a while ago, in a sense
there's schemes, stacks, what have you
varieties are the "classical" part
"just" algebraic varieties
haha
i don't mean to contradict the other people who have answered, but, there's an awful lot there
just within those
that kind of AG isn't over
even if people use goofy new words for it
Joe
Joe
I feel that people who do complex geometry still study classical varieties a lot, but I get the feeling that this is not as "hot" a topic as it used to be. This is just an outsider's perspective, though.
22:46
yeah if i were applying for a grant i would use other words in addition to those words
submitting an AG proposal for critical assessment by the sheaf inspector
you don't want to submit a proposal that could have been submitted in 1960
or 1930
no, certainly not
especially not in a field like that
Joe
Joe
Heh, I am reminded of the following comment from KReiser.
i do remember stuff people were doing in grad school which was basically 'well someone way more talented than me proved X a few years ago and i know those definitions too, so who knows'
22:54
do irreducible algebraic sets have an intuitive interpretation without invoking their equivalence to prime ideals? or are they defined and useful because of their equivalence to prime ideals
hmm such a comment makes me think to not use hartshorne as a main reference 0.0
(also I ignored the domain business at the end of my abstract algebra course...)
Joe
Joe
Irreducibility can be though of as a very strong connectivity requirement. Indeed, sometimes the word "hyperconnected" is used for irreducible. An irreducible algebraic set is just an algebraic set which, when viewed with its Zariski topology, is irreducible.
hm I guess by intuitive I mean related to solving for zeroes of polynomials. e.g. algebraic set can be understood as the abstract object associated with the common zeroes of a set of polynomials
E.g. I was thinking along these lines
I think for the Zariski topology you want to stick to thinking of it in terms of the algebraic side until you learn how it unfolds into geometry
Joe
Joe
@SillyGoose A lot of people have issues with Hartshorne (personally, I haven't read much of it because those people scared me away...)
Harsthorne the book is fine (supposedly)
but the exercises are deadly
that's what it's famous for
(in part)
23:02
i started with the rising sea, but it was too much category theory and no algebraic geometry at the beginning, and i kind of just want a little taste of some of the subject
I was going to recommend that, but I guess not :P
maybe i'll try it again...
Joe
Joe
I think The Rising Sea is very good, but if you want a taste for algebraic geometry without going into the technicalities first, then it seems like you should study classical algebraic geometry first. The Rising Sea is about scheme-theoretic algebraic geometry
yes, it is about algebraic geometry :^)
Joe
Joe
For classical algebraic geometry, you might want to try Fulton's book Algebraic Curves or Reid's Undergraduate Algebraic Geometry
23:04
@Joe I don't like it
Bml
Bml
@BenSteffan @RyderRude @SineoftheTime See this for the question "E(2v) = 4E(v)" we discussed a few hours ago:
7
Q: Prove $f(x)$ is quadratic if $f(2x)=4f(x)$ and $f(x)$ is increasing over positive $x$

horseThe problem arose in the context of kinetic energy, where it can be proven from symmetry principles that $E(2v)=4E(v)$ without assuming $E=mv^2/2$ (see e.g. physics stackexchange). While one may do further physics from this point to prove the desired result (that $E$ is quadratic in $v$) -- cons...

The Rising Sea is neat, but you should read it a bit more selectively
you're not supposed to read it front to back and wade your way through 150 pages of preparatory material
otherwise, I recommend the notes by Milne or Gathmann for more classical-ish AG
Hearthshorne is cruel, I don't recommend it as primary reference
okay let's see what happens if i just start reading at the schemes part of the rising sea :P
Joe
Joe
Good luck
23:26
@Jakobian Also the integer closest to $\frac{n!}{e}$ for $n\ge1$.

« first day (5149 days earlier)      last day (167 days later) »