|
Andrzej Ehrenfeucht
Andrzej Ehrenfeucht (, born 8 August 1932) is a Polish-American mathematician and computer scientist. Life Andrzej Ehrenfeucht formulated the Ehrenfeucht–Fraïssé game, using the back-and-forth method given in Roland Fraïssé's PhD thesis. Also named for Ehrenfeucht is the Ehrenfeucht–Mycielski sequence. In 1971 Ehrenfeucht was a founding member of the Department of Computer Science at the University of Colorado at Boulder. He currently teaches and does research at the University, where he runs a project, "breaking away", with Patricia Baggett; the project, using hands-on activities, aims at raising high-school students' interest in mathematics and technology. Two of Ehrenfeucht's students, Eugene Myers and David Haussler, contributed to the sequencing of the human genome. They, with Harold Gabow, Ross McConnell, and Grzegorz Rozenberg, spoke at a 2012 University of Colorado two-day symposium honoring Ehrenfeucht's 80th birthday. Two journal issues have come out in h ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vilnius
Vilnius ( , ) is the capital of and List of cities in Lithuania#Cities, largest city in Lithuania and the List of cities in the Baltic states by population, most-populous city in the Baltic states. The city's estimated January 2025 population was 607,667, and the Vilnius urban area (which extends beyond the city limits) has an estimated population of 747,864. Vilnius is notable for the architecture of its Vilnius Old Town, Old Town, considered one of Europe's largest and best-preserved old towns. The city was declared a World Heritage Site, UNESCO World Heritage Site in 1994. The architectural style known as Vilnian Baroque is named after the city, which is farthest to the east among Baroque architecture, Baroque cities and the largest such city north of the Alps. The city was noted for its #Demographics, multicultural population during the Polish–Lithuanian Commonwealth, with contemporary sources comparing it to Babylon. Before World War II and The Holocaust in Lithuania, th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Technology
Technology is the application of Conceptual model, conceptual knowledge to achieve practical goals, especially in a reproducible way. The word ''technology'' can also mean the products resulting from such efforts, including both tangible tools such as Kitchen utensil, utensils or machines, and intangible ones such as software. Technology plays a critical role in science, engineering, and everyday life. Technological advancements have led to significant changes in society. The earliest known technology is the stone tool, used during prehistory, followed by the control of fire—which in turn contributed to the Brain size, growth of the human brain and the development of language during the Pleistocene, Ice Age, according to the cooking hypothesis. The invention of the wheel in the Bronze Age allowed greater travel and the creation of more complex machines. More recent technological inventions, including the printing press, telephone, and the Internet, have lowered barriers to ... [...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] |
1932 Births
Events January * January 4 – The British authorities in India arrest and intern Mahatma Gandhi and Vallabhbhai Patel. * January 9 – Sakuradamon Incident (1932), Sakuradamon Incident: Korean nationalist Lee Bong-chang fails in his effort to assassinate Emperor Hirohito of Japan. The Kuomintang's official newspaper runs an editorial expressing regret that the attempt failed, which is used by the Japanese as a pretext to attack Shanghai later in the month. * January 22 – The 1932 Salvadoran peasant uprising begins; it is suppressed by the government of Maximiliano Hernández Martínez. * January 24 – Marshal Pietro Badoglio declares the end of Libyan resistance. * January 26 – British submarine aircraft carrier sinks with the loss of all 60 onboard on exercise in Lyme Bay in the English Channel. * January 28 – January 28 incident: Conflict between Japan and China in Shanghai. * January 31 – Japanese warships arrive in Nanking. February * February 2 ** A general ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
List Of Polish People
This is a partial list of notable Polish or Polish-speaking or -writing people. People of partial Polish heritage have their respective ancestries credited. Physics * Miedziak Antal * Czesław Białobrzeski * Andrzej Buras * Georges Charpak, 1995 Nobel Prize * Jan Kazimierz Danysz * Marian Danysz * Tomasz Dietl * Maria Dworzecka, Polish-American computational nuclear physicist * Artur Ekert, British-Polish, one of the independent inventors (in 1991) of quantum cryptography * Krzysztof Gawedzki, mathematical physicist * Marek Gazdzicki, high-energy nuclear physicist * Ryszard Horodecki * Leopold Infeld * Aleksander Jabłoński * Jerzy Stanisław Janicki * Sylwester Kaliski * Elżbieta Kossecka * Jan Eugeniusz Krysiński * Stanislas Leibler, Polish-French-American * Maciej Lewenstein, theoretical physicist * Olga Malinkiewicz * Albert A. Michelson, American, 1907 Nobel Prize * Lidia Morawska, Polish-Australian * Stanisław Mrozowski * Władysław ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fundamenta Mathematicae
''Fundamenta Mathematicae'' is a peer-reviewed scientific journal of mathematics with a special focus on the foundations of mathematics, concentrating on set theory, mathematical logic, topology and its interactions with algebra, and dynamical systems. The first specialized journal in the field of mathematics, originally it covered only topology, set theory, and foundations of mathematics..... It is published by the Mathematics Institute of the Polish Academy of Sciences. History The journal was conceived by Zygmunt Janiszewski as a means to foster mathematical research in Poland.According to and to the introduction to the 100th volume of the journal (1978, pp=1–2). These two sources cite an article written by Janiszewski himself in 1918 and titled "''On the needs of Mathematics in Poland''". Janiszewski posited that, to achieve its goal, the journal should not compel Polish mathematicians to submit articles written exclusively in Polish, and should be devoted only to a sp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chen Chung Chang
Chen Chung Chang () was a mathematician who worked in model theory. He obtained his PhD from Berkeley in 1955 on "Cardinal and Ordinal Factorization of Relation Types" under Alfred Tarski. He wrote the standard text on model theory. Chang's conjecture and Chang's model are named after him. He also proved the ordinal partition theorem (expressed in the arrow notation for Ramsey theory) ωω→(ωω,3)2, originally a problem of Erdős and Hajnal. He also introduced MV-algebras as models for Łukasiewicz logic. Chang was a professor at the mathematics department of the University of California, Los Angeles The University of California, Los Angeles (UCLA) is a public university, public Land-grant university, land-grant research university in Los Angeles, California, United States. Its academic roots were established in 1881 as a normal school the .... Selected publications * * * C. C. Chang. Algebraic analysis of many-valued logics. Transactions of the American Mathema ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Solomon Feferman
Solomon Feferman (December 13, 1928July 26, 2016) was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, computability theory, and set theory, he was known for his contributions to the history of logic (for instance, via biographical writings on figures such as Kurt Gödel, Alfred Tarski, and Jean van Heijenoort) and as a vocal proponent of the philosophy of mathematics known as predicativism, notably from an anti- platonist stance. Life Solomon Feferman was born in The Bronx in New York City to working-class parents who had immigrated to the United States after World War I and had met and married in New York. Neither parent had any advanced education. The family moved to Los Angeles, where Feferman graduated from high school at age 16. He received his B.S. from the California Institute of Technology in 1948, and in 1957 his Ph.D. in mathematics from the University of California, Berkeley, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Anita B
Anita or ANITA may refer to: Arts * ''Anita'' (1967 film), an Indian film * ''Anita'' (2009 film), an Argentine film * ''Anita'' (2021 film), a Hong Kong film *'' Anita: Swedish Nymphet'', a 1973 erotic film People * Anita (given name), people with the given name Anita Places * Anita, Indiana, a former town in Johnson County, Indiana *Anita, Iowa, city in Cass County, Iowa * Anita, Pennsylvania *Batey Anita Airport, in Consuelo, Dominican Republic *Lake Anita State Park, state park in Cass County, Iowa, US *Santa Anita (other) Science and technology *''Amblypodia anita'', a species of blue butterfly *ANITA grade, a group of plants consisting of the most basal angiosperm lineages *Antarctic Impulsive Transient Antenna experiment *Sumlock ANITA calculator * Analysing Interferometer for Ambient Air, a monitoring system used on the International Space Station Storms *Hurricane Anita, an Atlantic hurricane in 1977 *Tropical Storm Anita (other) The name Anita ... [...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] |
Theoretical Computer Science (journal)
''Theoretical Computer Science'' (''TCS'') is a computer science journal published by Elsevier, started in 1975 and covering theoretical computer science. The journal publishes 52 issues a year. It is abstracted and indexed by Scopus and the Science Citation Index. According to the Journal Citation Reports, its 2020 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a type of journal ranking. Journals with higher impact factor values are considered more prestigious or important within their field. The Impact Factor of a journa ... is 0.827. References Computer science journals Elsevier academic journals Academic journals established in 1975 {{comp-sci-theory-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jan Mycielski
Jan Mycielski (Polish: ; February 7, 1932 – January 18, 2025) was a Polish-American mathematician, logician and philosopher, who was a professor of mathematics at the University of Colorado at Boulder. He is known for contributions to graph theory, combinatorics, set theory, topology and the philosophy of mathematics. Life and career Mycielski was born in Wiśniowa, Podkarpackie Voivodeship, Poland on February 2, 1932.Curriculum vitae from Mycielski's web site, retrieved 2010-03-10. Mycielski received his Ph.D. in mathematics from the in 1957 under the supervision of . His dissertation was entitled "Applications of |
