« first day (3869 days earlier)      last day (1145 days later) » 

6:00 PM
@PM2Ring I.e PM is the time to ring?
 
@MatthewChristopherBartsh Maybe... :)
 
Do you remember the reaction of the other posters to the post you were replying to and to your reply to it, in that thread from years ago?
 
@MatthewChristopherBartsh Not really. It was a while ago!
 
i don't remember the replies to a post i made last night. i live in the fast lane.
 
@PM2Ring Everyone was hostile to the guy you replied to, except you. I was shocked. I realized that had I posted my idea there, I would have likely had the same response. I could barely believe my eyes. I was also shocked that no one on the rest of the internet quoted either of you. The discussion ended there.
@PM2Ring The pair of you combined had summarized my favorite idea, and no one was interested. There was only hostility. Mild, bored, dismissive hostility. No one even called him a crank. It was really a shock to me.
 
6:09 PM
@MatthewChristopherBartsh Well, it's a bit like dozenal.org who promote using base 12 instead of decimal. Such people tend to be very enthusiastic about their cause, but the mainstream tend to regard them as cranks.
Similarly, we could have a more regular calendar, but the inertia opposing such a huge change for such a small benefit is enormous. But that doesn't stop calendar enthusiasts from spending time investigating the possibilities. :)
 
@PM2Ring I don't like the comparison with the base twelve enthusiasts. They are right about base twelve being clearly better than base ten (do you agree?), but it is not the best base. It must be a power of two. My unified naming scheme allows us to put off the difficult decision of which power of two to use because all of them use the one set of names. Thus we can try out several bases at the same time, without conflicts or excessive amounts of effort or memorization.
 
@MatthewChristopherBartsh Powers of two have certain benefits. But bases with a couple of small prime factors, like 12 and 60, have their benefits too. It's not just inertia that we still use the Babylonian base 60 scheme for time. And a few centuries ago, base 60 was still often used by mathematicians for fractions, especially for trig-related stuff, until it was finally out-competed by decimals.
 
The problem with promoting base eight and/or sixteen (hex) is that unlike base 12, which has everything base ten has and more, base eight's superiority, although much greater than base twelve, is also much subtler.
@PM2Ring As for the calendar, the year is inherently irregular, so I don't see how anyone could get excited about that.
 
there is a lot of interesting stuff in de morgan's budget of paradoxes about calendars.
i do love how so much useful mathematics grew out of people wanting to know when they should pray, or where mecca was. ideas can reap dividends.
 
@MatthewChristopherBartsh A good calendar could make it a little less irregular. We could even have a soli-lunar calendar that stayed in synch with the phases of the Moon, and in synch with the equinoxes & solstices. But it would mean that we'd have a whole leap month ever few years, not just a leap day. :)
 
6:23 PM
i think we should have decimal years. i also think that daylight saving time should fall back every six months. no spring forward, that messes with my life. i don't care if it's noon in the nighttime, just don't make me get up earlier.
 
@MatthewChristopherBartsh it's also hard to envision base-12 as a day-to-day matter because we don't have a built-in unit for 10,11
we would of course have those in a base-12 world
 
@PM2Ring What is the great importance of being able to smoothly divide by three, once or twice, or by fifteen? As I see it, being able to halve or double smoothly an infinite number of times is a big advantage. We have verbs to halve and quarter but no verb to divide by three. That indicated to me that it isn't very important.
 
the unit for 10 is the symbol that prince used when he was under legal distress, and the symbol for 11 is the cry-laugh emoji.
 
@leslietownes the integer formerly known as ten, you mean
 
precisely.
 
6:25 PM
*isn't very important to smoothly divide by three.
@Semiclassical lol
 
one thing i will say for base-10: for better or worse, it forces you to git gud at handling repeating decimals
 
@MatthewChristopherBartsh There's "trisect", but admittedly, it's a technical term, not part of the common vocabulary.
 
i've always thought in terms of a number line. do you know the concept of a number symbol? some people visualize spirals with numbers on them to conceive of numbers. it's a rare but not uncommon thing.
 
with base-12 you can defer that conversation to when you start handling 1/5 and such
 
