|
Carew Arthur 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 Aca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dublin
Dublin is the capital and largest city of Republic of Ireland, Ireland. Situated on Dublin Bay at the mouth of the River Liffey, it is in the Provinces of Ireland, province of Leinster, and is bordered on the south by the Dublin Mountains, part of the Wicklow Mountains range. Dublin is the largest city by population on the island of Ireland; at the 2022 census of Ireland, 2022 census, the city council area had a population of 592,713, while the city including suburbs had a population of 1,263,219, County Dublin had a population of 1,501,500. Various definitions of a metropolitan Greater Dublin Area exist. A settlement was established in the area by the Gaels during or before the 7th century, followed by the Vikings. As the 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 sixth largest in Western Europ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
James Joyce
James Augustine Aloysius Joyce (born James Augusta 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 twentieth century. Joyce's novel ''Ulysses (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. Born in Dublin into a middle-class family, Joyce attended the Jesuit Clongowes Wood College in County Kildare, then, briefly, the Congregation of Christian Brothers, Christian Brothers–run O'Connell School. Despite the chaotic family li ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
People Educated At Winchester College
The term "the people" refers to the public or common mass of people of a polity. As such it is a concept of human rights law, international law as well as constitutional law, particularly used for claims of popular sovereignty. In contrast, a people is any plurality of persons considered as a whole. Used in politics and law, the term "a people" refers to the collective or community of an ethnic group or nation. Concepts Legal Chapter One, Article One of the Charter of the United Nations states that "peoples" have the right to self-determination. Though the mere status as peoples and the right to self-determination, as for example in the case of Indigenous peoples (''peoples'', as in all groups of indigenous people, not merely all indigenous persons as in ''indigenous people''), does not automatically provide for independent sovereignty and therefore secession. Indeed, judge Ivor Jennings identified the inherent problems in the right of "peoples" to self-determination, as i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1976 Deaths
Events January * January 2 – 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 18 – Full diplomatic relations are established between Bangladesh and Pakistan 5 years after the Bangladesh Liberation War. * January 27 ** The United States vetoes a United Nations resolution that calls for an independent Palestinian state. ** The First Battle of Amgala breaks out between Morocco and Algeria in the Spanish Sahara. February * February 4 ** The 1976 Winter Olympics begin in Innsbruck, Austria. ** The 7.5 Guatemala earthquake affects Guatemala and Honduras with a maximum Mercalli intensity of IX (''Violent''), leaving 23,000 dead and 76,000 injured. * February 9 – The Australian Defence Force is formed by unification of the Australian Army, the Royal Australian Navy and the Royal Australian Air Force. * February 13 – General ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1904 Births
Events January * January 7 – The distress signal ''CQD'' is established, only to be replaced 2 years later by ''SOS''. * January 8 – The Blackstone Library is dedicated, marking the beginning of the Chicago Public Library system. * January 12 – The Herero Wars in German South West Africa begin. * January 17 – Anton Chekhov's last play, ''The Cherry Orchard'' («Вишнëвый сад», ''Vishnevyi sad''), opens at the Moscow Art Theatre directed by Constantin Stanislavski, 6 month's before the author's death. * January 23 – The Ålesund fire destroys most buildings in the town of Ålesund, Norway, leaving about 10,000 people without shelter. * January 25 – Halford Mackinder presents a paper on "The Geographical Pivot of History" to the Royal Geographical Society of London in which he formulates the Heartland Theory, originating the study of geopolitics. February * February 7 – The Great Baltimore Fire in Baltimore, Maryland, destroys over 1,500 build ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Irish Logicians
Irish commonly refers to: * 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 island and the sovereign state *** Erse (other), Scots language name for the Irish language or Irish people ** Republic of Ireland, a sovereign state ** Northern Ireland, a constituent unit of the United Kingdom of Great Britain and Northern Ireland * Irish language, a Celtic Goidelic language of the Indo-European language family spoken in Ireland * Irish English, set of dialects of the English language native to Ireland * Irish people, people of Irish ethnicity Irish may also refer to: 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, pse ... [...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 Normans, Normannic name recorded since the High Middle Ages, and the French name Yves (given name), Yves is a variant of it. The unrelated South Slavic name is a variant of the name Ivan (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 Ivo of Kermartin, Saint Ivo (d. 1303), patron saint of Brittany. The Slavic name is a hypocorism, like its variant ''Ivica''. In Croatia, the name exhibits both Slavic and Celtic-Germanic origins; the Slavic variant Ivona of the Celti ... [...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: Elaine, the epidemiologist Ian Prior, and Owen. Arthur Prior grew up in a prominent Methodist household. His two Wesleyan grandfathers, the Reverends Samuel Fowler Prior and Hugh Henwood Teag ... [...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 |
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, a professor of theoretical computer science at the Ludwig-Maximilians-Universität München. 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 website, 1=https://www.springer.com/computer/theoretical+computer+science/journal/10817 Computer science journals Logic journals English-language journals Academic journals 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, 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 disjunction and negation. In 1933, Edward Vermil ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
