Free Delivery Over $100
|
|
|||
|
||||
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.232kg ISBN: 9783030872984ISBN 10: 303087298 Pages: 133 Publication Date: 17 December 2022 Audience: Professional and scholarly , Professional & Vocational Format: Paperback 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.Reviews“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) This 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) Author InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