people who have them don't know that other people don't have them.
This article refers to the neurological phenomenon. For Unicode numbers, see Number Forms. A number form is a mental map of numbers, which automatically and involuntarily appears whenever someone who experiences number-forms thinks of numbers. Numbers are mapped into distinct spatial locations and the mapping may be different across individuals. Number forms were first documented and named by Sir Francis Galton in his The Visions of Sane Persons (Galton 1881a). Later research has identified them as a type of synesthesia (Seron, Pesenti & Noël 1992; Sagiv et al. 2006). == Neural mechanisms == It...
 
6:29 PM
@Semiclassical And with base 60, you can defer it to 1/7. Incidentally, in Australia we use 7-pointed stars on our flag, partly to symbolize the 6 states + territories, but also because the regular heptagon needs advanced mathematics to construct, it can't be done using a (finite) traditional Euclidean straightedge & compass construction.
 
right
 
you need a marked ruler.
 
yeah. so not that advanced, really, but hardly obvious how to use that
 
@PM2Ring I forgot about 'trisect'. But I've never heard it except in 'trisect an angle'. Which actually supports my point. We have a word for divide by three, but we never use it. I've never heard of a perpendicular trisection of a line. Have you?
 
i had a student once who had a number form. she drew it for me. i said, what the hell is that. she thought everybody had them. then i googled it and learned about the phenomenon.
 
6:31 PM
I'm not sure you can do it with perpendiculars.
 
I've never heard of trisection of a line.
 
And regarding trisection, one annoying thing about using 360° to the circle, is that an angle of 1° degree isn't constructible, since it requires a trisection.
 
you can definitely ruler-and-compass divide a segment into an integer number of parts.
 
Yup.
You can construct any rational number, in fact. :)
And ... more.
Back to the Greeks (instead of Egyptians). I think.
 
Where in maths is dividing by three seen?
 
6:33 PM
you just do another segment with as many parts as you want and draw a family of parallel lines.
 
See, @leslie, you are talking about something geometric. I'm stunned.
 
Yep. Ruler & compass let's you construct any quadratic number.
 
it's all professor wu. that's where i stole it from.
 
Well, good :)
I always had fun teaching this section of my algebra course, because the math education majors could chime in vocally about how to do the constructions.
 
it's probably not what you mean by dividing by three, but there's the famous paper Division by three
 
6:35 PM
the fact that being able to construct a regular n-sided polygon has to do with prime numbers is deeply weird to me
 
haha, the set theory paper.
i love that
 
@Semiclassical I'm not sure whether Gauss would be pleased or perturbed by that statement. :)
 
i do think the constructibility of the n-gon is a great example of non obviousness in mathematics. i answered a question a long time ago on math.SE about this. feynman notoriously said if you gave him a question he could provide its truth value without necessarily a method of getting to the truth. i don't think that's possible with the n-gon.
 
@PM2Ring We should be using turns, half turns, quarter turns, and so on, and base eight or some other power of two, and a base eight based metric system, (and maybe it could have some names that are more charming than the metric system - though I am not sure how to do that last bit).
 
constructibility itself is a weird notion to take as a primitive.
if you read euclid he never measures anything. it's fractions of a right angle. this and that make two right angles. we could learn from him.
i've outed myself as having read geometry. i'm crawling back in the closet.
 
6:39 PM
constructibility of the n-gon is algebra, not geometry :P
 
@Semiclassical You mean for suitable $n$?
 
awaits slap from Ted
 
i will give you $e^{1.5}$ slaps.
how the tables have turned.
 
right
 
@Thor: I can't argue too strongly. I mean, how the hell do you discover the construction of the 17-gon just geometrically? The pentagon is doable. (Of course, the Greeks were way better at this stuff than we are.)
 
6:40 PM
didn't Gauss do that?
or am I misremembering
 
yeah but he was a psychopath
 
@leslietownes I have not yet designated you a legitimate smacker.
 
yeah. i mean, to bring 1/3 into it---cone:cylinder::1:3
 
i provisionally withdraw my potentially transcendental number of slaps
 
@leslietownes Again, it supports my point. It's possible to do it, but it serves little purpose, and so it is so rarely done. Dividing by three, as I see it, is barely more important than dividing by seven or eleven.
 
