LIBROS DEL AUTOR: jan von plato

8 resultados para LIBROS DEL AUTOR: jan von plato

jan von plato Eliminar filtro Quitar filtros
  • 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 understanding of the situation of foundational research in mathematics after his great discovery, the incompleteness t...
    Disponible

    134,22 €

  • 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 reduced to the application of a few mechanical rules. Gödel showed that whenever the part of mathematics under...
    Disponible

    72,51 €

  • 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 reduced to the application of a few mechanical rules. Gödel showed that whenever the part of mathematics under...
    Disponible

    47,91 €

  • 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 incompleteness results, especially the second one about the unprovability of consistency of elementary arithm...
    Disponible

    195,44 €

  • Proof Analysis
    Jan von Plato / Professor Sara Negri
    ...
    Disponible

    63,91 €

  • Elements of Logical Reasoning
    Jan von Plato
    ...
    Disponible

    38,10 €

  • Structural Proof Theory
    Jan von Plato / Negri Sara / Sara Negri
    ...
    Disponible

    77,62 €

  • Creating Modern Probability
    Jan von Plato
    ...
    Disponible

    81,06 €