Add to ORKGInternational audienceIn this chapter, we propose some future directions of work, potentially beneficial to Mathematics and its foundations, based on the recent import of methodology from the theory of programming languages into proof theory. This scientific essay, written for the audience of proof theorists as well as the working mathematician, is not a survey of the field, but rather a personal view of the author who hopes that it may inspire future and fellow researchers
20 ABSTRACT (Continued) Mechanical procedures for the manipulation of formal proofs have played a ce...
A proof is one of the most important concepts of mathematics. However, there is a striking differenc...
How close are we to a world where every paper on programming languages is accompanied by an electron...
International audienceIn this chapter, we propose some future directions of work, potentially benefi...
International audienceThe topics of structural proof theory and logic programming have influenced ea...
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning fro...
International audienceIn a world where trusting software systems is increasingly important, formal m...
International audienceThe earliest and most popular use of logic in computer science views computati...
Some knowledge of what it means to construct a proof is an extremely important part of mathematics. ...
In this paper I will discuss the fundamental ideas behind proof assistants: What are they and what i...
One of the classical ways of learning programming is to divide programming tasks into large groups, ...
Since the work of Brouwer, Kolmogorov, Goedel, Kleene and many others we know that constructive proo...
The workshop on proof theory took place in Vichy at the Pôle Universitaire de Vichy on 25 June 2018....
this paper is to investigate the impact on the design of a programming language of tight integration...
Today highly nontrivial mathematics is routinely being encoded in the computer, ensuring a reliabil-...
20 ABSTRACT (Continued) Mechanical procedures for the manipulation of formal proofs have played a ce...
A proof is one of the most important concepts of mathematics. However, there is a striking differenc...
How close are we to a world where every paper on programming languages is accompanied by an electron...
International audienceIn this chapter, we propose some future directions of work, potentially benefi...
International audienceThe topics of structural proof theory and logic programming have influenced ea...
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning fro...
International audienceIn a world where trusting software systems is increasingly important, formal m...
International audienceThe earliest and most popular use of logic in computer science views computati...
Some knowledge of what it means to construct a proof is an extremely important part of mathematics. ...
In this paper I will discuss the fundamental ideas behind proof assistants: What are they and what i...
One of the classical ways of learning programming is to divide programming tasks into large groups, ...
Since the work of Brouwer, Kolmogorov, Goedel, Kleene and many others we know that constructive proo...
The workshop on proof theory took place in Vichy at the Pôle Universitaire de Vichy on 25 June 2018....
this paper is to investigate the impact on the design of a programming language of tight integration...
Today highly nontrivial mathematics is routinely being encoded in the computer, ensuring a reliabil-...
20 ABSTRACT (Continued) Mechanical procedures for the manipulation of formal proofs have played a ce...
A proof is one of the most important concepts of mathematics. However, there is a striking differenc...
How close are we to a world where every paper on programming languages is accompanied by an electron...