6:42 PM
per my comment above, the formula for the volume of a cone would like to have a word with you :P
 
Yup, I was wrong. The Greeks could only do 5 and 15. It took Gauss at the age of 19. Stewart said this turned him into a mathematician.
 
my immediate family consists of three people. i think about dividing by three all the time. it does help that my daughter mostly wants to eat waffles. that does turn it into dividing by two and then figuring out where to get some waffles.
 
@MikeMiller The setting is that we have a generator $A \colon H \rightarrow H$ of a $C_0$-semigroup $(T_t)_{t \geq 0}$ (on some Hilbert space), a measurable disturbance $B \colon H \rightarrow H$, and an operator-valued thingy $C$ that governs the magnitude of our noise, induced by some brownian motion $W_t$. This last thing you can imagine as time-dependent noise at every point in space.

We want to solve the stochastic PDE $$\mathrm d X_t = (AX_t + B(t,X_t)) \mathrm d t+ C(t,X_t) \mathrm d W_t$$ in a "mild" sense, which means that we search for an $H$-valued time-dependent process $X$ wi
 
I'd argue that dividing by sixteen is probably more important than dividing by three.
 
some guy spent 10 years at the end of the 19th century writing a 200 page paper with an explicit construction of the 65537 gon
 
6:43 PM
I disagree with that one.
 
user2103480, you had me until brownian motion. i was loving the semigroups and hilbert space stuffs.
 
the guy was Johann Gustav Hermes*
 
that's a weird mix of names and nationalities. hi, i might be german, and now i'm greek. figure out who you are, dude.
 
@leslietownes That's about the only time dividing by three comes up: when arbitrarily there are exactly three people, or three nations or whatever. But it could just as easily have been five or seven people or nations.
 
whoa that was intense, had like 5 seconds left to find the LaTeX mistake in the last equation
 
6:46 PM
again, volume of a cone. $V=Ah/3$
which to my brain is not a small application
 
i don't think it's arbitrary that there are exactly three people in my house. what do you want, for me to have 15 more kids?
or 14 more kids, if i'm included in the total
i'm obviously kidding. i just don't have that kind of energy. one was enough
 
@Semiclassical Well, the same formula works in $n$ dimensions with an $n$ denominator.
 
@Semiclassical Okay, cone to cylinder is 1:3. I forgot about that. Any more, though?
 
also, volume of sphere
4/3 pi R^3, after all
 
Hi, demonic @Alessandro.
 
6:49 PM
this seems like an even more pointless variant of arguing whether pi or tau is the better constant
 
@Semiclassical What if you use tau instead of pi?
tau = 2 pi
 
then it's 2/3 tau R^3
 
Speaking of angle bisection, a couple of weeks ago I answered a question about using bisection to calculate pi, math.stackexchange.com/a/4034914/207316
 
Then the division by three is even more prominent. Darn.
Any others?
 
6:51 PM
that's a quality answer, @PM2Ring, i don't know why it wasn't accepted.
i mean i do, it's just pearls before swine, all of this is. nothing means anything. why don't i just yell at people in the street.
but the more restrained version is, that is a good answer.
 
Are these divisions by three a consequence of having three dimensions in a sphere and a cone ?
 
yeah
per Ted's comment above
 
@leslietownes Thanks. Maybe the OP just doesn't understand about accepting. They are pretty new.
 
Well, the bicylinder (region inside two orthogonal congruent cylinders) also gives $16a^3/3$. More for $3$.
 
setting aside that, though, in pedagogy i see three as important as the first fraction where there's two possible cases (1/3 vs. 2/3)
 
6:54 PM
i do think the upvoting process is not intuitive.
 
@MikeMiller I missed a dependence on $t$ there. So $\mathcal K_1(H)(t) = ...$ and if we restrict both the process $H$ (with random paths) to a small enough initial segment (so its paths are defined on $[0,t_0]$ for small enough $t_0$), and apply the functional in that domain, we obtain a contraction.
 
accepting and upvoting seem to be separate, that's weird. maybe it's not.
 
@Semiclassical Does that support the case for using base twelve?
 
