|
Benedikt Löwe
Benedikt Löwe (born 1972) is a German mathematician and logician working at the universities of Amsterdam, Hamburg, and Cambridge. He is known for his work on mathematical logic and the foundations of mathematics, as well as for initiating the interdisciplinary conference series ''Foundations of the Formal Sciences'' (FotFS; 1999–2013) and ''Computability in Europe'' (CiE; since 2005). Biography Löwe studied mathematics and philosophy at the universities of Hamburg, Tübingen, HU Berlin, and Berkeley. In 2001, he completed his PhD entitled ''Blackwell Determinacy'' about determinacy under supervision of Donald A. Martin and Ronald Björn Jensen. He works at the Institute for Logic, Language and Computation of the University of Amsterdam since 2003 and was appointed professor for mathematical logic and interdisciplinary applications of logic at the University of Hamburg in 2009. Currently, he is also an extraordinary fellow at Churchill College of the University of Cambrid ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prague
Prague ( ; cs, Praha ; german: Prag, ; la, Praga) is the capital and largest city in the Czech Republic, and the historical capital of Bohemia. On the Vltava river, Prague is home to about 1.3 million people. The city has a temperate oceanic climate, with relatively warm summers and chilly winters. Prague is a political, cultural, and economic hub of central Europe, with a rich history and Romanesque, Gothic, Renaissance and Baroque architectures. It was the capital of the Kingdom of Bohemia and residence of several Holy Roman Emperors, most notably Charles IV (r. 1346–1378). It was an important city to the Habsburg monarchy and Austro-Hungarian Empire. The city played major roles in the Bohemian and the Protestant Reformations, the Thirty Years' War and in 20th-century history as the capital of Czechoslovakia between the World Wars and the post-war Communist era. Prague is home to a number of well-known cultural attractions, many of which survived the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Determinacy
Determinacy is a subfield of set theory, a branch of mathematics, that examines the conditions under which one or the other player of a game has a winning strategy, and the consequences of the existence of such strategies. Alternatively and similarly, "determinacy" is the property of a game whereby such a strategy exists. Determinacy was introduced by Gale and Stewart in 1950, under the name "determinateness". The games studied in set theory are usually Gale–Stewart games—two-player games of perfect information in which the players make an infinite sequence of moves and there are no draws. The field of game theory studies more general kinds of games, including games with draws such as tic-tac-toe, chess, or infinite chess, or games with imperfect information such as poker. Basic notions Games The first sort of game we shall consider is the two-player game of perfect information of length ω, in which the players play natural numbers. These games are often cal ... [...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] |
German Logicians
German(s) may refer to: * Germany (of or related to) **Germania (historical use) * Germans, citizens of Germany, people of German ancestry, or native speakers of the German language ** For citizens of Germany, see also German nationality law **Germanic peoples (Roman times) * German language **any of the Germanic languages * German cuisine, traditional foods of Germany People * German (given name) * German (surname) * Germán, a Spanish name Places * German (parish), Isle of Man * German, Albania, or Gërmej * German, Bulgaria * German, Iran * German, North Macedonia * German, New York, U.S. * Agios Germanos, Greece Other uses * German (mythology), a South Slavic mythological being * Germans (band), a Canadian rock band * "German" (song), a 2019 song by No Money Enterprise * ''The German'', a 2008 short film * "The Germans", an episode of ''Fawlty Towers'' * ''The German'', a nickname for Congolese rebel André Kisase Ngandu See also * Germanic (other) * Germa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1972 Births
Within the context of Coordinated Universal Time (UTC) it was the longest year ever, as two leap seconds were added during this 366-day year, an event which has not since been repeated. (If its start and end are defined using mean solar time he legal time scale its duration was 31622401.141 seconds of Terrestrial Time (or Ephemeris Time), which is slightly shorter than 1908). Events January * January 1 – Kurt Waldheim becomes Secretary-General of the United Nations. * January 4 - The first scientific hand-held calculator (HP-35) is introduced (price $395). * January 7 – Iberia Airlines Flight 602 crashes into a 462-meter peak on the island of Ibiza; 104 are killed. * January 9 – The RMS ''Queen Elizabeth'' is destroyed by fire in Hong Kong harbor. * January 10 – Independence leader Sheikh Mujibur Rahman returns to Bangladesh after spending over nine months in prison in Pakistan. * January 11 – Sheikh Mujibur Rahman declares a new constitutional governme ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John R
John R. (born John Richbourg, August 20, 1910 - February 15, 1986) was an American radio disc jockey who attained fame in the 1950s and 1960s for playing rhythm and blues music on Nashville radio station WLAC. He was also a notable record producer and artist manager. Richbourg was arguably the most popular and charismatic of the four announcers at WLAC who showcased popular African-American music in nightly programs from the late 1940s to the early 1970s. (The other three were Gene Nobles, Herman Grizzard, and Bill "Hoss" Allen.) Later rock music disc jockeys, such as Alan Freed and Wolfman Jack, mimicked Richbourg's practice of using speech that simulated African-American street language of the mid-twentieth century. Richbourg's highly stylized approach to on-air presentation of both music and advertising earned him popularity, but it also created identity confusion. Because Richbourg and fellow disc jockey Allen used African-American speech patterns, many listeners thought that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alexander S
Alexander is a male given name. The most prominent bearer of the name is Alexander the Great, the king of the Ancient Greek kingdom of Macedonia who created one of the largest empires in ancient history. Variants listed here are Aleksandar, Aleksander and Aleksandr. Related names and diminutives include Iskandar, Alec, Alek, Alex, Alexandre, Aleks, Aleksa and Sander; feminine forms include Alexandra, Alexandria, and Sasha. Etymology The name ''Alexander'' originates from the (; 'defending men' or 'protector of men'). It is a compound of the verb (; 'to ward off, avert, defend') and the noun (, genitive: , ; meaning 'man'). It is an example of the widespread motif of Greek names expressing "battle-prowess", in this case the ability to withstand or push back an enemy battle line. The earliest attested form of the name, is the Mycenaean Greek feminine anthroponym , , (/ Alexandra/), written in the Linear B syllabic script. Alaksandu, alternatively called ''Alakasandu' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John V
John V may refer to: * Patriarch John V of Alexandria or John the Merciful (died by 620), Patriarch of Alexandria from 606 to 616 * John V of Constantinople, Patriarch from 669 to 675 * Pope John V (685–686), Pope from 685 to his death in 686 * John V of Jerusalem, Greek Orthodox Patriarch of Jerusalem in 706–735 * John V the Historian or Hovhannes Draskhanakerttsi, Catholicos of Armenia from 897 to 925 * John V of Gaeta (1010–1040) * John V of Naples (died 1042), Duke from 1036 to 1042 * John V, Count of Soissons, (1281–1304) * John V, Margrave of Brandenburg-Salzwedel (1302–1317) * John V Palaiologos (1332–1391), Byzantine Emperor from 1341 * John V, Count of Sponheim-Starkenburg (1359–1437), German nobleman * John V, Lord of Arkel (1362–1428) * John V, Duke of Brittany (1389–1442), Count of Montfort * John V, Duke of Mecklenburg (1418–1443) * John V, Count of Hoya (died 1466), nicknamed ''the Pugnacious'' or ''the Wild'' * John V, Count of Armagnac (1420–1473 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
German Association For Mathematical Logic And For Basic Research In The Exact Sciences
The German Association for Mathematical Logic and for Basic Research in the Exact Sciences (German: Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften; DVMLG) is the learned society representing the interdisciplinary research area of Logic (within the disciplines of Mathematics, Philosophy, Computer Science, and Linguistics) in German-speaking countries. It was founded in 1962 by Wilhelm Ackermann, Gisbert Hasenjaeger, Hans Hermes, Jürgen von Kempski, Paul Lorenzen, Arnold Schmidt, and Kurt Schütte. Its members are researchers in Mathematical Logic, Philosophical Logic, and Theoretical Computer Science. Biannually, the DVMLG organises the ''Colloquium Logicum'', an international research conference in logic. The DVMLG forms the National Committee for Logic, Methodology and Philosophy of Science representing the Ordinary Member Germany within the Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST). G ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
International Academy For Philosophy Of Science
The International Academy for Philosophy of Science, better known as the (AIPS) is an international organization located in Brussels, which promotes fundamental issues of philosophy of science in an open interdisciplinary dialogue. Its members are philosophers of science or leading experts in sciences interested in philosophical questions. History The AIPS was created in 1947 by Stanislas Dockx. Among its first members were Paul Bernays, E W Beth, Józef Maria Bocheński, Niels Bohr, Émile Borel, L. E. J. Brouwer, Louis de Broglie, Albert Einstein, Ferdinand Gonseth, E A Milne, and Hermann Weyl. In 1991, the Academy was made an International Member of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science (IUHPS/DLMPS). Organization The AIPS consists of full members (''membres titulaires''), corresponding members (''membres correspondants''), and emeritus members (''membres émérites'') who are elected at the g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
