Packing problems are a class of optimization problems that involve arranging a set of items within a defined space in the most efficient way possible. These problems often arise in various fields such as operations research, logistics, manufacturing, computer science, and graph theory. The goal is usually to maximize the utilization of space, minimize waste, or achieve an optimal configuration based on certain criteria.

The idea tha taking the limit of the non-classical theories for certain parameters (relativity and quantum mechanics) should lead to the classical theory.

It appears that classical limit is only very strict for relativity. For quantum mechanics it is much more hand-wavy thing. See also: Subtle is the Lord by Abraham Pais (1982) page 55.

Siegel's theorem on integral points is a significant result in number theory, particularly in the study of Diophantine equations and the distribution of rational and integral solutions to these equations. The theorem essentially states that for a certain class of algebraic varieties, known as "affine" or "projective" varieties of general type, there are only finitely many integral (or rational) points on these varieties.

Might be a bit complex: math.stackexchange.com/questions/698327/classification-of-triply-transitive-finite-groups

There's exactly one field per prime power, so all we need to specify a field is give its order, notated e.g. as $GF(n)$.

Every element of a finite field satisfies $x^{order}=x$.

It is interesting to compare this result philosophically with the classification of finite groups: fields are more constrained as they have to have two operations, and this leads to a much simpler classification!

As shown in Video "Simple Groups - Abstract Algebra by Socratica (2018)", this can be split up into two steps:This split is sometimes called the "Jordan-Hölder program" in reference to the authors of the jordan-Holder Theorem.

Good lists to start playing with:

History: math.stackexchange.com/questions/1587387/historical-notes-on-the-jordan-h%C3%B6lder-program

It is generally believed that no such classification is possible in general beyond the simple groups.

Bibliography:

$M_n({\mathbb{F}}_q)$ accounts for them all, which we know how to do due to the classification of finite fields.

So we see that the classification is quite simple, much like the classification of finite fields, and in strict opposition to the classification of finite simple groups (not to mention the 2023 lack of classification for non simple finite groups!)

Awesome tool to view quick stuff quickly without generating files. Unfortunately it doesn't support all options that the ffmpeg CLI supports, e.g. ffplay multiple input files. One day, one day.

The Sum of Four Cubes Problem refers to the mathematical question of whether every integer can be expressed as the sum of four integer cubes.

The "sums of three cubes" problem refers to the mathematical challenge of expressing certain integers as the sum of three integer cubes. Specifically, the equation can be stated as: \[ n = x^3 + y^3 + z^3 \] where \( n \) is the integer we want to express, and \( x \), \( y \), and \( z \) are also integers.

"The Monkey and the Coconuts" is a traditional folk tale that often appears in various cultures, with different versions and details. The story typically involves a group of monkeys and a supply of coconuts that they find. The narrative usually revolves around themes such as intelligence, teamwork, problem-solving, and sometimes morality. In one common version of the tale, a group of monkeys discovers a coconut tree and figures out how to gather the coconuts.

Tijdeman's theorem is a result in number theory concerning the equation \( x^k - y^m = 1 \), where \( x \), \( y \) are positive integers, and \( k \), \( m \) are integers greater than or equal to 2. The theorem states that the only solutions in positive integers \( (x, y, k, m) \) to this equation occur for certain specific values.

TODO this would give a better motivation for the Mathieu group

Higher transitivity: mathoverflow.net/questions/5993/highly-transitive-groups-without-assuming-the-classification-of-finite-simple-g

The AMNH Exhibitions Lab, part of the American Museum of Natural History (AMNH) in New York City, is an innovative space dedicated to the design, development, and testing of new museum exhibitions. It serves as a collaborative environment where curators, educators, designers, and other professionals can come together to explore and create engaging and educational exhibits that align with the museum's mission to inspire understanding of the natural world and the universe.

One major application of this classification is that different boundary conditions are suitable for different types of partial differential equations as explained at: which boundary conditions lead to existence and uniqueness of a second order PDE.

Bibliography:

A bit like the classification of simple finite groups, they also have a few sporadic groups! Not as spectacular since as usual continuous problems are simpler than discrete ones, but still, not bad.

The Holyland Model of Jerusalem is a highly detailed scale model of the city of Jerusalem, representing its landscape and architecture at a specific point in history. Typically, the model depicts Jerusalem as it was during the Second Temple period, around 66 AD. This period is significant in Jewish history, as it was during this time that the Second Temple stood before its destruction by the Romans in 70 AD.