Pure mathematics is a branch of mathematics that is concerned with abstract concepts and theoretical frameworks, rather than applied mathematics which focuses on practical applications and problem-solving in real-world situations. It seeks to explore mathematical ideas for their own sake, often leading to the development of new theories or the discovery of relationships within mathematics itself.

Neurophilosophy is an interdisciplinary field that combines insights and methodologies from neuroscience with philosophical inquiry to explore fundamental questions about the mind, consciousness, and human behavior. The term is most frequently associated with the works of philosophers like Patricia Churchland and others who investigate how empirical findings from neuroscience can inform traditional philosophical debates about topics such as free will, the nature of consciousness, the self, and moral responsibility.

"De vetula" is a medieval Latin text attributed to the 12th-century scholar and poet Walter of Bibbesworth. The title translates to "On the Old Woman." The work is notable for its humorous and satirical depiction of various aspects of life and relationships, often through the lens of a comical narrative involving a discussion or argument involving an old woman. The text is sometimes recognized for its playful and witty portrayal of morality and societal norms during the Middle Ages.

Existential graphs are a visual notation developed by the American philosopher and logician Charles Sanders Peirce in the late 19th century. They are a form of representation for logical propositions and relationships, particularly useful in the context of modal logic and quantification. Existential graphs are intended to express propositional and predicate logic through graphical means, making the logical structure of arguments more intuitive.

The Ishango bone is a prehistoric artifact discovered in the Ishango region of the Democratic Republic of Congo. It dates back to approximately 20,000 years ago, during the Upper Paleolithic period. The bone is notable for its markings, which are thought to represent some of the earliest known forms of mathematical notation or arithmetic. The Ishango bone is made from the fibula of a baboon and has a series of engraved notches carved into its surface.

The Lebombo bone is an archaeological artifact that consists of a baboon fibula with 29 distinct notches. It was discovered in the Lebombo Mountains, which lie on the border between South Africa and Swaziland (now Eswatini). The bone is estimated to be around 35,000 to 65,000 years old and is thought to be one of the oldest known counting tools.

The Quaternion Society is an organization that is dedicated to the study and promotion of quaternions and related mathematical concepts. Quaternions are a number system that extends complex numbers and are used in various applications, particularly in computer graphics, robotics, physics, and engineering, for representing rotations in three-dimensional space. The society typically aims to foster collaboration among researchers, educators, and practitioners interested in the mathematical theory and applications of quaternions.

In mathematics, a "limiting case" refers to a situation or a scenario in which a particular condition is approached as a limit. This often involves taking a mathematical expression or situation and examining its behavior as certain parameters or variables tend towards a specific value, often infinity or zero. Limiting cases are commonly used in various fields of mathematics, including calculus, optimization, and differential equations.

A "sheaf of planes" typically refers to a mathematical construct in algebraic geometry and related fields, where a "sheaf" is a tool used to systematically track local data associated with a topological space. This concept is fundamental in the study of algebraic varieties, differentiable manifolds, and other geometrical structures.

The Omega constant, denoted by the symbol \( \Omega \), is a special number that is defined as the unique positive real solution to the equation \[ x = e^{-x}. \] This equation can also be written as: \[ x e^x = 1, \] which means that \( \Omega \) is related to the Lambert W function, specifically the principal branch \( W_0 \).

The Silver Ratio is a mathematical constant that arises from the context of continuous fractions and geometric constructions, analogous to the more commonly known Golden Ratio. It is defined as: \[ \delta_S = 1 + \sqrt{2} \approx 2.41421...

Where Sylvain Poirier dumps his mathematics and physics brain.

Notably, given the domain name, it is clear that he likes formalization of mathematics-stuff, like Ciro Santilli.

At first glance, looks a bit dry though, not many examples.