@leslietownes you'd love the stochastic integrals
 
i don't know that i would. i saw them on the chalkboard in the rooms i had to teach in. i loved erasing them. it gave me a cool vibe.
 
7:00 PM
@leslietownes I sometimes explain accepting to newbies, even on questions that I haven't answered. But on that particular question, it's a tricky choice. Joshua posted the first answer, which directly answers the OP's question. My answer was originally just going to be a comment responding to other comments, but it got out of control. :)
Claude's answer is pretty groovy: he's a wizard at finding approximations with great convergence. His answer's probably a bit too technical for the OP, but I'm sure it will be of great interest to some future readers.
 
A lot of faculty who taught before me started erasing their blackboards, because I sometimes would comment about something they'd left on the board :D
 
one thing i really like about math.SE is the plurality of perspectives on a problem. nobody needs only my perspective. i'm deranged. don't follow me anywhere.
 
I always left mine for posterity (and for people to marvel at the multiple-color drawings).
 
i'd love to be able to say "hah, physics is where stochastic integrals rule" but I think Weiner and Kac have pride of place there
 
Wiener
 
7:03 PM
@leslietownes Definitely separate. A 1 rep newbie can accept, but you need 15 points to upvote. And 125 to downvote (thank goodness).
 
what are applications of mappings that do not preserve distances between elements but preserve the order of the elements?
 
@TedShifrin One of my highschool maths teachers was ambidextrous. When one hand got tired from writing on the blackboard, he'd just switch hands. Sometimes we'd have to tell him to slow down and give us a break.
 
They integrate over operator-valued random stochastic processes $\Phi_s \in L(U,H)$ with respect to $U$-valued brownian motion $W_t$ whose covariance is a positive definite trace class operator $Q$ andthen we have identities like $$\Bbb E \left[ \left \| \int_0^t \Phi_s \, \mathrm d W_s \right \|_H^2 \right] = \Bbb E \left[ \int_0^t \|\Phi_s \circ \sqrt{Q} \|^2_{L_2} \, \mathrm{d}s \right]$$
So any functional analyst should revel in this @leslietownes
 
@PM2Ring LOL. I can imagine. I wrote rather too fast for most of my students (and neatly so!), but I often stopped to talk and entertain conversations with the students :P
 
$\Phi_s \circ \sqrt Q$ is hilbert-schmidt since Q is trace-class
 
7:09 PM
@user2103480 ah thanks, now everything makes sense
 
@Thorgott tHiS coNtAiNs aLl NeCesSaRy iNfO
 
@TedShifrin shoot, i knew it was going to do that wrong
@user2103480 on that note, the notion of Hilbert-Schmidt norm in QM is something I plan to do some research on
 
It's cuz Mericans don't know the difference in pronunciation between ie and ei when they come in German names. :)
 
at some level it's just trivial, of course
QM people love hilbert spaces of state vectors, so they should love the Hilbert space of operators on that space
(modulo annoying conversations about bounded operators that makes a typical physicist want to gag)
I do know a little about htat story already, though. like, there's the whole notion of a density matrix in QM
which basically amounts to "take the cone of positive Hermitian operators and restrict to those with trace 1"
 
@Thorgott it's just an isometry from square-integrable $H$-martingales to $L^2(\Omega \times [0,t];L_2(\sqrt Q(U), H))$
@Semiclassical I wouldn't know, physics is an enigma to me
 
7:15 PM
hah
 
@Semiclassical I certainly do love that we have nice separable hilbert-spaces of operators
 
i think there's a way to view the above in QM as just "hurr, Riesz representation theorem"
 
of course
no need to state the obvious
 
@Semiclassical my crippled topologist's brain area was shortly confused about the cone of the positive hermitian operators
 
eh, nothing too strange there
 
7:18 PM
yeah yeah it's just linear combinations
 
