Proof Theory and Logical Complexity: Vol. I (Studies in...

Main
Mathematics
Proof Theory and Logical Complexity:...

Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)

Name: Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)
ISBN: 9788870881233

Jean-Yves Girard

0 / 0

0 comments

Bu kitabı nə dərəcədə bəyəndiniz?

Yüklənmiş faylın keyfiyyəti necədir?

Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin

Yüklənmiş faylların keyfiyyəti necədir?

Hardbound. This volume is the first in a series which will, in the future, be published jointly by Bibliopolis, Edizioni di Filosofia e Scienze spa, Napoli, and under the North-Holland imprint by Elsevier Science Publishers, Amsterdam.This is the first of a two-part work covering the main ideas and techniques of proof theory. This volume is introductory, starting with Hilbert (whose second problem in the famous list of problems of 1900 was the consistency of number theory), describing Hilbert's program and its demise at the hands of G?del. It then proceeds with Gentzen's result (the Hauptsatz is the main result of Part I) and improvements and generalizations to &ohgr;-logic.Volume II will cover more advanced logics.

Kateqoriyalar:

Mathematics

İl:

1990

Dil:

english

Səhifələr:

502

ISBN 10:

8870881237

ISBN 13:

9788870881233