C. A. Meredith
Carew Arthur Meredith (28 July 1904 – 31 March 1976), usually cited as C. A. Meredith, was an influential Irish logician, who worked in Trinity College, Dublin from 1943 to 1964. His work on condensed detachment (inspired by the work of Łukasiewicz) is influential in modern research. Biography Born 28 July 1904 into a distinguished Dublin family, he was the son of barrister Arthur Francis Carew Meredith K.C., whose opinions were sought by Éamon de Valera in drafting the constitution of the Irish Republic (1919–22). Educated in England at Winchester College, he went on to read mathematics at Trinity College, Cambridge, in 1922 becoming the first mathematical student to take a double first and 'B star' in two years. He worked in England until 1939 as a private tutor for university students, when he moved to Ireland, as he was a committed pacifist. In 1943 he became a lecturer in mathematics in Trinity College Dublin. Łukasiewicz was appointed professor at the Royal Irish Ac ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dublin
Dublin (; , or ) is the capital and largest city of Republic of Ireland, Ireland. On a bay at the mouth of the River Liffey, it is in the Provinces of Ireland, province of Leinster, bordered on the south by the Dublin Mountains, a part of the Wicklow Mountains range. At the 2016 census of Ireland, 2016 census it had a population of 1,173,179, while the preliminary results of the 2022 census of Ireland, 2022 census recorded that County Dublin as a whole had a population of 1,450,701, and that the population of the Greater Dublin Area was over 2 million, or roughly 40% of the Republic of Ireland's total population. A settlement was established in the area by the Gaels during or before the 7th century, followed by the Vikings. As the Kings of Dublin, Kingdom of Dublin grew, it became Ireland's principal settlement by the 12th century Anglo-Norman invasion of Ireland. The city expanded rapidly from the 17th century and was briefly the second largest in the British Empire and sixt ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
James Joyce
James Augustine Aloysius Joyce (2 February 1882 – 13 January 1941) was an Irish novelist, poet, and literary critic. He contributed to the modernist avant-garde movement and is regarded as one of the most influential and important writers of the 20th century. Joyce's novel ''Ulysses'' (1922) is a landmark in which the episodes of Homer's ''Odyssey'' are paralleled in a variety of literary styles, particularly stream of consciousness. Other well-known works are the short-story collection ''Dubliners'' (1914), and the novels ''A Portrait of the Artist as a Young Man'' (1916) and ''Finnegans Wake'' (1939). His other writings include three books of poetry, a play, letters, and occasional journalism. Joyce was born in Dublin into a middle-class family. He attended the Jesuit Clongowes Wood College in County Kildare, then, briefly, the Christian Brothers-run O'Connell School. Despite the chaotic family life imposed by his father's unpredictable finances, he excelled at the Jesuit ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
People Educated At Winchester College
A person ( : people) is a being that has certain capacities or attributes such as reason, morality, consciousness or self-consciousness, and being a part of a culturally established form of social relations such as kinship, ownership of property, or legal responsibility. The defining features of personhood and, consequently, what makes a person count as a person, differ widely among cultures and contexts. In addition to the question of personhood, of what makes a being count as a person to begin with, there are further questions about personal identity and self: both about what makes any particular person that particular person instead of another, and about what makes a person at one time the same person as they were or will be at another time despite any intervening changes. The plural form "people" is often used to refer to an entire nation or ethnic group (as in "a people"), and this was the original meaning of the word; it subsequently acquired its use as a plural form of per ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
1976 Deaths
Events January * January 3 – The International Covenant on Economic, Social and Cultural Rights enters into force. * January 5 – The Pol Pot regime proclaims a new constitution for Democratic Kampuchea. * January 11 – The 1976 Philadelphia Flyers–Red Army game results in a 4–1 victory for the National Hockey League's Philadelphia Flyers over HC CSKA Moscow of the Soviet Union. * January 16 – The trial against jailed members of the Red Army Faction (the West German extreme-left militant Baader–Meinhof Group) begins in Stuttgart. * January 18 ** Full diplomatic relations are established between Bangladesh and Pakistan 5 years after the Bangladesh Liberation War. ** The Scottish Labour Party is formed as a breakaway from the UK-wide party. ** Super Bowl X in American football: The Pittsburgh Steelers defeat the Dallas Cowboys, 21–17, in Miami. * January 21 – First commercial Concorde flight, from London to Bahrain. * January 27 ** The United States v ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
1904 Births
Nineteen or 19 may refer to: * 19 (number), the natural number following 18 and preceding 20 * one of the years 19 BC, AD 19, 1919, 2019 Films * ''19'' (film), a 2001 Japanese film * ''Nineteen'' (film), a 1987 science fiction film Music * 19 (band), a Japanese pop music duo Albums * ''19'' (Adele album), 2008 * ''19'', a 2003 album by Alsou * ''19'', a 2006 album by Evan Yo * ''19'', a 2018 album by MHD * ''19'', one half of the double album ''63/19'' by Kool A.D. * ''Number Nineteen'', a 1971 album by American jazz pianist Mal Waldron * ''XIX'' (EP), a 2019 EP by 1the9 Songs * "19" (song), a 1985 song by British musician Paul Hardcastle. * "Nineteen", a song by Bad4Good from the 1992 album '' Refugee'' * "Nineteen", a song by Karma to Burn from the 2001 album ''Almost Heathen''. * "Nineteen" (song), a 2007 song by American singer Billy Ray Cyrus. * "Nineteen", a song by Tegan and Sara from the 2007 album '' The Con''. * "XIX" (song), a 2014 song by Slipk ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Irish Logicians
Irish may refer to: Common meanings * Someone or something of, from, or related to: ** Ireland, an island situated off the north-western coast of continental Europe ***Éire, Irish language name for the isle ** Northern Ireland, a constituent unit of the United Kingdom of Great Britain and Northern Ireland ** Republic of Ireland, a sovereign state * Irish language, a Celtic Goidelic language of the Indo-European language family spoken in Ireland * Irish people, people of Irish ethnicity, people born in Ireland and people who hold Irish citizenship Places * Irish Creek (Kansas), a stream in Kansas * Irish Creek (South Dakota), a stream in South Dakota * Irish Lake, Watonwan County, Minnesota * Irish Sea, the body of water which separates the islands of Ireland and Great Britain People * Irish (surname), a list of people * William Irish, pseudonym of American writer Cornell Woolrich (1903–1968) * Irish Bob Murphy, Irish-American boxer Edwin Lee Conarty (1922–1961) * Irish McCal ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Irish Anglicans
Irish may refer to: Common meanings * Someone or something of, from, or related to: ** Ireland, an island situated off the north-western coast of continental Europe ***Éire, Irish language name for the isle ** Northern Ireland, a constituent unit of the United Kingdom of Great Britain and Northern Ireland ** Republic of Ireland, a sovereign state * Irish language, a Celtic Goidelic language of the Indo-European language family spoken in Ireland * Irish people, people of Irish ethnicity, people born in Ireland and people who hold Irish citizenship Places * Irish Creek (Kansas), a stream in Kansas * Irish Creek (South Dakota), a stream in South Dakota * Irish Lake, Watonwan County, Minnesota * Irish Sea, the body of water which separates the islands of Ireland and Great Britain People * Irish (surname), a list of people * William Irish, pseudonym of American writer Cornell Woolrich (1903–1968) * Irish Bob Murphy, Irish-American boxer Edwin Lee Conarty (1922–1961) * Irish McCal ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ivo Thomas
Ivo is a masculine given name, in use in various European languages. The name used in western European languages originates as a Normannic name recorded since the High Middle Ages, and the French name Yves is a variant of it. The unrelated South Slavic name is a variant of the name Ivan (John). Origins The name is recorded from the High Middle Ages among the Normans of France and England (Yvo of Chartres, born c. 1040). The name's etymology may be either Germanic or Celtic, in either case deriving from a given name with a first element meaning "yew" (Gaulish ''Ivo-'', Germanic ''Iwa-'').Campbell, MikIvo(Behind the Name: The Etymology and History of First Names) The name may have been spread by the cult of Saint Ivo (d. 1303), patron saint of Brittany. The Slavic name is a hypocorism, like its variant ''Ivica''. Variations Ivo has the genitive form of "Ives" in the place name St Ives. In France, the usual variation of the name is Yves. In the Hispanic countries of Lati ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Arthur Prior
Arthur Norman Prior (4 December 1914 – 6 October 1969), usually cited as A. N. Prior, was a New Zealand–born logician and philosopher. Prior (1957) founded tense logic, now also known as temporal logic, and made important contributions to intensional logic, particularly in Prior (1971). Biography Prior was born in Masterton, New Zealand, on 4 December 1914, the only child of Australian-born parents: Norman Henry Prior (1882–1967) and his wife born Elizabeth Munton Rothesay Teague (1889–1914). His mother died less than three weeks after his birth and he was cared for by his father's sister. His father, a medical practitioner in general practice, after war service at Gallipoli and in Francewhere he was awarded the Military Crossremarried in 1920. There were three more children, the first: epidemiologist, Ian Prior. Arthur Prior grew up in a prominent Methodist household. His two Wesleyan grandfathers, the Reverends Samuel Fowler Prior and Hugh Henwood Teague, were ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
John Lemmon
Edward John Lemmon (1 June 1930 – 29 July 1966) was a British logician and philosopher born in Sheffield, England. He is most well known for his work on modal logic, particularly his joint text with Dana Scott published posthumously (Lemmon and Scott, 1977). Biography Lemmon attended King Edward VII School in Sheffield until 1947, before reading Literae humaniores at , as an undergraduate, and was appointed Fellow of [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Journal Of Automated Reasoning
The ''Journal of Automated Reasoning'' was established in 1983 by Larry Wos, who was its editor in chief until 1992. It covers research and advances in automated reasoning, mechanical verification of theorems, and other deductions in classical and non-classical logic. The journal is published by Springer Science+Business Media. As of 2021, the editor-in-chief is Jasmin Blanchette, an associate professor of computer science at the Vrije Universiteit Amsterdam. The journal's 2019 impact factor is 1.431, and it is indexed by several science indexing services, including the Science Citation Index Expanded and Scopus. References External links * {{Official, 1=https://www.springer.com/computer/theoretical+computer+science/journal/10817 Computer science journals Logic journals English-language journals Publications established in 1983 Logic in computer science Formal methods publications Springer Science+Business Media academic journals ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Minimal Axioms For Boolean Algebra
In mathematical logic, minimal axioms for Boolean algebra are assumptions which are equivalent to the axioms of Boolean algebra (or propositional calculus), chosen to be as short as possible. For example, if one chooses to take commutativity for granted, an axiom with six NAND operations and three variables is equivalent to Boolean algebra : : ((a\mid b)\mid c) \mid (a\mid((a\mid c)\mid a)) = c where the vertical bar represents the NAND logical operation (also known as the Sheffer stroke). It is one of 25 candidate axioms for this property identified by Stephen Wolfram, by enumerating the Sheffer identities of length less or equal to 15 elements (excluding mirror images) that have no noncommutative models with four or fewer variables, and was first proven equivalent by William McCune, Branden Fitelson, and Larry Wos. MathWorld, a site associated with Wolfram, has named the axiom the "Wolfram axiom". McCune et al. also found a longer single axiom for Boolean algebra based on disjun ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |