|
Katalin Bimbó
Katalin Bimbó (born 1963) is a logician and philosopher known for her books on mathematical logic and proof theory. She earned a Ph.D. in 1999 at Indiana University, under the supervision of Jon Michael Dunn, and is a professor of philosophy at the University of Alberta The University of Alberta, also known as U of A or UAlberta, is a public research university located in Edmonton, Alberta, Canada. It was founded in 1908 by Alexander Cameron Rutherford,"A Gentleman of Strathcona – Alexander Cameron Rutherfor ... after having earned tenure there in 2013. Selected works Monographs *''Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi'' (with J. M. Dunn, CSLI Publications, 2008) *''Combinatory Logic: Pure, Applied and Typed'' (CRC Press, 2012) *''Proof Theory: Sequent Calculi and Related Formalisms'' (CRC Press, 2015) Edited volumes *''J. Michael Dunn on Information Based Logics'' (Outstanding Contributions to Logic, vol. 8; Springer, 2016). *''R ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and been motivated by the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and Mathematical analysis, analysis. In the early 20th century it was shaped by David Hilbert's Hilbert's program, program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to the program, and clarified the issues involved in pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proof Theory
Proof theory is a major branchAccording to Wang (1981), pp. 3–4, proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. Jon Barwise, Barwise (1978) consists of four corresponding parts, with part D being about "Proof Theory and Constructive Mathematics". of mathematical logic that represents Mathematical proof, proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as Recursive data type, inductively-defined data structures such as list (computer science), lists, boxed lists, or Tree (data structure), trees, which are constructed according to the axioms and rule of inference, rules of inference of the logical system. Consequently, proof theory is syntax (logic), syntactic in nature, in contrast to model theory, which is Formal semantics (logic), semantic in nature. Some of the major areas of proof theory include structural proof theory, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Indiana University
Indiana University (IU) is a system of public universities in the U.S. state of Indiana. Campuses Indiana University has two core campuses, five regional campuses, and two regional centers under the administration of IUPUI. *Indiana University Bloomington (IU Bloomington) is the flagship campus of Indiana University. The Bloomington campus is home to numerous premier Indiana University schools, including the College of Arts and Sciences, the Jacobs School of Music, an extension of the Indiana University School of Medicine, the School of Informatics, Computing, and Engineering, which includes the former School of Library and Information Science (now Department of Library and Information Science), School of Optometry, the O'Neil School of Public and Environmental Affairs, the Maurer School of Law, the School of Education, and the Kelley School of Business. *Indiana University–Purdue University Indianapolis (IUPUI), a partnership between Indiana University and Purdue Universi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jon Michael Dunn
J. Michael Dunn (June 19, 1941 – April 5, 2021) was Oscar Ewing Professor Emeritus of Philosophy, Professor Emeritus of Informatics and Computer Science, was twice chair of the Philosophy Department, was Executive Associate Dean of the College of Arts and Sciences, and was founding dean of the School of Informatics (now the Luddy School of Informatics, Computing, and Engineering) at Indiana University. Early life and education Dunn was born in Fort Wayne, Indiana. He went to high school in Lafayette, Indiana, where he worked in Purdue Biology laboratories after school and summers. He was the first in his family to go to college. He obtained an A.B. in Philosophy from Oberlin College and a Ph.D. in Philosophy (Logic) from the University of Pittsburgh, where he wrote his dissertation, ''The Algebra of Intensional Logics.'' Career He taught at Wayne State University and at Yale University before coming to Indiana University Bloomington in 1969, from which he retired in 20 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Alberta
The University of Alberta, also known as U of A or UAlberta, is a public research university located in Edmonton, Alberta, Canada. It was founded in 1908 by Alexander Cameron Rutherford,"A Gentleman of Strathcona – Alexander Cameron Rutherford", Douglas R. Babcock, 1989, The University of Calgary Press, 2500 University Drive NW, Calgary, Alberta, Canada, the first premier of Alberta, and Henry Marshall Tory,"Henry Marshall Tory, A Biography", originally published 1954, current edition January 1992, E.A. Corbett, Toronto: Ryerson Press, the university's first president. It was enabled through the Post-secondary Learning Act''.'' The university is considered a "comprehensive academic and research university" (CARU), which means that it offers a range of academic and professional programs that generally lead to undergraduate and graduate level credentials. The university comprises four campuses in Edmonton, an Augustana Campus in Camrose, and a staff centre in downtown Cal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Studia Logica
''Studia Logica'' (full name: Studia Logica, An International Journal for Symbolic Logic), is a scienific journal publishing papers employing formal tools from Mathematics and Logic. The scope of papers published in Studia Logica covers all scientific disciplines; the key criterion for published papers is not their topic but their method: they are required to contain significant and original results concerning formal systems and their properties. The journal offers papers on topics in general logic and on applications of logic to methodology of science, linguistics, philosophy, and other branches of knowledge. The journal is published by the Institute of Philosophy and Sociology of the Polish Academy of Sciences and Springer publications. History The name Studia Logica appeared for the first time in 1934, but only one volume (edited by Jan Łukasiewicz) has been published that time. It had been published continuously since December 1953 in changing frequency by the Polish Acade ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ewa Orłowska
Stella Ewa Orłowska (born 1935) is a Polish logician whose research centers on the concept that everything in logic and set theory can be expressed in terms of Finitary relation, relations, and who has used this idea to publish works on topics including Proof calculus, deduction systems and model theory for non-classical logic, and logics of non-deterministic and incomplete information. She is a professor at the in Warsaw, and the former president of the Polish Association for Logic and Philosophy of Science. Education and career Orłowska studied mathematics at the University of Warsaw, earning her master's degree in 1957 and a Ph.D. in 1971. The dissertation, ''Theorem Proving Systems'', was supervised by Helena Rasiowa. She completed her habilitation there in 1978, with the habilitation thesis ''Resolution Systems and their Applications''. She was a researcher for the Polish Academy of Sciences from 1959 to 1966, and an assistant professor of mathematics at the University of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Acta Sci
Acta or ACTA may refer to: Institutions * Anti-Counterfeiting Trade Agreement, an intellectual property trade agreement * Administrative Council for Terminal Attachments, a standards organization for terminal equipment such as registered jacks * Alameda Corridor Transportation Authority, in southern California * American Council of Trustees and Alumni, an education organization * Atlantic County Transportation Authority, a transportation agency in Atlantic County, New Jersey * Australian Community Television Alliance, an industry association representing community television licensees in Australia Science and technology * Acta, the transactions (proceedings) of an academic field, a learned society, or an academic conference * Acta (software), early outliner software * Activin A, mammalian protein * ACTA1, actin alpha 1 (skeletal muscle), human protein * ACTA2, actin alpha 2 (smooth muscle), human protein * Actin assembly-inducing protein, motility protein in the bacterium ''Listeri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1963 Births
Events January * January 1 – Bogle–Chandler case: Commonwealth Scientific and Industrial Research Organisation scientist Dr. Gilbert Bogle and Mrs. Margaret Chandler are found dead (presumed poisoned), in bushland near the Lane Cove River, Sydney, Australia. * January 2 – Vietnam War – Battle of Ap Bac: The Viet Cong win their first major victory. * January 9 – A total penumbral lunar eclipse is visible in the Americas, Europe, Africa, and Asia, and is the 56th lunar eclipse of Lunar Saros 114. Gamma has a value of −1.01282. It occurs on the night between Wednesday, January 9 and Thursday, January 10, 1963. * January 13 – 1963 Togolese coup d'état: A military coup in Togo results in the installation of coup leader Emmanuel Bodjollé as president. * January 17 – A last quarter moon occurs between the penumbral lunar eclipse and the annular solar eclipse, only 12 hours, 29 minutes after apogee. * January 19 – Soviet spy Ghe ... [...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] |
Canadian Logicians
Canadians (french: Canadiens) are people identified with the country of Canada. This connection may be residential, legal, historical or cultural. For most Canadians, many (or all) of these connections exist and are collectively the source of their being ''Canadian''. Canada is a multilingual and multicultural society home to people of groups of many different ethnic, religious, and national origins, with the majority of the population made up of Old World immigrants and their descendants. Following the initial period of French and then the much larger British colonization, different waves (or peaks) of immigration and settlement of non-indigenous peoples took place over the course of nearly two centuries and continue today. Elements of Indigenous, French, British, and more recent immigrant customs, languages, and religions have combined to form the culture of Canada, and thus a Canadian identity. Canada has also been strongly influenced by its linguistic, geographic, and eco ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Canadian Women Mathematicians
Canadians (french: Canadiens) are people identified with the country of Canada. This connection may be residential, legal, historical or cultural. For most Canadians, many (or all) of these connections exist and are collectively the source of their being ''Canadian''. Canada is a multilingual and multicultural society home to people of groups of many different ethnic, religious, and national origins, with the majority of the population made up of Old World immigrants and their descendants. Following the initial period of French and then the much larger British colonization, different waves (or peaks) of immigration and settlement of non-indigenous peoples took place over the course of nearly two centuries and continue today. Elements of Indigenous, French, British, and more recent immigrant customs, languages, and religions have combined to form the culture of Canada, and thus a Canadian identity. Canada has also been strongly influenced by its linguistic, geographic, and ec ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
