Agata Ciabattoni is an Italian mathematical logician specializing in non-classical logic. She works in the Institute of Logic and Computation at TU Wien.
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.
Non-classical logics are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done, including by way of extensions, deviations, and variations. The aim of these departures is to make it possible to construct different models of logical consequence and logical truth.
TU Wien is one of the major universities in Vienna. The university has received extensive international and domestic recognition in teaching as well as in research, and it is a highly esteemed partner of innovation oriented enterprises. It currently has about 28,100 students, eight faculties and about 5,000 staff members. The university's teaching and research is focused on engineering, computer science, and natural sciences.
Ciabattoni is originally from Ripatransone. She studied computer science at the University of Bologna,and completed her Ph.D. in 2000 at the University of Milan. Her dissertation, Proof-theory in many-valued logics, was supervised by Daniele Mundici.
Ripatransone is a comune (municipality) in the Province of Ascoli Piceno in the Italian region Marche, located about 70 kilometres (43 mi) southeast of Ancona and about 20 kilometres (12 mi) northeast of Ascoli Piceno.
The University of Bologna is a research university in Bologna, Italy. Founded in 1088 by an organised guild of students, it is the oldest university in the world, as well as one of the leading academic institutions in Italy and Europe. It is one of the most prestigious Italian universities, commonly ranking in the first places of national rankings.
The University of Milan, or University of Studies of Milan, known colloquially as UniMi or Statale, is a higher education institution in Milan, Italy. It is one of the largest universities in Europe, with about 60,000 students, and a permanent teaching and research staff of about 2,000.
She moved to Vienna in 2000 with the support of an EU Marie Curie Fellowship, and In 2007, she earned her habilitation at TU Wien.She remains affiliated with TU Wien, as a professor in the faculty of informatics. She also serves as the Collegium Logicum lecture series chair for the Kurt Gödel Society.
The Marie Curie Fellows Association (MCFA) is the association of scientists who have been awarded a Marie Curie fellowship or other research training grants from the European Commission within the Marie Curie Actions programme (FP6), the People programme (FP7), or the Marie Skłodowska-Curie Actions programme. A Marie (Skłodowska) Curie Fellowship is a grant under one of the European RTD framework programmes to stimulate the training and mobility of researchers within the European Union.
Habilitation defines the qualification to conduct self-contained university teaching and is the key for access to a professorship in many European countries. Despite all changes implemented in the European higher education systems during the Bologna Process, it is the highest qualification level issued through the process of a university examination and remains a core concept of scientific careers in these countries.
The Kurt Gödel Society was founded in Vienna, Austria in 1987. It is an international organization aimed at promoting research primarily on logic, philosophy and the history of mathematics, with special attention to connections with Kurt Gödel, in whose honour it was named.
One of Ciabattoni's projects at TU Wien involves using mathematical logic to formalize the ethical reasoning in the Vedas, a body of Indian sacred texts.
Ethics or moral philosophy is a branch of philosophy that involves systematizing, defending, and recommending concepts of right and wrong conduct. The field of ethics, along with aesthetics, concerns matters of value, and thus comprises the branch of philosophy called axiology.
The Vedas are a large body of religious texts originating in ancient India. Composed in Vedic Sanskrit, the texts constitute the oldest layer of Sanskrit literature and the oldest scriptures of Hinduism. Hindus consider the Vedas to be apauruṣeya, which means "not of a man, superhuman" and "impersonal, authorless".
In 2011, Ciabattoni won the Start-Preis of the Austrian Science Fund, the only woman to win the prize that year.
The Start-Preis is the highest Austrian award for young scientists.
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 the 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 TU Dresden is a public research university, the largest institute of higher education in the city of Dresden, the largest university in Saxony and one of the 10 largest universities in Germany with 32,389 students as of 2018.
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:
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".
"Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I" is a paper in mathematical logic by Kurt Gödel. Dated November 17, 1930, it was originally published in German in the 1931 volume of Monatshefte für Mathematik. Several English translations have appeared in print, and the paper has been included in two collections of classic mathematical logic papers. The paper contains Gödel's incompleteness theorems, now fundamental results in logic that have many implications for consistency proofs in mathematics. The paper is also known for introducing new techniques that Gödel invented to prove the incompleteness theorems.
Gaisi Takeuti was a Japanese mathematician, known for his work in proof theory.
Penelope Maddy is an American philosopher. She is a UCI Distinguished Professor of Logic and Philosophy of Science and of Mathematics at the University of California, Irvine. She is well known for her influential work in the philosophy of mathematics, where she has worked on mathematical realism and mathematical naturalism.
Manfred Broy is a German computer scientist, and an emeritus professor in the Fakultät für Informatik at the Technische Universität München, 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.
Verena Esther Huber-Dyson was a Swiss-American mathematician, known for work in group theory and formal logic. She has been described as a "brilliant mathematician", and did research on the interface between algebra and logic, focusing on undecidability in group theory. At the time of her death she was emeritus faculty in the philosophy department of the University of Calgary, Alberta.
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.
Richard Zach is a Canadian logician, philosopher of mathematics, and historian of logic and analytic philosophy. He is currently Professor of Philosophy at the University of Calgary.
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, Austria and head of the Algorithms and Complexity Group.
Maryanthe Elizabeth Malliaris is an associate professor of mathematics at the University of Chicago, a specialist in model theory.
Vera V. Fischer is an Austrian 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.
Juliette Kennedy is an associate professor in the Department of Mathematics and Statistics at the University of Helsinki. Her main research interests are mathematical logic and the foundations of mathematics. In the course of her work she has published extensively on the works of Kurt Gödel.
Google Scholar is a freely accessible web search engine that indexes the full text or metadata of scholarly literature across an array of publishing formats and disciplines. Released in beta in November 2004, the Google Scholar index includes most peer-reviewed online academic journals and books, conference papers, theses and dissertations, preprints, abstracts, technical reports, and other scholarly literature, including court opinions and patents. While Google does not publish the size of Google Scholar's database, scientometric researchers estimated it to contain roughly 389 million documents including articles, citations and patents making it the world's largest academic search engine in January 2018. Previously, the size was estimated at 160 million documents as of May 2014. An earlier statistical estimate published in PLOS ONE using a Mark and recapture method estimated approximately 80–90% coverage of all articles published in English with an estimate of 100 million. This estimate also determined how many documents were freely available on the web.