On the Extraction of Computational Content from Noneffective Convergence Proofs in Analysis

By Pavel Jozef Šafárik

The Fields medalist, Terence Tao, recently emphasized the importance of "hard" (or finitary) analysis and connected the finitisation to the methods we will employ in this thesis: ... The main... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3832537651
• ISBN13: 9783832537654
• Release Date: August 2014
• Publisher: Logos Verlag Berlin
• Length: 160 Pages