|
John Crossley (mathematician)
John Newsome Crossley (born 28 September 1937, Yorkshire, England) is a British-Australian mathematician and logician who writes in the field of logic in computer science, history of mathematics and medieval history. He is involved in the field of mathematical logic in Australia and South East Asia. As of 2010, Crossley is Emeritus Professor of Logic at Monash University, Australia, to which he has been connected since 1968. Biography Crossley was educated at Queen Elizabeth Grammar School, Wakefield, and then went up to St John's College, Oxford. He was a Harmsworth Senior Scholar at Merton College from 1960 to 1962, before taking up a one-year Junior Research Fellowship there; he received his DPhil and MA (Mathematics) in 1963. His early career was spent at Oxford where he was the first university lecturer in mathematical logic and was a Fellow of All Souls College, Oxford. He is still a Quondam Fellow there. He was offered a Readership position and following a lecturing visi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yorkshire, England
Yorkshire ( ; abbreviated Yorks), formally known as the County of York, is a historic county in northern England and by far the largest in the United Kingdom. Because of its large area in comparison with other English counties, functions have been undertaken over time by its subdivisions, which have also been subject to periodic reform. Throughout these changes, Yorkshire has continued to be recognised as a geographic territory and cultural region. The name is familiar and well understood across the United Kingdom and is in common use in the media and the military, and also features in the titles of current areas of civil administration such as North Yorkshire, South Yorkshire, West Yorkshire and the East Riding of Yorkshire. Within the borders of the historic county of Yorkshire are large stretches of countryside, including the Yorkshire Dales, North York Moors and Peak District national parks. Yorkshire has been nicknamed "God's Own Country" or "God's Own County" by its ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
All Souls College, Oxford
All Souls College (official name: College of the Souls of All the Faithful Departed) is a constituent college of the University of Oxford in England. Unique to All Souls, all of its members automatically become fellows (i.e., full members of the college's governing body). It has no undergraduate members, but each year, recent graduate and postgraduate students at Oxford are eligible to apply for a small number of examination fellowships through a competitive examination (once described as "the hardest exam in the world") and, for those shortlisted after the examinations, an interview.Is the All Souls College entrance exam easy now? , ''The Guardian'', 17 May 2010. The college entrance is on the north side of |
Australian Logicians
Australian(s) may refer to: Australia * Australia, a country * Australians, citizens of the Commonwealth of Australia ** European Australians ** Anglo-Celtic Australians, Australians descended principally from British colonists ** Aboriginal Australians, indigenous peoples of Australia as identified and defined within Australian law * Australia (continent) ** Indigenous Australians * Australian English, the dialect of the English language spoken in Australia * Australian Aboriginal languages * ''The Australian'', a newspaper * Australiana, things of Australian origins Other uses * Australian (horse), a racehorse * Australian, British Columbia, an unincorporated community in Canada See also * The Australian (other) * Australia (other) * * * Austrian (other) {{disambiguation Language and nationality disambiguation pages ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fellows Of All Souls College, Oxford
{{disambiguation ...
Fellows may refer to Fellow, in plural form. Fellows or Fellowes may also refer to: Places *Fellows, California, USA *Fellows, Wisconsin, ghost town, USA Other uses *Fellows Auctioneers, established in 1876. *Fellowes, Inc., manufacturer of workspace products *Fellows, a partner in the firm of English canal carriers, Fellows Morton & Clayton *Fellows (surname) See also *North Fellows Historic District, listed on the National Register of Historic Places in Wapello County, Iowa *Justice Fellows (other) Justice Fellows may refer to: * Grant Fellows (1865–1929), associate justice of the Michigan Supreme Court * Raymond Fellows (1885–1957), associate justice of the Maine Supreme Judicial Court {{disambiguation, tndis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academic Staff Of Monash University
An academy ( Attic Greek: Ἀκαδήμεια; Koine Greek Ἀκαδημία) is an institution of secondary or tertiary higher learning (and generally also research or honorary membership). The name traces back to Plato's school of philosophy, founded approximately 385 BC at Akademia, a sanctuary of Athena, the goddess of wisdom and skill, north of Athens, Greece. Etymology The word comes from the ''Academy'' in ancient Greece, which derives from the Athenian hero, '' Akademos''. Outside the city walls of Athens, the gymnasium was made famous by Plato as a center of learning. The sacred space, dedicated to the goddess of wisdom, Athena, had formerly been an olive grove, hence the expression "the groves of Academe". In these gardens, the philosopher Plato conversed with followers. Plato developed his sessions into a method of teaching philosophy and in 387 BC, established what is known today as the Old Academy. By extension, ''academia'' has come to mean the accumulatio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
English Logicians
English usually refers to: * English language * English people English may also refer to: Peoples, culture, and language * ''English'', an adjective for something of, from, or related to England ** English national identity, an identity and common culture ** English language in England, a variant of the English language spoken in England * English languages (other) * English studies, the study of English language and literature * ''English'', an Amish term for non-Amish, regardless of ethnicity Individuals * English (surname), a list of notable people with the surname ''English'' * People with the given name ** English McConnell (1882–1928), Irish footballer ** English Fisher (1928–2011), American boxing coach ** English Gardner (b. 1992), American track and field sprinter Places United States * English, Indiana, a town * English, Kentucky, an unincorporated community * English, Brazoria County, Texas, an unincorporated community * Englis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
English Mathematicians
English usually refers to: * English language * English people English may also refer to: Peoples, culture, and language * ''English'', an adjective for something of, from, or related to England ** English national identity, an identity and common culture ** English language in England, a variant of the English language spoken in England * English languages (other) * English studies, the study of English language and literature * ''English'', an Amish term for non-Amish, regardless of ethnicity Individuals * English (surname), a list of notable people with the surname ''English'' * People with the given name ** English McConnell (1882–1928), Irish footballer ** English Fisher (1928–2011), American boxing coach ** English Gardner (b. 1992), American track and field sprinter Places United States * English, Indiana, a town * English, Kentucky, an unincorporated community * English, Brazoria County, Texas, an unincorporated community * Engli ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scientists From Yorkshire
A scientist is a person who conducts scientific research to advance knowledge in an area of the natural sciences. In classical antiquity, there was no real ancient analog of a modern scientist. Instead, philosophers engaged in the philosophical study of nature called natural philosophy, a precursor of natural science. Though Thales (circa 624-545 BC) was arguably the first scientist for describing how cosmic events may be seen as natural, not necessarily caused by gods,Frank N. Magill''The Ancient World: Dictionary of World Biography'', Volume 1 Routledge, 2003 it was not until the 19th century that the term ''scientist'' came into regular use after it was coined by the theologian, philosopher, and historian of science William Whewell in 1833. In modern times, many scientists have advanced degrees in an area of science and pursue careers in various sectors of the economy such as academia, industry, government, and nonprofit environments.'''' History The ... [...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] |
1937 Births
Events January * January 1 – Anastasio Somoza García becomes President of Nicaragua. * January 5 – Water levels begin to rise in the Ohio River in the United States, leading to the Ohio River flood of 1937, which continues into February, leaving 1 million people homeless and 385 people dead. * January 15 – Spanish Civil War: Second Battle of the Corunna Road ends inconclusively. * January 20 – Second inauguration of Franklin D. Roosevelt: Franklin D. Roosevelt is sworn in for a second term as President of the United States. This is the first time that the United States presidential inauguration occurs on this date; the change is due to the ratification in 1933 of the Twentieth Amendment to the United States Constitution. * January 23 – Moscow Trials: Trial of the Anti-Soviet Trotskyist Center – In the Soviet Union 17 leading Communists go on trial, accused of participating in a plot led by Leon Trotsky to overthrow Joseph Stalin's regime, and assas ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Martin Wirsing
Martin Wirsing (born 24 December 1948 in Bayreuth) is a German computer scientist, and Professor at the Ludwig-Maximilians-Universität München, Germany. Biography Wirsing studied Mathematics at Ludwig-Maximilians-Universität München (LMU) and at Université Paris VII, Université Paris 7, obtaining the Diplom in Mathematics from LMU and the Mâitrise-ès-Sciences Mathématiques at the Université Paris VIII, Université Paris 7. Supervised by Kurt Schütte, he received his PhD from LMU in 1976, with a thesis on a topic in mathematical logic (Das Entscheidungsproblem der Prädikatenlogik mit Identität und Funktionszeichen). In 1975-1983 he was a research assistant at the chair of F.L. Bauer at Technical University of Munich where in 1984 he completed his Habilitation in Informatics; in 1985 Wirsing became full professor and Chair of Informatics at the University of Passau and in 1992 he returned to LMU as the Chair of Programming and Software Engineering. Several years he se ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Anil Nerode
Anil Nerode (born 1932) is an American mathematician. He received his undergraduate education and a Ph.D. in mathematics from the University of Chicago, the latter under the directions of Saunders Mac Lane. He enrolled in the Hutchins College at the University of Chicago in 1947 at the age of 15, and received his Ph.D. in 1956. His Ph.D. thesis was on an algebraic abstract formulation of substitution in many-sorted free algebras and its relation to equational definitions of the partial recursive functions. While in graduate school, beginning in 1954, he worked at Professor Walter Bartky's Institute for Air Weapons Research, which did classified work for the US Air Force. He continued to work there following the completion of his Ph.D., from 1956 to 1957. In the summer of 1957 he attended the Cornell NSF Summer 1957 Institute in Logic. In 1958 to 1959 he went to the Institute for Advanced Study in Princeton, New Jersey, where he worked with Kurt Gödel. He also did post-grad ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
