Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Carew_Arthur_Meredith> ?p ?o }
Showing triples 1 to 65 of
65
with 100 triples per page.
- Carew_Arthur_Meredith abstract "Carew Arthur Meredith (generally \"C. A. Meredith\" on publications) (July 28, 1904 – March 31, 1976) was an influential Irish logician, appointed to Trinity College, Dublin in 1947. His work on condensed detachment (inspired by the work of Łukasiewicz) was under-appreciated in his own time, but is influential in modern research.He also proved the shortest known axiomatic bases for a number of logic systems. His achievements in that area were unsurpassed until automated theorem provers in the last few years, which build on his work, proved some shorter ones for some systems and proved his shortest for others.Born July 28, 1904 into a distinguished Dublin family, he was the son of barrister Arthur Francis Carew Meredith K.C. (1862 — May 16, 1938), 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, Dublin, in 1922 becoming the first mathematical student to take a double first and 'B star' in two years.Meredith was related to the another mathematician, Thomas Meredith. He was a nephew of Richard Edmund Meredith and a cousin of Monk Gibbon, Judge James Creed Meredith and Ralph Creed Meredith. His old school friend from Winchester, William Empson, described him as \"a small, gnomelike figure with a grin like a Cheshire cat and a pronounced Dublin accent (good for reading aloud from Joyce)\".".
- Carew_Arthur_Meredith wikiPageExternalLink 1093888116.
- Carew_Arthur_Meredith wikiPageExternalLink 1093893457.
- Carew_Arthur_Meredith wikiPageExternalLink 1093957574.
- Carew_Arthur_Meredith wikiPageExternalLink C.%20A.%20Meredith.
- Carew_Arthur_Meredith wikiPageID "2595472".
- Carew_Arthur_Meredith wikiPageLength "3793".
- Carew_Arthur_Meredith wikiPageOutDegree "27".
- Carew_Arthur_Meredith wikiPageRevisionID "705736023".
- Carew_Arthur_Meredith wikiPageWikiLink Automated_theorem_proving.
- Carew_Arthur_Meredith wikiPageWikiLink Barrister.
- Carew_Arthur_Meredith wikiPageWikiLink Category:1904_births.
- Carew_Arthur_Meredith wikiPageWikiLink Category:1976_deaths.
- Carew_Arthur_Meredith wikiPageWikiLink Category:20th-century_mathematicians.
- Carew_Arthur_Meredith wikiPageWikiLink Category:Irish_Anglicans.
- Carew_Arthur_Meredith wikiPageWikiLink Category:Irish_mathematicians.
- Carew_Arthur_Meredith wikiPageWikiLink Category:Logicians.
- Carew_Arthur_Meredith wikiPageWikiLink Category:People_associated_with_Trinity_College,_Dublin.
- Carew_Arthur_Meredith wikiPageWikiLink Condensed_detachment.
- Carew_Arthur_Meredith wikiPageWikiLink Dublin.
- Carew_Arthur_Meredith wikiPageWikiLink Ireland.
- Carew_Arthur_Meredith wikiPageWikiLink Irish_Republic.
- Carew_Arthur_Meredith wikiPageWikiLink James_Creed_Meredith.
- Carew_Arthur_Meredith wikiPageWikiLink James_Joyce.
- Carew_Arthur_Meredith wikiPageWikiLink Jan_Łukasiewicz.
- Carew_Arthur_Meredith wikiPageWikiLink List_of_logicians.
- Carew_Arthur_Meredith wikiPageWikiLink Monk_Gibbon.
- Carew_Arthur_Meredith wikiPageWikiLink Ralph_Creed_Meredith.
- Carew_Arthur_Meredith wikiPageWikiLink Richard_Edmund_Meredith.
- Carew_Arthur_Meredith wikiPageWikiLink Thomas_Meredith.
- Carew_Arthur_Meredith wikiPageWikiLink Trinity_College,_Dublin.
- Carew_Arthur_Meredith wikiPageWikiLink William_Empson.
- Carew_Arthur_Meredith wikiPageWikiLink Winchester_College.
- Carew_Arthur_Meredith wikiPageWikiLink Éamon_de_Valera.
- Carew_Arthur_Meredith wikiPageWikiLinkText "Carew Arthur Meredith".
- Carew_Arthur_Meredith wikiPageWikiLinkText "Meredith".
- Carew_Arthur_Meredith wikiPageWikiLinkText "Meredith, Carew Arthur".
- Carew_Arthur_Meredith wikiPageUsesTemplate Template:Citation_needed.
- Carew_Arthur_Meredith wikiPageUsesTemplate Template:Cite_journal.
- Carew_Arthur_Meredith wikiPageUsesTemplate Template:Cite_report.
- Carew_Arthur_Meredith wikiPageUsesTemplate Template:Dead_link.
- Carew_Arthur_Meredith wikiPageUsesTemplate Template:Europe-mathematician-stub.
- Carew_Arthur_Meredith wikiPageUsesTemplate Template:Ireland-scientist-stub.
- Carew_Arthur_Meredith wikiPageUsesTemplate Template:Reflist.
- Carew_Arthur_Meredith subject Category:1904_births.
- Carew_Arthur_Meredith subject Category:1976_deaths.
- Carew_Arthur_Meredith subject Category:20th-century_mathematicians.
- Carew_Arthur_Meredith subject Category:Irish_Anglicans.
- Carew_Arthur_Meredith subject Category:Irish_mathematicians.
- Carew_Arthur_Meredith subject Category:Logicians.
- Carew_Arthur_Meredith subject Category:People_associated_with_Trinity_College,_Dublin.
- Carew_Arthur_Meredith hypernym Logician.
- Carew_Arthur_Meredith type Person.
- Carew_Arthur_Meredith type Philosopher.
- Carew_Arthur_Meredith type Scientist.
- Carew_Arthur_Meredith type Mathematician.
- Carew_Arthur_Meredith type Philosopher.
- Carew_Arthur_Meredith type Scientist.
- Carew_Arthur_Meredith comment "Carew Arthur Meredith (generally \"C. A. Meredith\" on publications) (July 28, 1904 – March 31, 1976) was an influential Irish logician, appointed to Trinity College, Dublin in 1947. His work on condensed detachment (inspired by the work of Łukasiewicz) was under-appreciated in his own time, but is influential in modern research.He also proved the shortest known axiomatic bases for a number of logic systems.".
- Carew_Arthur_Meredith label "Carew Arthur Meredith".
- Carew_Arthur_Meredith sameAs Q5039073.
- Carew_Arthur_Meredith sameAs m.07qj8j.
- Carew_Arthur_Meredith sameAs Q5039073.
- Carew_Arthur_Meredith wasDerivedFrom Carew_Arthur_Meredith?oldid=705736023.
- Carew_Arthur_Meredith isPrimaryTopicOf Carew_Arthur_Meredith.