Can I read Proof Theory and Logic Complexity: Volume 1 on EtoBox?

Proof Theory and Logic Complexity: Volume 1 by Jean-Yves Girard is a nonfiction available to read on EtoBox.

What is Proof Theory and Logic Complexity: Volume 1 about?

This long awaited book ... fills essential gaps in monographic literature on proof theory and prepares readers for volume 2 (to be published soon) containing an exposition of the author's new approach to proof theory for higher order logic. Even in traditional topics, like Gödel's completeness and incompleteness theorems, and cut elemination, accents are different compared to books by Kleene, Schütte, or Takeuti, which are strongly influenced by Hilbert's aim: to make mathematical theories (number theory, analysis etc.) more reliable by transformations of formalized proofs. The author is much closer to the approach of G. Kreisel (to whom this book is dedicated): Hilbert's program needs drastic rethinking and one of the main tasks is in finding mathematical applications of the results obtained in proof theory. Possibly, it is not a pure chance that the system of second order functionals developed by the author in his normalization proof for second order logic (was rediscovered and) became a tool in computer science. The book under review presents not only this material, but also other results by the author which became a part of modern proof theory including analysis of cut-free pro

Who reads Proof Theory and Logic Complexity: Volume 1?

Author

Jean-Yves Girard

Publisher

Bibliopolis Edizioni di Filosofia e Scienze

Published

1987

Language

EN

ISBN

9788870881233

Category

nonfiction

Subjects

Mathematics, Logic, Stem