|
Ray Turner (computer Scientist)
Professor Raymond Turner (born 28 April 1947) is an English logician, philosopher, and theoretical computer scientist based at the University of Essex. He is best known for his work on logic in computer science and for his pioneering work in the philosophy of computer science. He is on the editorial boards for the Journal of Logic and Computation and the Stanford Encyclopedia of Philosophy, for Logic, Computation, and Agency. Books * ''Logics for Artificial Intelligence'', 121 pages, E. Horwood, 1984, * ''Truth and Modality for Knowledge Representation'', 141 pages, The MIT Press, 1991, * ''Constructive Foundations for Functional Languages'', 288 pages, McGraw-Hill Publishing Co, 1 May 1991, * ''Computable Models'', 240 pages, Springer, 2009, * ''Computational Artefacts: Towards a Philosophy of Computer Science'', 285 pages, Springer, 2018, Selected Papers * ''A theory of properties'', The Journal of Symbolic Logic. 52 (02), 455–472. * ''Counterfactuals without possible w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic In Computer Science
Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas: * Theoretical foundations and analysis * Use of computer technology to aid logicians * Use of concepts from logic for computer applications Theoretical foundations and analysis Logic plays a fundamental role in computer science. Some of the key areas of logic that are particularly significant are computability theory (formerly called recursion theory), modal logic and category theory. The theory of computation is based on concepts defined by logicians and mathematicians such as Alonzo Church and Alan Turing. Church first showed the existence of algorithmically unsolvable problems using his notion of lambda-definability. Turing gave the first compelling analysis of what can be called a mechanical procedure and Kurt Gödel asserted that he found Turing's analysis "perfect." In addition some other major areas of theor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy Of Computer Science
The philosophy of computer science is concerned with the philosophical questions that arise within the study of computer science. There is still no common understanding of the content, aim, focus, or topic of the philosophy of computer science, despite some attempts to develop a philosophy of computer science like the philosophy of physics or the philosophy of mathematics. Due to the abstract nature of computer programs and the technological ambitions of computer science, many of the conceptual questions of the philosophy of computer science are also comparable to the philosophy of science, philosophy of mathematics, and the philosophy of technology. Overview Many of the central philosophical questions of computer science are centered on the logical, ontological and epistemological issues that concern it. Some of these questions may include: * What is computation? * Does the Church–Turing thesis capture the mathematical notion of an effective method in logic and mathematics? * W ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logician
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usually und ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Essex
The University of Essex is a public university, public research university in Essex, England. Established by royal charter in 1965, Essex is one of the original plate glass university, plate glass universities. Essex's shield consists of the ancient arms attributed to the Kingdom of Essex, and the motto, "Thought the harder, heart the keener", is adapted from the Anglo-Saxon poem ''The Battle of Maldon''. The university comprises three campuses with its primary campus located within Wivenhoe Park and campuses in Southend-on-Sea and in Loughton. Essex is rated Gold for Teaching Excellence by the TEF since 2017, named University of the Year at the Times Higher Education awards, Times Higher Education Awards in 2018, and is ranked an internationally excellent research-intensive university by the Research Excellence Framework, REF. Essex's Department of Government received Regius Professorship conferred by Elizabeth II, Her Majesty, The Queen in 2013 and the university was awarded t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Scientist
A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (although there is overlap). Although computer scientists can also focus their work and research on specific areas (such as algorithm and data structure development and design, software engineering, information theory, database theory, computational complexity theory, numerical analysis, programming language theory, computer graphics, and computer vision), their foundation is the theoretical study of computing from which these other fields derive. A primary goal of computer scientists is to develop or validate models, often mathematical, to describe the properties of computational systems (processors, programs, computers interacting with people, computers interacting with other computers, etc.) with an overall objective of discovering des ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of Logic And Computation
The ''Journal of Logic and Computation'' is a peer-reviewed academic journal focused on logic and computing. It was established in 1990 and is published by Oxford University Press under licence from Professor Dov Gabbay Dov M. Gabbay (; born October 23, 1945) is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. Work Gabbay has auth ... as owner of the journal. External links * Publications established in 1990 Computer science journals Logic journals Logic in computer science Formal methods publications Oxford University Press academic journals Bimonthly journals English-language journals {{compu-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stanford Encyclopedia Of Philosophy
The ''Stanford Encyclopedia of Philosophy'' (''SEP'') combines an online encyclopedia of philosophy with peer-reviewed publication of original papers in philosophy, freely accessible to Internet users. It is maintained by Stanford University. Each entry is written and maintained by an expert in the field, including professors from many academic institutions worldwide. Authors contributing to the encyclopedia give Stanford University the permission to publish the articles, but retain the copyright to those articles. Approach and history As of August 5th, 2022, the ''SEP'' has 1,774 published entries. Apart from its online status, the encyclopedia uses the traditional academic approach of most encyclopedias and academic journals to achieve quality by means of specialist authors selected by an editor or an editorial committee that is competent (although not necessarily considered specialists) in the field covered by the encyclopedia and peer review. The encyclopedia was created in 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alice Ter Meulen
Alice Geraldine Baltina ter Meulen (born 4 March 1952) is a Dutch linguist, logician, and philosopher of language whose research topics include genericity in linguistics, intensional logic, generalized quantifiers, discourse representation theory, and the linguistic representation of time. She is a professor emerita at the University of Geneva. Education and career Ter Meulen was born in Amsterdam on 4 March 1952. She studied philosophy and linguistics at the University of Amsterdam, earning a bachelor's degree in philosophy in 1972 and master's degrees in philosophy and linguistics in 1976, all three degrees cum laude. She was granted a Ph.D. in philosophy of language at Stanford University in 1980; her dissertation, ''Substances, quantities and individuals: A study in the formal semantics of mass terms'', was jointly supervised by mathematical logician Jon Barwise and philosopher Julius Moravcsik. After postdoctoral research at the Max Planck Institute for Psycholinguistics a ... [...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] |
Academics Of The University Of Essex
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 accumulation, de ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
English Computer Scientists
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 * Engl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
