|
Bella Subbotovskaya
Bella Abramovna Subbotovskaya (17 December 1937 – 23 September 1982) was a Soviet mathematician who founded the short-lived Jewish People's University (1978–1983) in Moscow. Szpiro, G. (2007),Bella Abramovna Subbotovskaya and the Jewish People's University, ''Notices of the American Mathematical Society'', 54(10), 1326–1330.Zelevinsky, A. (2005), "Remembering Bella Abramovna", ''You Failed Your Math Test Comrade Einstein'' (M. Shifman, ed.), World Scientific, 191–195. The school's purpose was to offer free education to those affected by structured anti-Semitism within the Soviet educational system. Its existence was outside Soviet authority and it was investigated by the KGB. Subbotovskaya herself was interrogated a number of times by the KGB and shortly thereafter was hit by a truck and died, in what has been speculated was an assassination. Academic work Prior to founding the Jewish People's University, Subbotovskaya published papers in mathematical logic. Her results ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moscow
Moscow ( , US chiefly ; rus, links=no, Москва, r=Moskva, p=mɐskˈva, a=Москва.ogg) is the capital and largest city of Russia. The city stands on the Moskva River in Central Russia, with a population estimated at 13.0 million residents within the city limits, over 17 million residents in the urban area, and over 21.5 million residents in the metropolitan area. The city covers an area of , while the urban area covers , and the metropolitan area covers over . Moscow is among the world's largest cities; being the most populous city entirely in Europe, the largest urban and metropolitan area in Europe, and the largest city by land area on the European continent. First documented in 1147, Moscow grew to become a prosperous and powerful city that served as the capital of the Grand Duchy that bears its name. When the Grand Duchy of Moscow evolved into the Tsardom of Russia, Moscow remained the political and economic center for most of the Tsardom's history. When th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Boolean Function
In mathematics, a Boolean function is a function whose arguments and result assume values from a two-element set (usually , or ). Alternative names are switching function, used especially in older computer science literature, and truth function (or logical function), used in logic. Boolean functions are the subject of Boolean algebra and switching theory. A Boolean function takes the form f:\^k \to \, where \ is known as the Boolean domain and k is a non-negative integer called the arity of the function. In the case where k=0, the function is a constant element of \. A Boolean function with multiple outputs, f:\^k \to \^m with m>1 is a ''vectorial'' or ''vector-valued'' Boolean function (an S-box in symmetric cryptography). There are 2^ different Boolean functions with k arguments; equal to the number of different truth tables with 2^k entries. Every k-ary Boolean function can be expressed as a propositional formula in k variables x_1,...,x_k, and two propositional formulas are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1938 Births
Events January * January 1 ** The Constitution of Estonia#Third Constitution (de facto 1938–1940, de jure 1938–1992), new constitution of Estonia enters into force, which many consider to be the ending of the Era of Silence and the authoritarian regime. ** state-owned enterprise, State-owned railway networks are created by merger, in France (SNCF) and the Netherlands (Nederlandse Spoorwegen – NS). * January 20 – King Farouk of Egypt marries Safinaz Zulficar, who becomes Farida of Egypt, Queen Farida, in Cairo. * January 27 – The Honeymoon Bridge (Niagara Falls), Honeymoon Bridge at Niagara Falls, New York, collapses as a result of an ice jam. February * February 4 ** Adolf Hitler abolishes the War Ministry and creates the Oberkommando der Wehrmacht (High Command of the Armed Forces), giving him direct control of the German military. In addition, he dismisses political and military leaders considered unsympathetic to his philosophy or policies. Gene ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Boolean Circuits
In computational complexity theory and circuit complexity, a Boolean circuit is a mathematical model for combinational digital logic circuits. A formal language can be decided by a family of Boolean circuits, one circuit for each possible input length. Boolean circuits are defined in terms of the logic gates they contain. For example, a circuit might contain binary AND and OR gates and unary NOT gates, or be entirely described by binary NAND gates. Each gate corresponds to some Boolean function that takes a fixed number of bits as input and outputs a single bit. Boolean circuits provide a model for many digital components used in computer engineering, including multiplexers, adders, and arithmetic logic units, but they exclude sequential logic. They are an abstraction that omits many aspects relevant to designing real digital logic circuits, such as metastability, fanout, glitches, power consumption, and propagation delay variability. Formal definition In giving a formal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Switching Lemma
In computational complexity theory, Håstad's switching lemma is a key tool for proving lower bounds on the size of constant-depth Boolean circuits. Using the switching lemma, showed that Boolean circuits of depth ''k'' in which only AND, OR, and NOT logic gates are allowed require size : \exp\left(\Omega\left(n^\right)\right) for computing the parity function. The switching lemma says that depth-2 circuits in which some fraction of the variables have been set randomly depend with high probability only on very few variables after the restriction. The name of the switching lemma stems from the following observation: Take an arbitrary formula in conjunctive normal form, which is in particular a depth-2 circuit. Now the switching lemma guarantees that after setting some variables randomly, we end up with a Boolean function that depends only on few variables, i.e., it can be computed by a decision tree of some small depth d. This allows us to write the restricted function as a small f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Johan Håstad
Johan Torkel Håstad (; born 19 November 1960) is a Swedish theoretical computer scientist most known for his work on computational complexity theory. He was the recipient of the Gödel Prize in 1994 and 2011 and the ACM Doctoral Dissertation Award in 1986, among other prizes. He has been a professor in theoretical computer science at KTH Royal Institute of Technology in Stockholm, Sweden since 1988, becoming a full professor in 1992. He is a member of the Royal Swedish Academy of Sciences since 2001. He received his B.S. in Mathematics at Stockholm University in 1981, his M.S. in Mathematics at Uppsala University in 1984 and his Ph.D. in Mathematics from MIT in 1986. Håstad's thesis and 1994 Gödel Prize concerned his work on lower bounds on the size of constant-depth Boolean circuits for the parity function. After Andrew Yao proved that such circuits require exponential size, Håstad proved nearly optimal lower bounds on the necessary size through his switching lemma, which ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Uri Zwick
Uri Zwick is an Israeli computer scientist and mathematician known for his work on graph algorithms, in particular on distances in graphs and on the color-coding technique for subgraph isomorphism. With Howard Karloff, he is the namesake of the Karloff–Zwick algorithm for approximating the MAX-3SAT problem of Boolean satisfiability. He and his coauthors won the David P. Robbins Prize in 2011 for their work on the block-stacking problem. Zwick earned a bachelor's degree from the Technion – Israel Institute of Technology, and completed his doctorate at Tel Aviv University in 1989 under the supervision of Noga Alon Noga Alon ( he, נוגה אלון; born 17 February 1956) is an Israeli mathematician and a professor of mathematics at Princeton University noted for his contributions to combinatorics and theoretical computer science, having authored hundreds of .... He is currently a professor of computer science at Tel Aviv University. References External linksHome page* { ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mike Paterson
Michael Stewart Paterson, is a British computer scientist, who was the director of the Centre for Discrete Mathematics and its Applications (DIMAP) at the University of Warwick until 2007, and chair of the department of computer science in 2005. He received his Doctor of Philosophy (Ph.D.) from the University of Cambridge in 1967, under the supervision of David Park. He spent three years at Massachusetts Institute of Technology (MIT) and moved to University of Warwick in 1971, where he remains Professor Emeritus. Paterson is an expert on theoretical computer science with more than 100 publications, especially the design and analysis of algorithms and computational complexity. Paterson's distinguished career was recognised with the EATCS Award in 2006, and a workshop in honour of his 66th birthday in 2008, including contributions of several Turing Award and Gödel Prize laureates. A further workshop was held in 2017 in honour of his 75th birthday, co-located with the workshop f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Probabilistic Method
The probabilistic method is a nonconstructive method, primarily used in combinatorics and pioneered by Paul Erdős, for proving the existence of a prescribed kind of mathematical object. It works by showing that if one randomly chooses objects from a specified class, the probability that the result is of the prescribed kind is strictly greater than zero. Although the proof uses probability, the final conclusion is determined for ''certain'', without any possible error. This method has now been applied to other areas of mathematics such as number theory, linear algebra, and real analysis, as well as in computer science (e.g. randomized rounding), and information theory. Introduction If every object in a collection of objects fails to have a certain property, then the probability that a random object chosen from the collection has that property is zero. Similarly, showing that the probability is (strictly) less than 1 can be used to prove the existence of an object that does ''not ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parity Function
In Boolean algebra, a parity function is a Boolean function whose value is one if and only if the input vector has an odd number of ones. The parity function of two inputs is also known as the XOR function. The parity function is notable for its role in theoretical investigation of circuit complexity of Boolean functions. The output of the parity function is the parity bit. Definition The n-variable parity function is the Boolean function f:\^n\to\ with the property that f(x)=1 if and only if the number of ones in the vector x\in\^n is odd. In other words, f is defined as follows: :f(x)=x_1\oplus x_2 \oplus \dots \oplus x_n where \oplus denotes exclusive or. Properties Parity only depends on the number of ones and is therefore a symmetric Boolean function. The ''n''-variable parity function and its negation are the only Boolean functions for which all disjunctive normal forms have the maximal number of 2 ''n'' − 1 monomials of length ''n'' and all conjunc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Markov's Inequality
In probability theory, Markov's inequality gives an upper bound for the probability that a non-negative function (mathematics), function of a random variable is greater than or equal to some positive Constant (mathematics), constant. It is named after the Russian mathematician Andrey Markov, although it appeared earlier in the work of Pafnuty Chebyshev (Markov's teacher), and many sources, especially in Mathematical analysis, analysis, refer to it as Chebyshev's inequality (sometimes, calling it the first Chebyshev inequality, while referring to Chebyshev's inequality as the second Chebyshev inequality) or Irénée-Jules Bienaymé, Bienaymé's inequality. Markov's inequality (and other similar inequalities) relate probabilities to expected value, expectations, and provide (frequently loose but still useful) bounds for the cumulative distribution function of a random variable. Statement If is a nonnegative random variable and , then the probability that is at least is at most th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