convex combinations, but yes
(you don't want negative coefficients, after all)
 
that's what an algebraic cone be
 
I just wanted to show that I know he doesn't mean taking the product with $[0,1]$ and collapsing the top, not post a whole definition
 
ah yeah
i like how i'm having this abstract conversation while at the same time i'm working on my middle-school level demo for tomorrow's lab
hrm, that second one didn't come out right
 
Hard to see. Are we dropping an egg in a bottle?
 
7:24 PM
okay, yeah, that's better
that's a short bended straw with paper clips holding it closed (and providing weight)
 
bended? Good day for English :P
 
I do not understand what the demo is.
The straw falls because of the weight?
Is there something to do with air pressure?
 
near the bottom, yes. but near the top it floats :)
 
But your stopper is closed at the top?
 
7:26 PM
yep
and yeah, it's a pressure thing
 
So partial vacuum ...
 
when the diver, as they call it, is near the top, the air bubble is displacing enough water to keep it bouyant
 
Ohhh ... There's water in there.
 
yeah
hard to show this with pictures :/
(esp. my crappy webcam)
but near the bottom, the additional hydrostatic pressure compresses the air bubble just enough that the diver will sink instead
so there's a point of neutral bouyancy about halfway along the bottle
above that, it rises. below that, it sinks
(it's an unstable equilibrium, so you can't really balance it there)
 
So the story of the moral is that water pressure is linear with depth.
 
7:29 PM
It's a Cartesian diver. I spent many hours making & playing with them when I was a kid.
 
