Jan von Plato
- Auteur
Jan von Plato
Boeken van Jan von Plato
Jan von Plato
Creating Modern Probability
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.
Meer
Jan von Plato
Saved from the Cellar
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.
Meer
Jan von Plato
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics
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.
Meer
Jan von Plato
Maria Hämeen-Anttila
Kurt Gödel
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.
Meer
Jan von Plato
Can Mathematics Be Proved Consistent?
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.
Meer