« first day (5186 days earlier)      last day (130 days later) » 
00:00 - 19:0019:00 - 00:00

19:22
@SineoftheTime I don't understand what $F(x)$ and $G(x)$ are here
In the demonstration
@Pizza 5 minutes and I'll take a look
19:41
@Pizza you fix $y$ and you consider $x\mapsto F(x)=f(x,y)-f(x,y_0)$. It's like treating $y$ as a constant
same for $G(y)$
But why is x not fixed in $F(x)$?
A colleague of mine went to a conference this week where they talked about (among other things) the use of LLMs and other generative "AI" tools in instruction. There is, it seems, a tool which will attempt to summarize notes and make a "podcast" out of it.
Does anyone else find that audio file cursed and creepy as f*ck?
@Pizza if you fix both $x$ and $y$ you have a constant function
Those computer generated hosts want to eat my soul, don't they?
They're hiding in the mirrors, aren't they?
@XanderHenderson aaaaaaaaaaahhh
this makes me want to jump out of a window
19:47
@SineoftheTime I meant why is y fixed, and not x, I thought x had to be fixed and not y
@BenSteffan I genuinely makes my skin crawl.
yeah mine too
Like, I got through about a minute of it before I had to kill it.
the future is bleak
@Pizza if $y$ is fixed and $x$ varies, then $F$ is function of $x$
19:48
I've been seeing ads for this app/website that "reads research papers to you"
I was tempted to try it, feed it a paper from homotopy theory and see how it does, but it's not free :(
suppose for instance $f(x,y)=x+y$ and fix $y$ (let's say $y=1$). Then $x+y|_{y=1}=x+1$ is a function of $x$
In other news, I am finally caught up on email (it only took three hours today!), so I am going to go to the post office.
Buh-bye.
AI is ruining the world
@XanderHenderson its the interchanging and one picking up the topic from the other that feels unnatural
besides its really distracting so why would they do that
20:07
A polar bear is just a Cartesian bear with a coordinate transform.
can someone help with this?
20:23
@SineoftheTime I understand thanks!
Bml
Bml
21:29
@BenSteffan Hi, why did you reject [this edit] (math.stackexchange.com/review/suggested-edits/2168044) ? Perhaps it was the most incisive and meaningful of the ones you approved...
I wanna thank the one who played the chess game, was fun. Was so skilled, or at least, way more than me.
you changed the meaning of a sentence that I felt was for the worse
Bml
Bml
@BenSteffan Which one?
"But this tag is not for asking someone else to write a proof for you, or for how to answer some question." is not the same as "But this tag is not for asking someone else to write a proof for you or for how to answer some questions.", and I deem your version worse
Also please heed what Xander and I told you about minor edits; I just went through a row of them by you
Bml
Bml
@BenSteffan The problem is that I cannot tell the difference between a minor edit and a major edit. According to my inexperienced assessment, the ones I do are significant. Excuse me if that is not the case.
21:39
@Almanzoris well played
:)
22:01
@Thorgott also, I can simply write $\mathrm{Fun}_{\mathcal{C}}(\mathcal{C}_{/x},\mathcal{C}_{/y})$, it's already an $\infty$-groupoid
@SineoftheTime Thanks! Well played too.
@Bml Minor edits are those that don't change the content of what you're editing; stuff like grammar, punctuation, formatting. Major edits are edits that change what's being said, e.g. adding a paragraph, modifying mathematical statements, etc.
Consider a complete measure space $(X,\mathcal M,\mu)$. If $f=0$ $\mu$-a.e. with respect to the complete measure $\mu$, does that imply $f$ is $\mathcal M$-measurable?
22:19
Never mind my question.
22:43
One really must wonder what's going on in these times when someone who claims to search for "spirit of Ramanujan" only cares about rigor in the toolbox
How so?
Rigor comes from proofs and he didn't learn that until much later in the movie The Man Who Knew Infinity.
Rigor is important but just because someone can use it doesn't mean they have great capability
Capability to do what?
Answer deep questions mostly
Asking the right questions is more important in theoretical work.
22:56
One with great capacity can also work in the alternate direction
By developing great recursive mediums
> In mathematics, the art of asking questions is more valuable than solving problems.” — Quote by Georg Cantor.
That's old school though. Sorta like how Google can answer trivia questions nowadays
What proportion of mathematicians view the endeavor as a power tool and utilize it as such
Not to say the quote is totally useless
Depends on which direction you want to build.
23:00
Could you expound on that? @think_meaning_builds
It's nice to have a zillion good questions but at this point seems there are at least.a few deserving of intense focus
I think we're talking about the old question "is math discovered or invented" am I correct?
I suppose. The angle I've taken is to essentially attempt to constrain information theory
So Ive built algos that could very well be foundational
Likely are even as simplistic as it sounds to reason this way
My latest belief is that a sequence of numbers emerging from a binary algorithm with a third placeholding symbol could be used to find a counterexample to RH. its a neat algo and what I think must be necessary is to go between each pair of numbers and take the larger choose the smaller and iterate until one number remains. That number should be an answer to a big question. So like 5 3 1 would turn into 10 3 then 120 for example
Keeping it simple is not a silly reason.
It's about time focus shifts along from simplicity
In addition math is not taught simply
it's not that easy to find a counterexample to RH
23:10
It's taught like we couldn't possibly find reasonable edge cases
Simplify as much as possible and not any more.
@SineoftheTime one algo I have leads to a complexity theory result of interpreting binary a certain way and another interpretation leads to a physics result where 3/4 numbers appear. I'm unsure what you figure math is that you assume I don't
Indeed @think_meaning_builds
I like your inputs think meaning builds
Maybe nowadays 'accent' of mathematics overrides it's utility
That seems to be a catering to people who don't get it
23:28
> The essence of Mathematics lies in its freedom — another quote by Georg Cantor.
Nice. I guess that is why merit can seem to be decommissioned
00:00 - 19:0019:00 - 00:00

« first day (5186 days earlier)      last day (130 days later) »