Geometry Updated +Created
Atlas (topology) Updated +Created
Collection of coordinate charts.
The key element in the definition of a manifold.
Numerical analysis Updated +Created
Techniques to get numerical approximations to numeric mathematical problems.
The entire field comes down to estimating the true values with a known error bound, and creating algorithms that make those error bounds asymptotically smaller.
Not the most beautiful field of pure mathematics, but fundamentally useful since we can't solve almost any useful equation without computers!
The solution visualizations can also provide valuable intuition however.
Important numerical analysis problems include solving:
Avatar: The Way of Water Updated +Created
Australian company Updated +Created
Relationship between the quotient group and direct products Updated +Created
Although quotients look a bit real number division, there are some important differences with the "group analog of multiplication" of direct product of groups.
If a group is isomorphic to the direct product of groups, we can take a quotient of the product to retrieve one of the groups, which is somewhat analogous to division: math.stackexchange.com/questions/723707/how-is-the-quotient-group-related-to-the-direct-product-group
The "converse" is not always true however: a group does not need to be isomorphic to the product of one of its normal subgroups and the associated quotient group. The wiki page provides an example:
Given G and a normal subgroup N, then G is a group extension of G/N by N. One could ask whether this extension is trivial or split; in other words, one could ask whether G is a direct product or semidirect product of N and G/N. This is a special case of the extension problem. An example where the extension is not split is as follows: Let , and which is isomorphic to Z2. Then G/N is also isomorphic to Z2. But Z2 has only the trivial automorphism, so the only semi-direct product of N and G/N is the direct product. Since Z4 is different from Z2 × Z2, we conclude that G is not a semi-direct product of N and G/N.
TODO find a less minimal but possibly more important example.
I think this might be equivalent to why the group extension problem is hard. If this relation were true, then taking the direct product would be the only way to make larger groups from normal subgroups/quotients. But it's not.
RSA (cryptosystem) Updated +Created
Based on the fact that we don't have a P algorithm for integer factorization as of 2020. But nor proof that one does not exist!
The private key is made of two randomly generated prime numbers: and . How such large primes are found: how large primes are found for RSA.
The public key is made of:
Given a plaintext message m, the encrypted ciphertext version is:
c = m^e mod n
This operation is called modular exponentiation can be calculated efficiently with the Extended Euclidean algorithm.
The inverse operation of finding the private m from the public c, e and is however believed to be a hard problem without knowing the factors of n.
However, if we know the private p and q, we can solve the problem. As follows.
First we calculate the modular multiplicative inverse. TODO continue.
Russia Updated +Created
Automated theorem proving Updated +Created
AGI-complete in general? Obviously. But still, a lot can be done. See e.g.:
West Asia Updated +Created
C6 Oxford physics course Updated +Created
Video 1.
A very honest review of my Oxford University master's degree (theoretical physics at keble college) by alicedoesphysics (2020)
Source. Basically all her courses are from the Mathematical Institute of the University of Oxford, and therefore show up at the Moodle of the Oxford Mathematics Institute of Oxford.
Climate change Updated +Created
Information technology Updated +Created
Saylor Academy Updated +Created
This is an interesting initiative which has some similarities to Ciro Santilli's OurBigBook project.
The fatal flaw of the initiative in Ciro Santilli's opinion is the lack of user-generated content. We will never get there without UGC and algorithms, never.
Also as of 2021, it mostly useless business courses: learn.saylor.org unfortunately.
But it has several redeeming factors which Ciro Santilli aproves of:
The founder Michael J. Saylor looks a bit crooked, Rich people who create charitable prizes are often crooked comes to mind. But maybe he's just weird.
Video 1.
Michael Saylor interview by Lex Fridman (2022)
Source.
At the timestamp:
When I go, all my assets will flow into a foundation, and the foundation's mission is to make education free for everybody forever.
What statement... maybe he's actually not crooked, maybe it was just an accounting mistake... God, why.
If only Ciro Santilli knew how to contact him and convince him that his current approach is innefective and that Ciro has something better! Michael, please Google into this page some day, Ciro Santilli needs funding for OurBigBook.com. A hopeless Tweet at: twitter.com/cirosantilli/status/1548350114623660035. Also tried to hit his saylor@strategy.com.
Bell's theorem Updated +Created
Basically a precise statement of "quantum entanglement is spooky".
East Asia Updated +Created

There are unlisted articles, also show them or only show them.