|
Ladislav Svante Rieger
__NOTOC__ Ladislav Svante Rieger (1916–1963) was a Czechoslovak mathematician who worked in the areas of algebra, mathematical logic, and axiomatic set theory Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, .... He is considered to be the founder of mathematical logic in Czechoslovakia, having begun his work around 1957. Notes References * * Further reading * * *, especially "3.5 Ladislav Rieger and lattices", pp. 238–250 * External links * 1916 births 1963 deaths Czechoslovak mathematicians Algebraists Set theorists Charles University alumni Academic staff of Charles University Czechoslovak philosophers {{Europe-mathematician-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Brackets
A bracket is either of two tall fore- or back-facing punctuation marks commonly used to isolate a segment of text or data from its surroundings. Typically deployed in symmetric pairs, an individual bracket may be identified as a 'left' or 'right' bracket or, alternatively, an "opening bracket" or "closing bracket", respectively, depending on the Writing system#Directionality, directionality of the context. Specific forms of the mark include parentheses (also called "rounded brackets"), square brackets, curly brackets (also called 'braces'), and angle brackets (also called 'chevrons'), as well as various less common pairs of symbols. As well as signifying the overall class of punctuation, the word "bracket" is commonly used to refer to a specific form of bracket, which varies from region to region. In most English-speaking countries, an unqualified word "bracket" refers to the parenthesis (round bracket); in the United States, the square bracket. Glossary of mathematical sym ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History One of the earliest known mathematicians were Thales of Miletus (c. 624–c.546 BC); he has been hailed as the first true mathematician and the first known individual to whom a mathematical discovery has been attributed. He is credited with the first use of deductive reasoning applied to geometry, by deriving four corollaries to Thales' Theorem. The number of known mathematicians grew when Pythagoras of Samos (c. 582–c. 507 BC) established the Pythagorean School, whose doctrine it was that mathematics ruled the universe and whose motto was "All is number". It was the Pythagoreans who coined the term "mathematics", and with whom the study of mathematics for its own sake begins. The first woman mathematician recorded by history was Hypati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebra
Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics. Elementary algebra deals with the manipulation of variables (commonly represented by Roman letters) as if they were numbers and is therefore essential in all applications of mathematics. Abstract algebra is the name given, mostly in education, to the study of algebraic structures such as groups, rings, and fields (the term is no more in common use outside educational context). Linear algebra, which deals with linear equations and linear mappings, is used for modern presentations of geometry, and has many practical applications (in weather forecasting, for example). There are many areas of mathematics that belong to algebra, some having "algebra" in their name, such as commutative algebra, and some not, such as Galois theory. The word ''algebra'' is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and been motivated by the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and Mathematical analysis, analysis. In the early 20th century it was shaped by David Hilbert's Hilbert's program, program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to the program, and clarified the issues involved in pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Axiomatic Set Theory
Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory. The non-formalized systems investigated during this early stage go under the name of ''naive set theory''. After the discovery of Paradoxes of set theory, paradoxes within naive set theory (such as Russell's paradox, Cantor's paradox and the Burali-Forti paradox) various axiomatic systems were proposed in the early twentieth century, of which Zermelo–Fraenkel set theory (with or without the axiom of choice) is still the best-known and most studied. Set theory is co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1916 Births
Events Below, the events of the First World War have the "WWI" prefix. January * January 1 – The British Empire, British Royal Army Medical Corps carries out the first successful blood transfusion, using blood that had been stored and cooled. * January 9 – WWI: Gallipoli Campaign: The last British troops are evacuated from Gallipoli, as the Ottoman Empire prevails over a joint British and French operation to capture Constantinople. * January 10 – WWI: Erzurum Offensive: Russia defeats the Ottoman Empire. * January 12 – The Gilbert and Ellice Islands Colony, part of the British Empire, is established in present-day Tuvalu and Kiribati. * January 13 – WWI: Battle of Wadi (1916), Battle of Wadi: Ottoman Empire forces defeat the British, during the Mesopotamian campaign in modern-day Iraq. * January 29 – WWI: Paris is bombed by German Empire, German zeppelins. * January 31 – WWI: An attack is planned on Verdun, France. February * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1963 Deaths
Events January * January 1 – Bogle–Chandler case: Commonwealth Scientific and Industrial Research Organisation scientist Dr. Gilbert Bogle and Mrs. Margaret Chandler are found dead (presumed poisoned), in bushland near the Lane Cove River, Sydney, Australia. * January 2 – Vietnam War – Battle of Ap Bac: The Viet Cong win their first major victory. * January 9 – A total penumbral lunar eclipse is visible in the Americas, Europe, Africa, and Asia, and is the 56th lunar eclipse of Lunar Saros 114. Gamma has a value of −1.01282. It occurs on the night between Wednesday, January 9 and Thursday, January 10, 1963. * January 13 – 1963 Togolese coup d'état: A military coup in Togo results in the installation of coup leader Emmanuel Bodjollé as president. * January 17 – A last quarter moon occurs between the penumbral lunar eclipse and the annular solar eclipse, only 12 hours, 29 minutes after apogee. * January 19 – Soviet spy Gheorghe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Czechoslovak Mathematicians
Czechoslovak may refer to: *A demonym or adjective pertaining to Czechoslovakia (1918–93) **First Czechoslovak Republic (1918–38) ** Second Czechoslovak Republic (1938–39) **Third Czechoslovak Republic (1948–60) **Fourth Czechoslovak Republic (1960–89) **Fifth Czechoslovak Republic (1989–93) *''Czechoslovak'', also ''Czecho-Slovak'', any grouping of the Czech and Slovak ethnicities: **As a national identity, see Czechoslovakism **The title of Symphony no. 8 in G Major op. 88 by Antonín Dvořák in 1889/90 *The Czech–Slovak languages, a West Slavic dialect continuum **The Czechoslovak language, a theoretical standardized form defined as the state language of Czechoslovakia in its Constitution of 1920 **Comparison of Czech and Slovak See also * Slovak Republic (other) * Czech Republic (other) * Czechia (other) * Slovak (other) * Czech (other) Czech may refer to: * Anything from or related to the Czech Republic, a count ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Set Theorists
Set, The Set, SET or SETS may refer to: Science, technology, and mathematics Mathematics *Set (mathematics), a collection of elements *Category of sets, the category whose objects and morphisms are sets and total functions, respectively Electronics and computing *Set (abstract data type), a data type in computer science that is a collection of unique values ** Set (C++), a set implementation in the C++ Standard Library * Set (command), a command for setting values of environment variables in Unix and Microsoft operating-systems * Secure Electronic Transaction, a standard protocol for securing credit card transactions over insecure networks * Single-electron transistor, a device to amplify currents in nanoelectronics * Single-ended triode, a type of electronic amplifier * Set!, a programming syntax in the scheme programming language Biology and psychology * Set (psychology), a set of expectations which shapes perception or thought *Set or sett, a badger's den *Set, a small tuber ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Charles University Alumni
Charles is a masculine given name predominantly found in English and French speaking countries. It is from the French form ''Charles'' of the Proto-Germanic name (in runic alphabet) or ''*karilaz'' (in Latin alphabet), whose meaning was "free man". The Old English descendant of this word was '' Ċearl'' or ''Ċeorl'', as the name of King Cearl of Mercia, that disappeared after the Norman conquest of England. The name was notably borne by Charlemagne (Charles the Great), and was at the time Latinized as ''Karolus'' (as in ''Vita Karoli Magni''), later also as '' Carolus''. Some Germanic languages, for example Dutch and German, have retained the word in two separate senses. In the particular case of Dutch, ''Karel'' refers to the given name, whereas the noun ''kerel'' means "a bloke, fellow, man". Etymology The name's etymology is a Common Germanic noun ''*karilaz'' meaning "free man", which survives in English as churl (< Old English ''ċeorl''), which developed its depr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
