Jan von Plato – författare
Visar alla böcker från författaren Jan von Plato. Handla med fri frakt och snabb leverans.
36 produkter
Creating Modern Probability
Its Mathematics, Physics and Philosophy in Historical Perspective
Av Jan von Plato, Brian Skyrms
Inbunden, 1994
1449 kr
Lägg i varukorg
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 …
Structural Proof Theory
Häftad, 2008
732 kr
Lägg i varukorg
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. …
Creating Modern Probability
Its Mathematics, Physics and Philosophy in Historical Perspective
Av Jan von Plato, Brian Skyrms
Häftad, 1998
699 kr
Lägg i varukorg
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 …
Structural Proof Theory
Inbunden, 2001
1593 kr
Lägg i varukorg
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. …
Great Formal Machinery Works
Theories of Deduction and Computation at the Origins of the Digital Age
Inbunden, 2017
755 kr
Lägg i varukorg
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 …
Proof Analysis
A Contribution to Hilbert's Last Problem
Inbunden, 2011
1814 kr
Lägg i varukorg
This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory …
Elements of Logical Reasoning
Inbunden, 2014
1351 kr
Lägg i varukorg
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 …
Proof Analysis
A Contribution to Hilbert's Last Problem
Häftad, 2014
716 kr
Lägg i varukorg
This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory …
Elements of Logical Reasoning
Häftad, 2014
413 kr
Lägg i varukorg
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 …
Elements of Logical Reasoning
E-bok, 2014
396 kr
Lägg i varukorg
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 …
Elements of Logical Reasoning
E-bok, 2014
408 kr
Lägg i varukorg
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 …
Creating Modern Probability
Its Mathematics, Physics and Philosophy in Historical Perspective
E-bok, 1994
665 kr
Lägg i varukorg
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 …
Great Formal Machinery Works
Theories of Deduction and Computation at the Origins of the Digital Age
E-bok, 2017
500 kr
Lägg i varukorg
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 …
Investigations into the Predicate Calculus
Av Oiva Ketonen, Sara Negri m. fl.
Häftad, 2022
203 kr
Lägg i varukorg
Can Mathematics Be Proved Consistent?
Gödel's Shorthand Notes & Lectures on Incompleteness
Inbunden, 2020
606 kr
Lägg i varukorg
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 …
Can Mathematics Be Proved Consistent?
Gödel''s Shorthand Notes & Lectures on Incompleteness
E-bok, 2020
815 kr
Lägg i varukorg
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 …
Can Mathematics Be Proved Consistent?
Gödel's Shorthand Notes & Lectures on Incompleteness
Häftad, 2021
606 kr
Lägg i varukorg
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 …
Kurt Gödel
The Princeton Lectures on Intuitionism
Av Maria Hämeen-Anttila, Jan von Plato
Inbunden, 2021
732 kr
Lägg i varukorg
Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of twenty-four mathematical problems presented at a conference opening the new century. Kurt Gödel, a logical icon of that time, showed Hilbert's ideal of complete axiomatization of mathematics to be …
Kurt Godel
The Princeton Lectures on Intuitionism
Av Jan von Plato, Maria Hameen-Anttila
E-bok, 2021
1622 kr
Lägg i varukorg
Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert''s celebrated list of twenty-four mathematical problems presented at a conference opening the new century. Kurt Gödel, a logical icon of that time, showed Hilbert''s ideal of complete axiomatization of mathematics to be …
Kurt Gödel
The Princeton Lectures on Intuitionism
Av Maria Hämeen-Anttila, Jan von Plato
Häftad, 2022
716 kr
Lägg i varukorg
Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of twenty-four mathematical problems presented at a conference opening the new century. Kurt Gödel, a logical icon of that time, showed Hilbert's ideal of complete axiomatization of mathematics to be …
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics
Inbunden, 2022
1205 kr
Lägg i varukorg
This volume contains English translations of Gödel's chapters on logicism and the antinomies and on the calculi of pure logic, as well as outlines for a chapter on metamathematics. It also comprises most of his reading notes. This book is a testimony to Gödel's understanding of the situation of …
Chapters from Godel's Unfinished Book on Foundational Research in Mathematics
E-bok, 2022
1595 kr
Lägg i varukorg
This volume contains English translations of Gödel''s chapters on logicism and the antinomies and on the calculi of pure logic, as well as outlines for a chapter on metamathematics. It also comprises most of his reading notes. This book is a testimony to Gödel''s understanding of the situation of …
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics
Häftad, 2023
1205 kr
Lägg i varukorg
This volume contains English translations of Gödel's chapters on logicism and the antinomies and on the calculi of pure logic, as well as outlines for a chapter on metamathematics. It also comprises most of his reading notes. This book is a testimony to Gödel's understanding of the situation of …
Kurt Gödel: Results on Foundations
Av Maria Hämeen-Anttila, Jan von Plato
Inbunden, 2023
1858 kr
Lägg i varukorg
Kurt Gödel (1906-1978) gained world-wide fame by his incompleteness theorem of 1931. Later, he set as his aim to solve what are known as Hilbert's first and second problems, namely Cantor's continuum hypothesis about the cardinality of real numbers, and secondly the consistency of the theory of …
Kurt Godel: Results on Foundations
Av Jan von Plato, Maria Hameen-Anttila
E-bok, 2023
2444 kr
Lägg i varukorg
Kurt Gödel (1906-1978) gained world-wide fame by his incompleteness theorem of 1931. Later, he set as his aim to solve what are known as Hilbert''s first and second problems, namely Cantor''s continuum hypothesis about the cardinality of real numbers, and secondly the consistency of the theory of …
Kurt Gödel: Results on Foundations
Av Maria Hämeen-Anttila, Jan von Plato
Häftad, 2024
1858 kr
Lägg i varukorg
Kurt Gödel (1906-1978) gained world-wide fame by his incompleteness theorem of 1931. Later, he set as his aim to solve what are known as Hilbert's first and second problems, namely Cantor's continuum hypothesis about the cardinality of real numbers, and secondly the consistency of the theory of …
Portrait of Young Gödel
Education, First Steps in Logic, the Problem of Completeness
Inbunden, 2024
1626 kr
Lägg i varukorg
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 …
Portrait of Young Godel
Education, First Steps in Logic, the Problem of Completeness
E-bok, 2024
2068 kr
Lägg i varukorg
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 …
Portrait of Young Gödel
Education, First Steps in Logic, the Problem of Completeness
Häftad, 2025
1626 kr
Lägg i varukorg
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 …
