{"title":"Jan Von Plato","description":null,"products":[{"product_id":"great-formal-machinery-works-book-jan-von-plato-9780691174174","title":"The Great Formal Machinery Works","description":"The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digita","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":50682977354001,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50682977747217,"sku":"GOR012169742","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":53742842216721,"sku":"CIN0691174172VG","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0691174172.jpg?v=1750977234"},{"product_id":"creating-modern-probability-book-jan-von-plato-9780521444033","title":"Creating Modern Probability","description":"This is the only book to chart the history and development of modern probability theory. It shows how in the first thirty years of this century probability theory became a mathematical science. The author also traces the development of probabilistic concepts and theories in statistical and quantum physics. There are chapters dealing with chance phenomena, as well as the main mathematical theories of today, together with their foundational and philosophical problems. Among the theorists whose work is treated at some length are Kolmogorov, von Mises and de Finetti. The principal audience for the book comprises philosophers and historians of science, mathematicians concerned with probability and statistics, and physicists. The book will also interest anyone fascinated by twentieth-century scientific developments because the birth of modern probability is closely tied to the change from a determinist to an indeterminist world-view.","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":51003102069009,"sku":"NIN9780521444033","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51327107072273,"sku":"CIN0521444039VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52135098876177,"sku":"NLS9780521444033","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0521444039.jpg?v=1750976246"},{"product_id":"kurt-godel-book-jan-von-plato-9783030872953","title":"Kurt Godel","description":"G del's Functional Interpretation in Context.- Part I: Axiomatic Intuitionist Logic.- Part II: The Functional Interpretation.- References.- Name Index.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51060384039185,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51060387053841,"sku":"NIN9783030872953","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52405560082705,"sku":"NLS9783030872953","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3030872955.jpg?v=1753785778"},{"product_id":"can-mathematics-be-proved-consistent-book-jan-von-plato-9783030508753","title":"Can Mathematics Be Proved Consistent?","description":"Kurt Godel (19061978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51065151258897,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51065153356049,"sku":"NIN9783030508753","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52691845316881,"sku":"NLS9783030508753","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3030508757.jpg?v=1751095036"},{"product_id":"creating-modern-probability-book-jan-von-plato-9780521597357","title":"Creating Modern Probability","description":"This is the only book to chart the history and development of modern probability theory. It shows how in the first thirty years of this century probability theory became a mathematical science. The author also traces the development of probabilistic concepts and theories in statistical and quantum physics. There are chapters dealing with chance phenomena, as well as the main mathematical theories of today, together with their foundational and philosophical problems. Among the theorists whose work is treated at some length are Kolmogorov, von Mises and de Finetti. The principal audience for the book comprises philosophers and historians of science, mathematicians concerned with probability and statistics, and physicists. The book will also interest anyone fascinated by twentieth-century scientific developments because the birth of modern probability is closely tied to the change from a determinist to an indeterminist world-view.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51111338901777,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51111339163921,"sku":"GOR002293520","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52136106721553,"sku":"NLS9780521597357","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52735562875153,"sku":"NIN9780521597357","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0521597358.jpg?v=1751391335"},{"product_id":"mathematical-logic-in-vienna-book-jan-von-plato-9783031816901","title":"Mathematical Logic in Vienna","description":"\u003cp\u003eThis book is a record of a seminar on mathematical logic Kurt Gödel and Hans Hahn held in Vienna in 1931-32. The seminar proceedings, given in English translation, are a unique witness of the state of research in logic and foundations of mathematics right after Gödel had published his celebrated incompleteness theorems. The seminars explain Gödel's results in logic in detail, in contrast to his publications of the time that often were quite laconic and extremely short. This book also contains Gödel's trial lecture on intuitionistic logic held in Vienna in 1933. The manuscript, recently found among the Gödel papers kept in Princeton, is preserved in Gödel's forgotten German shorthand and published here in an English translation. \u003c\/p\u003e\n\u003cp\u003e \u003c\/p\u003e\n\u003cp\u003e The book also adds an important aspect to the intellectual history of Vienna, as both Gödel and Hahn were members of the Vienna Circle group of philosophers and scientists. \u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51717812683025,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":51717813240081,"sku":"NGR9783031816901","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3031816900.jpg?v=1751030978"},{"product_id":"portrait-of-young-godel-book-jan-von-plato-9783031519734","title":"Portrait of Young Gödel","description":"In the summer of 1928, Kurt Gödel (1906–1978) embarked on his logical journey that would bring him world fame in a mere three years. By early 1929, he had solved an outstanding problem in logic, namely the question of the completeness of the axioms and rules of quantificational logic. He then went on to extend the result to the axiom system of arithmetic but found, instead of completeness, his famous incompleteness theorem that got published in 1931. It belongs to the most iconic achievements of 20th century science and has been instrumental in the development of theories of formal languages and algorithmic computability – two essential components in the birth of the information society.\u003cbr\u003eThis book explores Gödel’s way from an exceptional high-school student to a firmly established young logician. Essays in Gödel’s hand from the high school show that his central philosophical and scientific convictions were formed early on, before his university studies. Particular emphasis is laid on the course that made Gödel one of the foremost logicians of all times. The scientific biography of young Gödel is followed by English translations from Gödel’s German Gabelsberger shorthand of all his early preserved notebooks on logic and related topics.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51728336617745,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":51728337142033,"sku":"NGR9783031519734","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3031519736.jpg?v=1750729314"},{"product_id":"saved-from-the-cellar-book-jan-von-plato-9783319421193","title":"Saved from the Cellar","description":"Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52128077709585,"sku":"NLS9783319421193","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319421193.jpg?v=1757489446"},{"product_id":"elements-of-logical-reasoning-book-jan-von-plato-9781107610774","title":"Elements of Logical Reasoning","description":"Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is studied in the science of logic. Logical reasoning is applied at all levels, from everyday life to advanced sciences, and a remarkable level of complexity is achieved in everyday logical reasoning, even if the principles behind it remain intuitive. Jan von Plato provides an accessible but rigorous introduction to an important aspect of contemporary logic: its deductive machinery. He shows that when the forms of logical reasoning are analysed, it turns out that a limited set of first principles can represent any logical argument. His book will be valuable for students of logic, mathematics and computer science.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52151435919633,"sku":"NLS9781107610774","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52746738991377,"sku":"NIN9781107610774","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781107610774.jpg?v=1757613341"},{"product_id":"elements-of-logical-reasoning-book-jan-von-plato-9781107036598","title":"Elements of Logical Reasoning","description":"Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is studied in the science of logic. Logical reasoning is applied at all levels, from everyday life to advanced sciences, and a remarkable level of complexity is achieved in everyday logical reasoning, even if the principles behind it remain intuitive. Jan von Plato provides an accessible but rigorous introduction to an important aspect of contemporary logic: its deductive machinery. He shows that when the forms of logical reasoning are analysed, it turns out that a limited set of first principles can represent any logical argument. His book will be valuable for students of logic, mathematics and computer science.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52152079581457,"sku":"NLS9781107036598","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781107036598.jpg?v=1757615483"},{"product_id":"chapters-from-godels-unfinished-book-on-foundational-research-in-mathematics-book-jan-von-plato-9783030971335","title":"Chapters from Godels Unfinished Book on Foundational Research in Mathematics","description":"This volume contains English translations of Godel's chapters on logicism and the antinomies and on the calculi of pure logic, as well as outlines for a chapter on metamathematics. Godel's \"own book on foundations,\" as he called it, is essential reading for logicians and philosophers interested in foundations.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52455720026385,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52455720616209,"sku":"NLS9783030971335","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030971335.jpg?v=1759375153"},{"product_id":"saved-from-the-cellar-book-jan-von-plato-9783319825021","title":"Saved from the Cellar","description":"Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52536850120977,"sku":"NLS9783319825021","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319825021.jpg?v=1760675941"},{"product_id":"can-mathematics-be-proved-consistent-book-jan-von-plato-9783030508784","title":"Can Mathematics Be Proved Consistent?","description":"Kurt Gödel (1906–1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules. Gödel showed that whenever the part of mathematics under formalization contains elementary arithmetic, there will be arithmetical statements that should be formally provable but aren’t. The result is known as Gödel’s first incompleteness theorem, so called because there is a second incompleteness result, embodied in his answer to the question \"Can mathematics be proved consistent?\"\u003cbr\u003eThis book offers the first examination of Gödel’s preserved notebooks from 1930, written in a long-forgotten German shorthand, that show his way to the results: his first ideas, how they evolved, and how the jewel-like final presentation in his famous publication \u003ci\u003eOn formally undecidable propositions\u003c\/i\u003e was composed.The book also contains the original version of Gödel’s incompleteness article, as handed in for publication with no mentioning of the second incompleteness theorem, as well as six contemporary lectures and seminars Gödel gave between 1931 and 1934 in Austria, Germany, and the United States. The lectures are masterpieces of accessible presentations of deep scientific results, readable even for those without special mathematical training, and published here for the first time.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52595775570193,"sku":"NLS9783030508784","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030508784.jpg?v=1761071671"},{"product_id":"portrait-of-young-godel-book-jan-von-plato-9783031519703","title":"Portrait of Young Gödel","description":"In the summer of 1928, Kurt Gödel (1906–1978) embarked on his logical journey that would bring him world fame in a mere three years. By early 1929, he had solved an outstanding problem in logic, namely the question of the completeness of the axioms and rules of quantificational logic. He then went on to extend the result to the axiom system of arithmetic but found, instead of completeness, his famous incompleteness theorem that got published in 1931. It belongs to the most iconic achievements of 20th century science and has been instrumental in the development of theories of formal languages and algorithmic computability – two essential components in the birth of the information society.\u003cbr\u003eThis book explores Gödel’s way from an exceptional high-school student to a firmly established young logician. Essays in Gödel’s hand from the high school show that his central philosophical and scientific convictions were formed early on, before his university studies. Particular emphasis is laid on the course that made Gödel one of the foremost logicians of all times. The scientific biography of young Gödel is followed by English translations from Gödel’s German Gabelsberger shorthand of all his early preserved notebooks on logic and related topics.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52615158235409,"sku":"NLS9783031519703","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031519703.jpg?v=1761523228"},{"product_id":"chapters-from-godels-unfinished-book-on-foundational-research-in-mathematics-book-jan-von-plato-9783030971366","title":"Chapters from Godels Unfinished Book on Foundational Research in Mathematics","description":"This volume contains English translations of Godel's chapters on logicism and the antinomies and on the calculi of pure logic, as well as outlines for a chapter on metamathematics. Godel's \"own book on foundations,\" as he called it, is essential reading for logicians and philosophers interested in foundations.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52669683925265,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52669684547857,"sku":"NLS9783030971366","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030971366.jpg?v=1762288004"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-jan-von-plato.oembed","provider":"World of Books ","version":"1.0","type":"link"}