William Bigelow Easton

	William Bigelow Easton William Bigelow Easton was an American mathematician who proved Easton's theorem about the possible values of the continuum function. His advisor at Princeton was Alonzo Church Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, philosopher, professor and editor who made major contributions to mathematical logic and the foundations of theoretical computer scien .... Publications * References American mathematicians Set theorists Computer scientists Year of birth missing Possibly living people {{Mathematician-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Easton's Theorem In set theory, Easton's theorem is a result on the possible cardinal numbers of powersets. (extending a result of Robert M. Solovay) showed via forcing that the only constraints on permissible values for 2''κ'' when ''κ'' is a regular cardinal are : \kappa < \operatorname(2^\kappa) (where cf(''α'') is the cofinality of ''α'') and : $\text \kappa < \lambda \text 2^\kappa\le 2^\lambda.$ Statement If ''G'' is a class function whose domain consists of ordinals and whose range consists of ordinals such that # ''G'' is non-decreasing, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Continuum Function In mathematics, the continuum function is \kappa\mapsto 2^\kappa, i.e. raising 2 to the power of κ using cardinal exponentiation. Given a cardinal number, it is the cardinality of the power set of a set of the given cardinality. See also Continuum hypothesis Cardinality of the continuum Beth number Easton's theorem Gimel function In axiomatic set theory, the gimel function is the following function mapping cardinal numbers to cardinal numbers: :\gimel\colon\kappa\mapsto\kappa^ where cf denotes the cofinality function; the gimel function is used for studying the continuum f ... Cardinal numbers {{settheory-stub ... [...More Info...] [...Related Items...] OR:* [Wikipedia] [Google] [Baidu]
	Alonzo Church Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, philosopher, professor and editor who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language (see e.g. Church 1970). Alongside his student Alan Turing, Church is considered one of the founders of computer science. Life Alonzo Church was born on June 14, 1903, in Washington, D.C., where his father, Samuel Robbins Church, was a Justice of the Peace and the judge of the Municipal Court for the District of Columbia. He was the grandson of Alonzo Webster Church (1829-1909), United States Senate Librarian from 1881-1901, and great grandson of Alonzo Church, a Professor of Mathematics and Astronomy and 6th Pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	American Mathematicians American(s) may refer to: * American, something of, from, or related to the United States of America, commonly known as the "United States" or "America" Americans, citizens and nationals of the United States of America American ancestry, people who self-identify their ancestry as "American" American English, the set of varieties of the English language native to the United States Native Americans in the United States, indigenous peoples of the United States * American, something of, from, or related to the Americas, also known as "America" ** Indigenous peoples of the Americas * American (word), for analysis and history of the meanings in various contexts Organizations * American Airlines, U.S.-based airline headquartered in Fort Worth, Texas * American Athletic Conference, an American college athletic conference * American Recordings (record label), a record label previously known as Def American * American University, in Washington, D.C. Sports teams Soccer * B ... [...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]
picture info	Computer Scientists Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (including the design and implementation of hardware and software). Computer science is generally considered an area of academic research and distinct from computer programming. Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing security vulnerabilities. Computer graphics and computational geometry address the generation of images. Programming language theory considers different ways to describe computational processes, and database theory concerns the management of repositories of data. Human ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
picture info	Year Of Birth Missing A year or annus is the orbital period of a planetary body, for example, the Earth, moving in its orbit around the Sun. Due to the Earth's axial tilt, the course of a year sees the passing of the seasons, marked by change in weather, the hours of daylight, and, consequently, vegetation and soil fertility. In temperate and subpolar regions around the planet, four seasons are generally recognized: spring, summer, autumn and winter. In tropical and subtropical regions, several geographical sectors do not present defined seasons; but in the seasonal tropics, the annual wet and dry seasons are recognized and tracked. A calendar year is an approximation of the number of days of the Earth's orbital period, as counted in a given calendar. The Gregorian calendar, or modern calendar, presents its calendar year to be either a common year of 365 days or a leap year of 366 days, as do the Julian calendars. For the Gregorian calendar, the average length of the calendar year (the mea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]

Statement