|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Maria Hämeen-Anttila , Jan von PlatoPublisher: Springer Nature Switzerland AG Imprint: Springer Nature Switzerland AG Edition: 1st ed. 2021 Weight: 0.389kg ISBN: 9783030872953ISBN 10: 3030872955 Pages: 133 Publication Date: 16 December 2021 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsGödel's Functional Interpretation in Context.- Part I: Axiomatic Intuitionist Logic.- Part II: The Functional Interpretation.- References.- Name Index.ReviewsThis careful edition of Goedel's notes for his 1941 Princeton lectures is a highly relevant publication which should be consulted by anybody who wants to learn about Goedel's thoughts on intuitionsm at this time or is interested in functional interpretations. (Ulrich Kohlenbach, Philosophia Mathematica, July 9, 2022) “This careful edition of Gödel's notes for his 1941 Princeton lectures is a highly relevant publication which should be consulted by anybody who wants to learn about Gödel's thoughts on intuitionsm at this time or is interested in functional interpretations.” (Ulrich Kohlenbach, Philosophia Mathematica, July 9, 2022) “This book covers the lectures that Kurt Gödel gave in the spring of 1941 at the Institute for Advanced Study in Princeton. … The importance of the book: it is an essential addition to Gödel studies, extending the original audience of three to all interested researchers.” (Jean Paul Van Bendegem, Mathematical Reviews, November, 2023) “This careful edition of Gödel's notes for his 1941 Princeton lectures is a highly relevant publication which should be consulted by anybody who wants to learn about Gödel's thoughts on intuitionsm at this time or is interested in functional interpretations.” (Ulrich Kohlenbach, Philosophia Mathematica, July 9, 2022) Author InformationTab Content 6Author Website:Countries AvailableAll regions |