/sci/ - Science & Math

>>12097150
Maybe, but the fact that things fall down is a better hint that the model is a good one. The curvature of spacetime is, in this theory, the source of gravity. Think of a 2d graph where the horizontal axis is space (say with the center of the earth in the middle) and the vertical axis is time. The fact that an apple that you let fall moves towards the 0 vertically as it moves up through time horizontally is the curvature that's being modeled.
Geodesics are curved w.r.t. an ambient view

>>11707086
>>11707099
Avatarfagging has practical purposes.
You speak differently if you have an idea who you are talking to, what they know and how credible and motivated their posts are.
You can go on any board, say /tv/, and spend 3 hours in a thread taking with people who behind the curtains don't give the slightest shit about what they say. You can try to decipher math posts about subject you only faintly understand, not realizing the posts are by people who understand it even less and summarize Wikipedia articles, making you think they give insight.
One main issue I have with /sci/ is that generally people won't invest in questions that are not immediately answerable in 2 short sentences. And indeed, I suppose most here had the experience that they find a question posted on /sci/ that they can answer, invest 25 minutes or whatnot to give an answer, but ending up being the second and last poster in the thread.
Apart from the cancerous attention-whoring that you speak of (which certainly is a major factor), hangouts like /mg/ and some red line in terms of the shitpost topics and meme topics is an attempt to remedy some of the drawback that consequence-less anonymous posting introduces.

>>11707105
I never got into it in any depth, but I have the feel that results in symbolic dynamics should translate into many fields, by mapping the symbolic objects discussed there injectively into various theories.
I find ergodic theory interesting in as far as it related to statistical mechanics and it's relation with phenomenological thermodynamics.

>>11706818
I never got the appeal of puzzles or math competition type problems, faggot.
I like the study of proofs with content in the Curry-Howard sense.
As far as available logic introductions go, I like
http://www.personal.psu.edu/t20/notes/logic.pdf
or
https://www.amazon.com/Logic-Structure-Dirk-van-Dalen/dp/3540208798

Btw. today I read
https://www.amazon.com/Modal-Homotopy-Type-Theory-Philosophy/dp/0198853408

If someone wants to read along, today I'm going to study this paper on Mathematical Software Systems.
And later maybe some of the more specialized papers linked therein therein.

https://arxiv.org/abs/2002.04955
https://arxiv.org/pdf/2002.04955.pdf

It's a survey text, in progress, in the field of
https://en.wikipedia.org/wiki/Mathematical_knowledge_management