|
Alexander S. Kechris
Alexander Sotirios Kechris (; born March 23, 1946) is a set theorist and logician at the California Institute of Technology. Contributions Kechris has made contributions to the theory of Borel equivalence relations and the theory of automorphism groups of uncountable structures. His research interests cover foundations of mathematics, mathematical logic and set theory and their interactions with analysis and dynamical systems. Kechris earned his Ph.D. at UCLA in 1972 under the direction of Yiannis N. Moschovakis, with a dissertation titled '' Projective Ordinals and Countable Analytic Sets''. During his academic career he advised 23 PhD students and sponsored 20 postdoctoral researchers. In 2012, he became an Inaugural Fellow of the American Mathematical Society. Honors *1986 - Invited Speaker at the International Congress of Mathematicians in Berkeley (Mathematical Logic & Foundations) *1998 - Gödel Lecturer (Current Trends in Descriptive Set Theory). *2003 - Received the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Greece
Greece, officially the Hellenic Republic, is a country in Southeast Europe. Located on the southern tip of the Balkan peninsula, it shares land borders with Albania to the northwest, North Macedonia and Bulgaria to the north, and Turkey to the east. The Aegean Sea lies to the east of the Geography of Greece, mainland, the Ionian Sea to the west, and the Sea of Crete and the Mediterranean Sea to the south. Greece has the longest coastline on the Mediterranean Basin, spanning List of islands of Greece, thousands of islands and nine Geographic regions of Greece, traditional geographic regions. It has a population of over 10 million. Athens is the nation's capital and List of cities and towns in Greece, largest city, followed by Thessaloniki and Patras. Greece is considered the cradle of Western culture, Western civilisation and the birthplace of Athenian democracy, democracy, Western philosophy, Western literature, historiography, political science, major History of science in cl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analytic Set
In the mathematical field of descriptive set theory, a subset of a Polish space X is an analytic set if it is a continuous image of a Polish space. These sets were first defined by and his student . Definition There are several equivalent definitions of analytic set. The following conditions on a subspace ''A'' of a Polish space ''X'' are equivalent: *''A'' is analytic. *''A'' is empty or a continuous image of the Baire space ωω. *''A'' is a Suslin space, in other words ''A'' is the image of a Polish space under a continuous mapping. *''A'' is the continuous image of a Borel set in a Polish space. *''A'' is a Suslin set, the image of the Suslin operation. *There is a Polish space Y and a Borel set B\subseteq X\times Y such that A is the projection of B onto X; that is, : A=\. *''A'' is the projection of a closed set in the cartesian product of ''X'' with the Baire space. *''A'' is the projection of a Gδ set in the cartesian product of ''X'' with the Cantor space 2� ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Purpose: Because living persons may suffer personal harm from inappropriate information, we should watch their articles carefully. By adding an article to this category, it marks them with a notice about sources whenever someone tries to edit them, to remind them of WP:BLP (biographies of living persons) policy that these articles must maintain a neutral point of view, maintain factual accuracy, and be properly sourced. Recent changes to these articles are listed on Special:RecentChangesLinked/Living people. Organization: This category should not be sub-categorized. Entries are generally sorted by family name In many societies, a surname, family name, or last name is the mostly hereditary portion of one's personal name that indicates one's family. It is typically combined with a given name to form the full name of a person, although several give .... Maintenance: Individuals of advanced age (over 90), for whom there has been no new documentation in the last ten ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1946 Births
1946 (Roman numerals, MCMXLVI) was a common year starting on Tuesday of the Gregorian calendar, the 1946th year of the Common Era (CE) and ''Anno Domini'' (AD) designations, the 946th year of the 2nd millennium, the 46th year of the 20th century, and the 7th year of the 1940s decade. Events January * January 6 – The 1946 North Vietnamese parliamentary election, first general election ever in Vietnam is held. * January 7 – The Allies of World War II recognize the Austrian republic with its 1937 borders, and divide the country into four Allied-occupied Austria, occupation zones. * January 10 ** The first meeting of the United Nations is held, at Methodist Central Hall Westminster in London. ** ''Project Diana'' bounces radar waves off the Moon, measuring the exact distance between the Earth and the Moon, and proves that communication is possible between Earth and outer space, effectively opening the Space Age. * January 11 – Enver Hoxha declares the People's Republic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
California Institute Of Technology Faculty
The California Institute of Technology (branded as Caltech) is a private research university in Pasadena, California, United States. The university is responsible for many modern scientific advancements and is among a small group of institutes of technology in the United States that are devoted to the instruction of pure and applied sciences. The institution was founded as a preparatory and vocational school by Amos G. Throop in 1891 and began attracting influential scientists such as George Ellery Hale, Arthur Amos Noyes, and Robert Andrews Millikan in the early 20th century. The vocational and preparatory schools were disbanded and spun off in 1910, and the college assumed its present name in 1920. In 1934, Caltech was elected to the Association of American Universities, and the antecedents of NASA's Jet Propulsion Laboratory, which Caltech continues to manage and operate, were established between 1936 and 1943 under Theodore von Kármán. Caltech has six academic divisio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
21st-century Greek Mathematicians
File:1st century collage.png, From top left, clockwise: Jesus is crucified by Roman authorities in Judaea (17th century painting). Four different men (Galba, Otho, Vitellius, and Vespasian) claim the title of Emperor within the span of a year; The Great Fire of Rome (18th-century painting) sees the destruction of two-thirds of the city, precipitating the empire's first persecution against Christians, who are blamed for the disaster; The Roman Colosseum is built and holds its inaugural games; Roman forces besiege Jerusalem during the First Jewish–Roman War (19th-century painting); The Trưng sisters lead a rebellion against the Chinese Han dynasty (anachronistic depiction); Boudica, queen of the British Iceni leads a rebellion against Rome (19th-century statue); Knife-shaped coin of the Xin dynasty., 335px rect 30 30 737 1077 Crucifixion of Jesus rect 767 30 1815 1077 Year of the Four Emperors rect 1846 30 3223 1077 Great Fire of Rome rect 30 1108 1106 2155 Boudican revolt ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Greek Logicians
Greek may refer to: Anything of, from, or related to Greece, a country in Southern Europe: *Greeks, an ethnic group *Greek language, a branch of the Indo-European language family **Proto-Greek language, the assumed last common ancestor of all known varieties of Greek **Mycenaean Greek, most ancient attested form of the language (16th to 11th centuries BC) **Ancient Greek, forms of the language used c. 1000–330 BC **Koine Greek, common form of Greek spoken and written during Classical antiquity **Medieval Greek or Byzantine Language, language used between the Middle Ages and the Ottoman conquest of Constantinople **Modern Greek, varieties spoken in the modern era (from 1453 AD) *Greek alphabet, script used to write the Greek language *Greek Orthodox Church, several Churches of the Eastern Orthodox Church *Ancient Greece, the ancient civilization before the end of Antiquity *Old Greek, the language as spoken from Late Antiquity to around 1500 AD *Greek mythology, a body of myths or ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Logicians
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 that was previously known as Def American * American University, in Washington, D.C. Sports teams ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alfred Tarski
Alfred Tarski (; ; born Alfred Teitelbaum;School of Mathematics and Statistics, University of St Andrews ''School of Mathematics and Statistics, University of St Andrews''. January 14, 1901 – October 26, 1983) was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, type theory, and analytic philosophy. Educated in Poland at the University of Warsaw, and a member of the Lwów–Warsaw school, Lwów–Warsaw school of logic and the Warsaw school of mathematics, he immigrated to the United States in 1939 where he became a naturalized citizen in 1945. Tarski taught and carried out research in mathematics at the University of California, Berkeley, from 1942 until his death in 1983.#FefA, Feferman A. His biographers Anita Burdman Feferman and Solomon Feferman state that, "Along with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Greg Hjorth
Greg Hjorth (14 June 1963 – 13 January 2011) was an Australian Professor of Mathematics, chess International Master (1984) and joint (with Ian Rogers) Commonwealth Champion in 1983. He worked in the field of mathematical logic. Chess career Hjorth came second in the 1980 Australian Chess Championship, at the age of 16. He won the Doeberl Cup in Canberra in 1982, 1985 and 1987, and played for Australia in the Chess Olympiads of 1982, 1984 and 1986. According to Chessmetrics, his best single performance was at the 1984 British Chess Championship, where he scored 4/7 against 2551-rated opposition, for a performance rating of 2570. Hjorth retired from most chess in the 1980s. Mathematical career Hjorth earned his PhD in 1993, under the direction of W. Hugh Woodin, with a dissertation entitled ''On the influence of second uniform indiscernible''. He held faculty positions at the University of California, Los Angeles and the University of Melbourne. The University Of Melb ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Karp Prize
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Phokion Kolaitis. Publications The ASL publishes books and academic journals. Its three official journals are: * ''Journal of Symbolic Logic The '' Journal of Symbolic Logic'' is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic. It was established in 1936 and covers mathematical logic. The journal is indexed by '' Mathematical Reviews'', Zent ...'' – publishes research in all areas of mathematical logic. Founded in 1936, . * ''Bulletin of Symbolic Logic'' – publishes primarily expository articles and reviews. Founded in 1995, . * ''Review of Symbolic Logic'' – publishes research relating to logic, philosophy, science, and their interactions. Founded in 2008, . In addition, the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
