WikiMili The Free Encyclopedia

**Agata Ciabattoni** is an Italian mathematical logician specializing in non-classical logic. She works in the Institute of Logic and Computation at TU Wien.^{ [1] }

**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,^{ [1] } 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.^{ [2] }

**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.^{ [1] } She remains affiliated with TU Wien, as a professor in the faculty of informatics.^{ [3] } She also serves as the Collegium Logicum lecture series chair for the Kurt Gödel Society.^{ [4] }

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.^{ [5] }

**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.^{ [1] }^{ [6] }

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.

- 1 2 3 4 "Eine logische Klasse für sich",
*Der Standard*, June 28, 2011 - ↑ Agata Ciabattoni at the Mathematics Genealogy Project
- ↑
*Theory and Logic Group Staff*, Faculty of Informatics, TU Wien, retrieved 2018-12-10 - ↑
*Organization*, Kurt Gödel Society , retrieved 2018-12-10 - ↑
*Indian Sacred Texts and the Logic of Computer Ethics*, TU Wien, January 29, 2018, retrieved 2018-12-10 - ↑
*START-Preis 2011 für Agata Ciabattoni*, =TU Wien , retrieved 2018-12-10

- Home page
- Agata Ciabattoni publications indexed by Google Scholar

**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.

This page is based on this Wikipedia article

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.