Ebooks de Jan von Plato en PDF et EPUB

6 Livre(s)
Télécharger le livre : Portrait of Young Gödel
Ajouter à ma liste d'envies
Portrait of Young Gödel
Jan Von Plato
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...

Editeur : Springer
Parution : 2024-02-06
Collection : Vienna Circle Institute Library
PDF

126,59 €
Télécharger le livre : Kurt Gödel: Results on Foundations
Ajouter à ma liste d'envies
Kurt Gödel: Results on Foundations
Maria Hämeen-Anttila , Jan Von Plato
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...

Editeur : Springer
Parution : 2023-07-17

PDF

179,34 €
Télécharger le livre : Chapters from Gödel's Unfinished Book on Foundational Research in Mathematics
Ajouter à ma liste d'envies
Chapters from Gödel's Unfinished Book on Foundational Research in Mathematics
Jan Von Plato
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...

Editeur : Springer
Parution : 2022-05-06
Collection : Vienna Circle Institute Library
PDF

116,04 €
Télécharger le livre : Kurt Gödel
Ajouter à ma liste d'envies
Kurt Gödel
Maria Hämeen-Anttila , Jan Von Plato
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...

Editeur : Springer
Parution : 2021-12-15

PDF

105,49 €
Télécharger le livre : Can Mathematics Be Proved Consistent?
Ajouter à ma liste d'envies
Can Mathematics Be Proved Consistent?
Jan Von Plato
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...

Editeur : Springer
Parution : 2020-07-24

PDF

58,01 €
Télécharger le livre : Saved from the Cellar
Ajouter à ma liste d'envies
Saved from the Cellar
Jan Von Plato
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. Another noteworthy achievement is his resolution of the embarrassing situation created by Gödel's...

Editeur : Springer
Parution : 2017-03-31

PDF, ePub

147,69 €