Vienna Research Groups for Young Investigators Call 2012 - Mathematics and...VRG12-004

Structure and Expressivity: The Mathematical Foundations of Inductive Reasoning


Structure and Expressivity: The Mathematical Foundations of Inductive Reasoning
VRG leader:
Proponent:
Institution:
Vienna University of Technology
Projekttitel:
Structure and Expressivity: The Mathematical Foundations of Inductive Reasoning
Status:
Abgeschlossen (01.04.2013 – 31.03.2021) 96 Monate
Fördersumme:
€ 1.495.650

 
Kurzzusammenfassung:

Induction is a reasoning principle of fundamental importance in a large number of fields.
Many areas of mathematics would not be thinkable without inductive proofs. In computer science, induction is indispensable for reasoning about programs and data structures. However, the problem of the automation of proof by induction - while crucial for software verification - is far from being resolved in a satisfactory way.

In proof theory, a branch of mathematical logic, one investigates proofs as mathematical objects per se. This project is concerned with the proof-theoretic analysis of inductive proofs.
Its aim is to develop a radically new approach to the automation of proof by induction based on a mathematical investigation of the combinatorial structure of formal proofs.
One approach we intend to pursue to that aim is to characterize provability in inductive theories in terms of formal language theory.

 

Wir nutzen Cookies auf unserer Website. Einige von ihnen sind technisch notwendig, während andere uns helfen, diese Website zu verbessern oder zusätzliche Funktionalitäten zur Verfügung zu stellen. Weitere Informationen