|
Julius Richard Büchi
Julius Richard Büchi (1924–1984) was a Swiss logician and mathematician. He received his Dr. sc. nat. in 1950 at ETH Zurich under the supervision of Paul Bernays and Ferdinand Gonseth. Shortly afterwards he went to Purdue University in Lafayette, Indiana. He and his first student Lawrence Landweber had a major influence on the development of theoretical computer science. Together with his friend Saunders Mac Lane, a student of Paul Bernays as well, Büchi published numerous celebrated works. He invented what is now known as the Büchi automaton, a finite-state machine accepting certain sets of infinite sequences of characters known as omega-regular languages. The "''n'' squares' problem", known also as Büchi's problem, is an open problem from number theory, closely related to Hilbert's tenth problem Hilbert's tenth problem is the tenth on the list of mathematical problems that the German mathematician David Hilbert posed in 1900. It is the challenge to provide a gene ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Swiss People
The Swiss people (german: die Schweizer, french: les Suisses, it, gli Svizzeri, rm, ils Svizzers) are the citizens of Switzerland or people of Swiss abroad, Swiss ancestry. The number of Swiss nationality law, Swiss nationals has grown from 1.7 million in 1815 to 8.7 million in 2020. More than 1.5 million Swiss citizens hold multiple citizenship. About 11% of citizens Swiss abroad, live abroad (0.8 million, of whom 0.6 million hold multiple citizenship). About 60% of those living abroad reside in the European Union (0.46 million). The largest groups of Swiss descendants and nationals outside Europe are found in the Swiss Americans, United States, Brazil and Swiss Canadian, Canada. Although the Switzerland as a federal state, modern state of Switzerland originated in 1848, the period of romantic nationalism, it is not a nation-state, and the Swiss are not a single ethnic group, but rather are a Confederation, confederacy (') or ' ("nation of will", "nation by choice", tha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Büchi Automaton
In computer science and automata theory, a deterministic Büchi automaton is a theoretical machine which either accepts or rejects infinite inputs. Such a machine has a set of states and a transition function, which determines which state the machine should move to from its current state when it reads the next input character. Some states are accepting states and one state is the start state. The machine accepts an input if and only if it will pass through an accepting state infinitely many times as it reads the input. A non-deterministic Büchi automaton, later referred to just as a Büchi automaton, has a transition function which may have multiple outputs, leading to many possible paths for the same input; it accepts an infinite input if and only if some possible path is accepting. Deterministic and non-deterministic Büchi automata generalize deterministic finite automata and nondeterministic finite automata to infinite inputs. Each are types of ω-automata. Büchi automata rec ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1984 Deaths
Events January * January 1 – The Bornean Sultanate of Brunei gains full independence from the United Kingdom, having become a British protectorate in 1888. * January 7 – Brunei becomes the sixth member of the Association of Southeast Asian Nations (ASEAN). * January 10 ** The United States and the Vatican (Holy See) restore full diplomatic relations. ** The Victoria Agreement is signed, institutionalising the Indian Ocean Commission. *January 24 – Steve Jobs launches the Macintosh personal computer in the United States. February * February 3 ** Dr. John Buster and the research team at Harbor–UCLA Medical Center announce history's first embryo transfer from one woman to another, resulting in a live birth. ** STS-41-B: Space Shuttle ''Challenger'' is launched on the 10th Space Shuttle mission. * February 7 – Astronauts Bruce McCandless II and Robert L. Stewart make the first untethered space walk. * February 8– 19 – The 1984 Winter Olympics are held i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1924 Births
Nineteen or 19 may refer to: * 19 (number), the natural number following 18 and preceding 20 * one of the years 19 BC, AD 19, 1919, 2019 Films * ''19'' (film), a 2001 Japanese film * ''Nineteen'' (film), a 1987 science fiction film Music * 19 (band), a Japanese pop music duo Albums * ''19'' (Adele album), 2008 * ''19'', a 2003 album by Alsou * ''19'', a 2006 album by Evan Yo * ''19'', a 2018 album by MHD * ''19'', one half of the double album ''63/19'' by Kool A.D. * ''Number Nineteen'', a 1971 album by American jazz pianist Mal Waldron * ''XIX'' (EP), a 2019 EP by 1the9 Songs * "19" (song), a 1985 song by British musician Paul Hardcastle. * "Nineteen", a song by Bad4Good from the 1992 album '' Refugee'' * "Nineteen", a song by Karma to Burn from the 2001 album ''Almost Heathen''. * "Nineteen" (song), a 2007 song by American singer Billy Ray Cyrus. * "Nineteen", a song by Tegan and Sara from the 2007 album '' The Con''. * "XIX" (song), a 2014 song by Slipk ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert's Tenth Problem
Hilbert's tenth problem is the tenth on the list of mathematical problems that the German mathematician David Hilbert posed in 1900. It is the challenge to provide a general algorithm which, for any given Diophantine equation (a polynomial equation with integer coefficients and a finite number of unknowns), can decide whether the equation has a solution with all unknowns taking integer values. For example, the Diophantine equation 3x^2-2xy-y^2z-7=0 has an integer solution: x=1,\ y=2,\ z=-2. By contrast, the Diophantine equation x^2+y^2+1=0 has no such solution. Hilbert's tenth problem has been solved, and it has a negative answer: such a general algorithm does not exist. This is the result of combined work of Martin Davis, Yuri Matiyasevich, Hilary Putnam and Julia Robinson which spans 21 years, with Matiyasevich completing the theorem in 1970. The theorem is now known as Matiyasevich's theorem or the MRDP theorem (an initialism for the surnames of the four principal contribut ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Number Theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mathematics is the queen of the sciences—and number theory is the queen of mathematics."German original: "Die Mathematik ist die Königin der Wissenschaften, und die Arithmetik ist die Königin der Mathematik." Number theorists study prime numbers as well as the properties of mathematical objects made out of integers (for example, rational numbers) or defined as generalizations of the integers (for example, algebraic integers). Integers can be considered either in themselves or as solutions to equations (Diophantine geometry). Questions in number theory are often best understood through the study of Complex analysis, analytical objects (for example, the Riemann zeta function) that encode properties of the integers, primes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Büchi's Problem
In number theory, Büchi's problem, also known as the ''n'' squares' problem, is an open problem named after the Swiss mathematician Julius Richard Büchi. It asks whether there is a positive integer ''M'' such that every sequence of ''M'' or more integer squares, whose second difference is constant and equal to 2, is necessarily a sequence of squares of the form (''x'' + ''i'')2, ''i'' = 1, 2, ..., ''M'',... for some integer ''x''. In 1983, Douglas Hensley observed that Büchi's problem is equivalent to the following: Does there exist a positive integer ''M'' such that, for all integers ''x'' and ''a'', the quantity (''x'' + ''n'')2 + ''a'' cannot be a square for more than ''M'' consecutive values of ''n'', unless ''a'' = 0? Statement of Büchi's problem Büchi's problem can be stated in the following way: Does there exist a positive integer ''M'' such that the system of equations : \begin x_2^2-2 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Omega-regular Language
The ω-regular languages are a class of ω-languages that generalize the definition of regular languages to infinite words. Formal definition An ω-language ''L'' is ω-regular if it has the form * ''A''ω where ''A'' is a regular language not containing the empty string * ''AB'', the concatenation of a regular language ''A'' and an ω-regular language ''B'' (Note that ''BA'' is ''not'' well-defined) * ''A'' ∪ ''B'' where ''A'' and ''B'' are ω-regular languages (this rule can only be applied finitely many times) The elements of ''A''ω are obtained by concatenating words from ''A'' infinitely many times. Note that if ''A'' is regular, ''A''ω is not necessarily ω-regular, since ''A'' could be for example , the set containing only the empty string, in which case ''A''ω=''A'', which is not an ω-language and therefore not an ω-regular language. It is a straightforward consequence of the definition that the ω-regular languages are precisely the ω-languages of the form ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite-state Machine
A finite-state machine (FSM) or finite-state automaton (FSA, plural: ''automata''), finite automaton, or simply a state machine, is a mathematical model of computation. It is an abstract machine that can be in exactly one of a finite number of '' states'' at any given time. The FSM can change from one state to another in response to some inputs; the change from one state to another is called a ''transition''. An FSM is defined by a list of its states, its initial state, and the inputs that trigger each transition. Finite-state machines are of two types— deterministic finite-state machines and non-deterministic finite-state machines. A deterministic finite-state machine can be constructed equivalent to any non-deterministic one. The behavior of state machines can be observed in many devices in modern society that perform a predetermined sequence of actions depending on a sequence of events with which they are presented. Simple examples are vending machines, which dispense p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Saunders Mac Lane
Saunders Mac Lane (4 August 1909 – 14 April 2005) was an American mathematician who co-founded category theory with Samuel Eilenberg. Early life and education Mac Lane was born in Norwich, Connecticut, near where his family lived in Taftville.. He was christened "Leslie Saunders MacLane", but "Leslie" fell into disuse because his parents, Donald MacLane and Winifred Saunders, came to dislike it. He began inserting a space into his surname because his first wife found it difficult to type the name without a space. He was the oldest of three brothers; one of his brothers, Gerald MacLane, also became a mathematics professor at Rice University and Purdue University. Another sister died as a baby. His father and grandfather were both ministers; his grandfather had been a Presbyterian, but was kicked out of the church for believing in evolution, and his father was a Congregationalist. His mother, Winifred, studied at Mount Holyoke College and taught English, Latin, and mathematics. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
