/sci/ - Science & Math

>>14577096
Take a break, fren

>/lit/
Best board on 4chan

>/g/
Screenshot and keyboard threads.
At least some people are shilling haskell in the /dpt/.

>/diy/
Apparently good, but I'm not a man of hands and I don't have more than 3 hobbies, so it's printered.

The second most relevant board is /fit/, btw. Not that it's a good board. But the second most important.
I also visit /tv/ if I'm bored and want recs.

>>11851539
wew

>>11847928
Jesus you saved that pic. when was that, 2013?

>>11817786
Thx, I might have a look.
On a semi-related note, I've never found out how e.g. cubical type theories "make univalence compute".

On that note, the two youtube channels `HoTTest` and `Topos` have uploaded a lot of talks in the recent weeks. Here's a Schulman lecture from yesterday
https://youtu.be/VVe6kBztnAs

>>11804704
I'm mostly interested in Lie group theory and hope the algebraic structure pins all the good theorems down.
Thanks very much for the link, looks based, pointed and compact.

>>11804707
>master book
Highly problematic, see >>11801718

>>11685649
there's series representations of zeta converging on the C\{1} plane, but that one isn't one of them.
z>0 iirc.

>>11683138
The issue I have is how to use
∀y. (y∈x ⟹ y=X)
from just having
∃y. y∈x.

Probably the above two mean
∃!z. z∈x.

I suppose
x={X}
should be translated to exactly that.
Question mark.

>>11683166
Using git or directly the /sci/ threads.
But I'm not sure if you have any criterium by which you can make sure those reviews are good, or if people actually properly reading it.

>>11683160
I recognize this as Li(3, -3/2), so maybe look up discussions of the PolyLog (or use any of the nice strategies for alternating series.)
https://en.wikipedia.org/wiki/Polylogarithm

>>11564073
There's this page
http://jeff560.tripod.com/mathword.html

which at least says
>MAPPING. This term is a translation of the German Abbildung (illustration, drawing, map, etc.) whose use as a mathematical term can be traced back to Riemann and Klein.
>The term—in German and then English—was originally confined to geometry as e.g. by F. Morley “On the Geometry Whose Element is the 3-Point of a Plane,” Transactions of the American Mathematical Society, 5, (1900), 467-476. Morley refers to the notion of mapping in S. Kantor “Ueber eine ein-dreideutige ebene Abbildung einer Fläche dritter Ordnung,” Journal für die reine und angewandte Mathematik, 95, (1883), 147-164.
>Later the term was used more abstractly as e.g. in H. P. Robertson’s 1931 translation of H. Weyl’s Theory of Groups and Quantum Mechanics p. 110 “A mapping or correspondence S ... is determined by a law which associates with each point p of the field a point p' as image.” (cited in the OED). In the original Gruppentheorie und Quantenmechanik (1928, p. 97) Weyl had written “Eine Abbildung S ...”

There's also a long entry on FUNCTION
and a long Wikipedia article on the concept as well (also historically and in relation to set theory)

I'm unsure if that's satisfying, but I'd say there's a lot of such instances.

>>11536020
https://math.stackexchange.com/questions/300586/where-does-the-word-torsion-in-algebra-come-from

I should say lmgtfy but whatever.

I also like this logical funfact
https://en.wikipedia.org/wiki/Torsion_group#Mathematical_logic
or more broadly
https://en.wikipedia.org/wiki/Nonfirstorderizability

my 2 cents

https://youtu.be/az2WOnxsLhc

To be clean, both

[math] g_{ \alpha }^\text{mean} := \exp( (1-\alpha) (\log(g_0)+ \alpha \log(g_1) ) [/math]
and
[math] g_{ \alpha }^\text{propagate} := g_0\exp( \alpha (\log(g_0^{-1} g_1) ) [/math]

come across as natural candidates with

[math] g_{ 0}^\text{mean} := \exp( 1 (\log(g_0)+ 0\log(g_1) ) = g_0 [/math]
[math] g_{ 1 }^\text{mean} := \exp( 0 (\log(g_0)+ 1 \log(g_1) ) = g_1 [/math]

[math] g_{ 0}^\text{propagate} := g_0\exp( 0\cdot (\log(g_0^{-1} g_1) ) = g_0 [/math]
[math] g_{ 1 }^\text{propagate} := g_0\exp( 1\cdot (\log(g_0^{-1} g_1) ) = g_1 [/math]

Is this a common directing style?

https://youtu.be/roWXmZFNCFU