Universal instantiation is a rule of inference in formal logic that allows one to derive a specific instance from a universally quantified statement. In simple terms, if something is true for all members of a certain set (as stated by a universal quantifier), one can conclude that it is true for any particular member of that set.
Builds on top of propositional logic, adding notably existential quantification.
Most of the helium in the Earth's atmosphere comes from alpha decay, since helium is lighter than air and naturally escapes out out of the atmosphere.
Wiki mentions that alpha decay is well modelled as a quantum tunnelling event, see also Geiger-Nuttall law.
As a result of that law, alpha particles have relatively little energy variation around 5 MeV or a speed of about 5% of the speed of light for any element, because the energy is inversely exponentially proportional to half-life. This is because:
Quantum tunnelling and the Alpha particle Paradox by Physics Explained (2022)
Source. - youtu.be/_f8zeEI0oys?t=796 George Gamow and Edward Condon proposed the quantum tunnelling explanation
- youtu.be/_f8zeEI0oys?t=1725 worked out example that predicts the half-life of polonium-210 based on its emission energy
The Kramer graph, often referred to as the "K4,4" graph or "Kramer graph," is a specific type of graph used in combinatorial design and graph theory. Here are some key points about the Kramer graph: 1. **Properties**: - The Kramer graph is a bipartite graph, meaning it can be divided into two distinct sets of vertices such that no two vertices within the same set are adjacent.
No-Nonsense Quantum Field Theory by Jakob Schwichtenberg (2020) by
Ciro Santilli 37 Updated 2025-07-16
This book really tries to recall basic things to ensure that the reader will be able to understand the more advanced ones.
But Ciro Santilli really prefers it when authors error on the side of obvious.
In the case of field however, we can expand the Lagrangian out further, to also integrate over the space coordinates and their derivatives.
Since we are now working with something that gets integrated over space to obtain the total action, much like density would be integrated over space to obtain a total mass, the name "Lagrangian density" is fitting.
Of course, if we were to write it like that all the time we would go mad, so we can just write a much more condensed vectorized version using the gradient with :
And in the context of special relativity, people condense that even further by adding to the spacetime Four-vector as well, so you don't even need to write that separate pesky .
The main point of talking about the Lagrangian density instead of a Lagrangian for fields is likely that it treats space and time in a more uniform way, which is a basic requirement of special relativity: we have to be able to mix them up somehow to do Lorentz transformations. Notably, this is a key ingredient in a/the formulation of quantum field theory.
Pinned article: Introduction to the OurBigBook Project
Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
Intro to OurBigBook
. Source. We have two killer features:
- topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculusArticles of different users are sorted by upvote within each article page. This feature is a bit like:
- a Wikipedia where each user can have their own version of each article
- a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.Figure 1. Screenshot of the "Derivative" topic page. View it live at: ourbigbook.com/go/topic/derivativeVideo 2. OurBigBook Web topics demo. Source. - local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 2. You can publish local OurBigBook lightweight markup files to either OurBigBook.com or as a static website.Figure 3. Visual Studio Code extension installation.Figure 5. . You can also edit articles on the Web editor without installing anything locally. Video 3. Edit locally and publish demo. Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension. - Infinitely deep tables of contents:
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact