Sökt på: Böcker av Jan von Plato
totalt 24 träffar
Structural Proof Theory
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 …
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. Another …
Proof Analysis
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 …
Investigations into the Predicate Calculus
Oiva Ketonen (1913--2000) was the closest to a student the creator of modern proof theory Gerhard Gentzen ever had. Their encounter took place in 1938--39 in G ttingen, with …
Portrait of Young Godel
In the summer of 1928, Kurt Godel (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 …
Great Formal Machinery Works
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 …
The Great Formal Machinery Works
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 …
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. …
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 …
Elements of Logical Reasoning
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 …
Kurt Gödel: Results on Foundations
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 …
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. Another …