Hay is grass, legumes or other herbaceous plants that have been cut, dried, and stored for use as animal fodder, particularly for grazing livestock such as cattle, horses, goats, and sheep. Hay is also fed to pets such as rabbits and guinea pigs. Pigs may be fed hay, but they do not digest it as efficiently as more fully herbivorous animals.
more from Wikipedia
Gleason's theorem
Gleason's theorem, named after Andrew Gleason, is a mathematical result of particular importance for quantum logic. It proves that the Born rule for the probability of obtaining specific results to a given measurement, follows naturally from the structure formed by the lattice of events in a real or complex Hilbert space.
more from Wikipedia
Quantum logic
In quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account. This research area and its name originated in the 1936 paper by Garrett Birkhoff and John von Neumann, who were attempting to reconcile the apparent inconsistency of classical logic with the facts concerning the measurement of complementary variables in quantum mechanics, such as position and momentum.
more from Wikipedia
Intuitionism
In the philosophy of mathematics, intuitionism, or neointuitionism, is an approach to mathematics as the constructive mental activity of humans. That is, mathematics does not consist of analytic activities wherein deep properties of existence are revealed and applied. Instead, logic and mathematics are the application of internally consistent methods to realize more complex mental constructs.
more from Wikipedia
Mathematical object
A mathematical object is an abstract object arising in philosophy of mathematics and mathematics. Commonly encountered mathematical objects include numbers, permutations, partitions, matrices, sets, functions, and relations. Geometry as a branch of mathematics has such objects as hexagons, points, lines, triangles, circles, spheres, polyhedra, topological spaces and manifolds. Algebra, another branch, has groups, rings, fields, group-theoretic lattices and order-theoretic lattices.
more from Wikipedia
Self-adjoint operator
In mathematics, on a finite-dimensional inner product space, a self-adjoint operator is an operator that is its own adjoint, or, equivalently, one whose matrix is Hermitian, where a Hermitian matrix is one which is equal to its own conjugate transpose. By the finite-dimensional spectral theorem, such operators can be associated with an orthonormal basis of the underlying space in which the operator is represented as a diagonal matrix with entries in the real numbers.
more from Wikipedia
Space (mathematics)
In mathematics, a space is a set with some added structure. Mathematical spaces often form a hierarchy, i.e. , one space may inherit all the characteristics of a parent space. For instance, all inner product spaces are also normed vector spaces, because the inner product induces a norm on the inner product space such that: Modern mathematics treats "space" quite differently compared to classical mathematics.
more from Wikipedia
Theoretical physics
Theoretical physics is a branch of physics which employs mathematical models and abstractions of physics to rationalize, explain and predict natural phenomena. The importance of mathematics in theoretical physics is sometimes emphasized by the expression "mathematical physics". The advancement of science depends in general on the interplay between experimental studies and theory.
more from Wikipedia