right
the other cool part of this: if you compress the bottle one way, the diver spontaneously rises (even if it's on the bottom)
if you compress it another, it falls
 
Ah, good old flexible glass.
 
lol, i'm too cheap for that
it's just a Simply orange plastic bottle
which basically comes down to: if you squeeze a square along its diagonal, its cross-sectional area increases. if you compress it along the sides, the area decreases
which means you can either increase or decrease the volume of the air bubble at the top of the bottle. air bubble gets bigger, pressure of air goes down, therefore pressure throughout bottle goes down. hence, less pressure on air bubble and it expands. hence it displaces more water and rises
it's pretty finicky to get the balance, though
you want the point of neutral bouyancy in the middle, and that implies a pretty delicate range for how much air is trapped in the straw
 
It's a good physics lesson. So few people master buoyancy.
 
I always assigned Archimedes law as homework after we'd done the divergence theorem.
 
7:36 PM
it's pretty quick if i remember right
 
Almost no one understands the cause of the fluid upthrust. They only parrot that it is less dense than water.
 
Along with an exercise to prove that for any closed surface in $\Bbb R^3$, $\int_S \vec n\,d\sigma = 0$ ($\vec n$ being the unit outward normal).
 
You need the vector form of the divergence theorem.
 
The cause is the pressure gradient, in case you didn't know.
 
7:37 PM
This comes after I've dropped someone through a tunnel from one point on the earth to another.
 
archimedes' principle (at least at the macro scale) boils down to just "if you replace a mathematical volume $V$ with a real volume $V$, the forces on the surface can't change"
@TedShifrin ah, that old chestnut
 
The issue is about weight, though, not just volume.
The mathematical volume has net weight.
 
yeah. it's a volume of fluid, after all
 
No, it's displacing a volume of fluid.
I'm not just being an ass here.
 
after i put the object in, yes. but if you have a mathematical volume in a fluid, you still have to have zero net force on that fluid volume
 
7:39 PM
If the mathematical volume has no mass, forget about it.
It has to be partially submerged.
 
no. otherwise we couldn't apply archimedes principle to bubbles
 
I do not follow. Maybe our statements of Archimedes' principle are just different.
 
well, my point is like this: if I have a volume region $V$ with boundary $\partial V$ in my original fluid---no object introduced yet---then there's a certain distribution of hydrostatic force along $\partial V$
in particular, that distribution has to be net zero. otherwise, the fluid contained within that volume wouldn't be in hydrostatic equilibrium
 
Be careful. Only the portion of $\partial V$ below water level.
 
ah, yes. i was taking for granted that $V$ was entirely below the water level
 
7:43 PM
If it's entirely below, then it's going to sink in a minute.
 
(since everything above isn't actually displacing fluid)
uh
 
It may sink.
Once we introduce mass.
 
right. (or at least it can)
 
I always explained it with partially-submerged objects. It could just be barely at equilibrium with its top at the surface.
 
that said, i did say something wrong and dumb above
the net hydrostatic force over the (submerged) surface will still be $mg$.
 
7:44 PM
Well, you had zero mass to this point. Part of my bitch.
 
how could i have zero mass? a fluid isn't massless
 
That's where we started the whole thing.
 
i'm a massless fluid
 
The confusion in this discussion arises from the conflation of two things: A closed object with inherent mass. A "mathematical" object consisting of the portion of that object under water and filled with the same water.
But we're going to arrive at the same proof eventually. :P
Semiclassic is mumbling that mathematicians shouldn't teach physics :D
 
what's mathematical there is only the fact that, before you put the object in, there's no real boundary between one part of the fluid and another
 
7:47 PM
i'm filled with the same water
who is contradicting me
 
but the fluid within that boundary still has volume and weight
 
sends leslie to write a 100-page contract
Of course, @Semiclassic, not to be confused with the weight of the original object.
 
ugh. some of my homework for today was to write a one-page contract. no thanks.
 
"ugly giant bags of mostly water"
@TedShifrin of the displacing object, yeah
 
that is very much it. that is humanity. thank you, star trek
 
7:48 PM
In most real-world applications, the object is partly floating, and so it really is important not to consider it just submerged.
Anyhow, divergence theorem. Done.
 
meh. divide it into two parts, one lying above the water and one lying below.
 
Yes, that's what I suggest.
 
as a tangent, there is a simple physics question i love to pose in this vein
 
The exercise in my book assumes constant density fluid. I'm not sure why I did that.
Seems unnecessary to me at the moment.
 
suppose you put an ice cube in a glass of water. once it stops bobbing around, the water will be at some consistent level
 
7:52 PM
Yeah, it's unnecessary.
 
when you non-isometrically map from R^2 to R^2_+, is there any reason to believe that a series in R_2 will behave well in R^2_+?
 
now come back 15 minutes later when all of the ice has melted. what has happened to the water level?
 
Oh yeah. That's a nice puzzle, @Semiclassic. Decades and decades ago, I thought about it.
 
Oddly, we only have 3 Cartesian diver questions on Physics.SE physics.stackexchange.com/search?q=cartesian+diver
 
@geocalc No.
 
7:53 PM
crucially, i'm assuming that the water the ice melts into has the same density as the water in the glass
so it's different than, say, an iceberg of frozen freshwater melting into the Atlantic ocean
 
@Semiclassical You could do it with a normal ice cube, floating in deuterium water. :) Deuterium ice sinks in normal water.
 
i've never been fully satisfied by the answer, though. not at a macroscopic level, to be clear: Archimedes' principle has an unambiguous answer here
@PM2Ring yeah, but then it's boring: all of the ice is below water, and ice expands when melted, so the mixture expands
 
I'm confused now, thinking about it, because then the whole thing is that frozen water has different density than the corresponding melted water.
 
@ted I think the main reason because the non-isometric map will not preserve addition
 
Even if it did, you wouldn't know anything about convergence of the series.
It could send very small things off to very large things.
 
7:57 PM
Another substance with the solid less dense than the liquid is plutonium. But it's not easy to do demos with molten plutonium at the typical high school. ;)
 
LOL ... @PM2Ring seems to have a radioactive bent.
 
so, let the volume of ice be $V_i$ with $V_w$ of it lying below the water line. the bouyant force of the ice is $\rho_w g V_w$ and the weight of the ice is $\rho_i g V_i$, so we have $\rho_w V_w=\rho_i V_i$
 
@user2103480 I don't follow all of the notation but I get your point. You get a contraction mapping property on spaces like $L^p \cap C^0$ where you use both norms, and the one that really contributes in an important way is the $L^p$ norm. (I was surprirsed you care about $L^p$ solutions but I see now they're continuous solutions that are also $L^p$.)
 
Right @Semiclassic. So if it's buoyant, the ice has to be denser.
 
less dense. $V_w<V_i,$ so $\rho_w>\rho_i$
 
7:59 PM
This clarifies why it's important :)
 
Oh, right, good, because that's what I remembered. Your notation confused me.
 

« first day (3869 days earlier)      last day (1145 days later) »