Satz (disambiguation)
Encyclopedia
Satz is a German word and name, and may refer to:
People with the surname Satz:
- SatzSatz"Satz is any single member of a musical piece, which in and of itself displays a complete sense," such as a sentence, phrase, or movement.-Sources:...
, a formal section in music analysis - "theoremTheoremIn mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements, such as axioms...
" in German, conventionally used in the name of certain theorems. Note however that the word "Theorem" is also used in German, generally for more important results, and thus in a stricter translation would be "Proposition"; see Theorem#Terminology. Significant results called "Satz" in English include:- FreiheitssatzFreiheitssatzIn mathematics, the Freiheitssatz is a result in the presentation theory of groups...
- Hilbert's NullstellensatzHilbert's NullstellensatzHilbert's Nullstellensatz is a theorem which establishes a fundamental relationship between geometry and algebra. This relationship is the basis of algebraic geometry, an important branch of mathematics. It relates algebraic sets to ideals in polynomial rings over algebraically closed fields...
- Krull's Hauptidealsatz
- Spiegelungssatz
- Stengle's PositivstellensatzStengle's PositivstellensatzIn real semialgebraic geometry, Stengle's Positivstellensatz characterizes polynomials that are positive on a semialgebraic set, which is defined by systems of inequalities of polynomials with real coefficients, or more generally, coefficients from any real-closed field.It can be thought of as an...
- Freiheitssatz
- Satz (SAT solver)Satz (SAT solver)SatZ is a well known SAT instance solver. It was developed by Prof. Chu Min Li, a computer science researcher. The Z stands for the last version of SAT solvers.- References :...
, a well known SAT instance solver
People with the surname Satz:
- Alexander SatzAlexander SatzAlexander Igorevich Satz was a Russian pianist and educator.Satz's musical career is quite unusual. He did not take up music in a professional way until the age of 14, when he started taking piano lessons with Leonid Brumberg...
(1941–2007), Russian pianist and educator - Ludwig SatzLudwig SatzLudwig Satz was an actor in Yiddish theater and film, best known for his comic roles. A 1925 New York Times article singles him out as the greatest Yiddish comic actor of the time....
(1891–1944), Yiddish theatre performer - Michael SatzMichael SatzMichael J Satz is the State Attorney for Broward County, FL. He was elected in 1976 and has won re-election 8 times. He earned an undergraduate degree at Temple University a graduate degree from the University of Miami School of Law....
(20th century), American politician - Wayne SatzWayne SatzWayne Thomas Satz was a reporter who first reported on the McMartin preschool trial. His first McMartin broadcast aired on KABC-TV in Los Angeles on February 2, 1984.-External links:...
(20th century), American journalist