Ciro Santilli @cirosantilli 35

One of the first formal proof systems. This is actually understandable!

This is Ciro Santilli-2020 definition of the foundation of mathematics (and the only one he had any patience to study at all).

TODO what are its limitations? Why were other systems created?

We select for the general Equation "Schrodinger equation":giving the full explicit partial differential equation:

The corresponding time-independent Schrödinger equation for this equation is:

Predicts fine structure.

Bibliography:

On Ubuntu 20.10, just:

To change font size: stackoverflow.com/questions/21363334/how-to-add-font-size-in-subtitles-in-ffmpeg-video-filterThe default appears to be 24, so just multiply that by whatever seems like a reasonable factor.

Note howver that .ass subtitle files can contain style information, which ffmpeg respects. Aegisub can produce and preview such styles, making .ass one of the best options.

Adds special relativity to the Schrödinger equation, and the following conclusions come basically as a direct consequence of this!

Experiments explained:

Experiments not explained: those that quantum electrodynamics explains like:See also: Dirac equation vs quantum electrodynamics.

The Dirac equation is a set of 4 partial differential equations on 4 complex valued wave functions. The full explicit form in Planck units is shown e.g. in Video 1. "Quantum Mechanics 12a - Dirac Equation I by ViaScience (2015)" at youtu.be/OCuaBmAzqek?t=1010:Then as done at physics.stackexchange.com/questions/32422/qm-without-complex-numbers/557600#557600 from why are complex numbers used in the Schrodinger equation?, we could further split those equations up into a system of 8 equations on 8 real-valued functions.

Ciro Santilli believes that there is a positive correlation between being a software engineer and liking Buddhist-like things.

Maybe it is linked to minimalism and DRY, which software engineers value so greatly.

Even Ciro had to try an unoriginal Buddhist joke intro in one of this Stack Overflow answers.

Ciro also feels that his "minimal reproducible example" scientific language/concept learning method obsession of breaking things into tiny sub-problems has a strong link with Koans.

Some notable Buddhism/programmer examples:

Another thing that points the correlation out is the existence of wattsalan.github.io/ on a github.io about Alan Watts.

Examples:

Has $SU(2)$ as a double cover.

One nerve fiber under a scanning electron microscope: www.quora.com/Is-a-human-head-transplant-possible-in-the-future/answer/Dimitrios-Michmizos

Also sometimes called helium II, in contrast to helium I, which is the non-superfluid liquid helium phase.

There are apparently two methods:

Specific implementations:

Bibliography:

scholarworks.sjsu.edu/cgi/viewcontent.cgi?referer=https://www.google.com/&httpsredir=1&article=5051&context=etd_theses proves that the Mathieu group $M_{24}$ is simple in just 200 pages. Nice.

Examples: