Related Research Articles
Gödel's completeness theorem is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first-order logic.
Kurt Friedrich Gödel was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel profoundly influenced scientific and philosophical thinking in the 20th century, building on earlier work by Richard Dedekind, Georg Cantor and Gottlob Frege.
Mathematical logic is the study of 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.
In mathematics, Hilbert's second problem was posed by David Hilbert in 1900 as one of his 23 problems. It asks for a proof that arithmetic is consistent – free of any internal contradictions. Hilbert stated that the axioms he considered for arithmetic were the ones given in Hilbert (1900), which include a second order completeness axiom.
The Max Planck Institute for Informatics is a research institute in computer science with a focus on algorithms and their applications in a broad sense. It hosts fundamental research as well a research for various application domains.
TU Wien, also known as the Vienna University of Technology, is a public research university in Vienna, Austria.
Rózsa Péter, born Rózsa Politzer, was a Hungarian mathematician and logician. She is best known as the "founding mother of recursion theory".
Moshe Ya'akov Vardi is an Israeli mathematician and computer scientist. He is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, United States. and a faculty advisor for the Ken Kennedy Institute. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge of multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.
Manfred Broy is a German computer scientist, and an emeritus professor in the Department of Informatics at the Technical University of Munich, Garching, Germany.
Petr Hájek was a Czech scientist in the area of mathematical logic and a professor of mathematics. Born in Prague, he worked at the Institute of Computer Science at the Academy of Sciences of the Czech Republic and as a lecturer at the faculty of mathematics and physics at the Charles University in Prague and at the Faculty of Nuclear Sciences and Physical Engineering of the Czech Technical University in Prague.
Valentina Harizanov is a Serbian-American mathematician and professor of mathematics at The George Washington University. Her main research contributions are in computable structure theory, where she introduced the notion of degree spectra of relations on computable structures and obtained the first significant results concerning uncountable, countable, and finite Turing degree spectra. Her recent interests include algorithmic learning theory and spaces of orders on groups.
The Wittgenstein Award is an Austrian science award supporting the notion that "scientists should be guaranteed the greatest possible freedom and flexibility in the performance of their research." The prize money of up to 1.5 million euro make it the most highly endowed science award of Austria, money that is tied to research activities within the five years following the award. The Wittgenstein-Preis is named after the philosopher Ludwig Wittgenstein and is conferred once per year by the Austrian Science Fund on behalf of the Austrian Ministry for Science.
Reinhard Wilhelm is a German computer scientist.
The Vienna Summer of Logic was a scientific event in the summer of 2014, combining 12 major conferences and several workshops from the fields of mathematical logic, logic in computer science, and logic in artificial intelligence. The meetings took place from July 9 to 24, 2014, and attracted more than 2000 scientists and researchers.
Gunther Schmidt is a German mathematician who works also in informatics.
Helmut Veith was an Austrian computer scientist who worked on the areas of computer-aided verification, software engineering, computer security, and logic in computer science. He was a Professor of Informatics at the Vienna University of Technology, Austria.
Stefan Szeider is an Austrian computer scientist who works on the areas of algorithms, computational complexity, theoretical computer science, and more specifically on propositional satisfiability, constraint satisfaction problems, and parameterised complexity. He is a full professor at the Faculty of Informatics at the Vienna University of Technology, the head of the Algorithms and Complexity Group, and co-chair of the Vienna Center for Logic and Algorithms (VCLA) of TU Wien.
Vera V. Fischer is a mathematician specializing in set theory, mathematical logic, and infinitary combinatorics. She is a privatdozent in the Kurt Gödel Research Center for Mathematical Logic at the University of Vienna.
Ivona Brandić is a Bosnian–Austrian computer scientist known for her research on cloud computing. She is University Professor for High Performance Computing Systems in the Institute of Information Systems Engineering of TU Wien.
Christel Baier is a German theoretical computer scientist known for her work in model checking, temporal logic, and automata theory. She is a professor at TU Dresden, where she holds the chair for Algebraic and Logic Foundations of Computer Science in the Faculty of Computer Science. Baier is the editor-in-chief of Acta Informatica.
References
- ↑ "Faculty of Informatics, TU Wien". 13 January 2017. Retrieved 20 April 2020.
- 1 2 3 4 "Eine logische Klasse für sich", Der Standard , 28 June 2011
- ↑ "Computerwissenschafter der TU Wien wollen internationale Marke werden". Der Standard. 25 January 2012. Retrieved 20 April 2020.
- ↑ "Weltrekord: Größtes menschliches Sortiernetzwerk in Wien". BMK Infothek: Bundesministerium für Klimaschutz, Umwelt, Energie, Mobilität, Innovation und Technologie. 25 September 2019. Retrieved 20 April 2020.
- ↑ Agata Ciabattoni at the Mathematics Genealogy Project
- ↑ Theory and Logic Group Staff, Faculty of Informatics, TU Wien, retrieved 10 December 2018
- ↑ Organization, Kurt Gödel Society , retrieved 10 December 2018
- ↑ Indian Sacred Texts and the Logic of Computer Ethics, TU Wien, 29 January 2018, retrieved 10 December 2018
- ↑ START-Preis 2011 für Agata Ciabattoni, TU Wien , retrieved 10 December 2018
