Trefferliste "Incompleteness" - alle Bücher, CDs und Super Audio CDs

Amit Chaudhuri

Incompleteness

Essays on everything from the music of Joni Mitchell to the declining quality of Bengali food from one of India's preeminent writers."I'm an Indian, so of course I write about India. But then, again,…

Max Cooper

One Hundred Billion Sparks

Serafim Batzoglou

Introduction to Incompleteness

Incompleteness is a fascinating phenomenon at the intersection of mathematical foundations, computer science, and epistemology that places a limit on what is provable. However, despite its importance, it …

Dirk W. Hoffmann

Gödel's Incompleteness Theorems

In 1931, the mysterious-sounding article "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I" shook the mathematical world. In this article, Kurt Gödel proved tw…

Jan Von Plato

Portrait of Young Gödel

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 th…

Gyong Jin Jo, Song Il Ri, Myong Song Pak

Theorems Equivalent to Completeness Axiom

All principles and methods in mathematical analysis are based on the theory of real numbers and are taken as a starting point. Therefore, it is important to have a correct knowledge for the set of real nu…

Regula Krapf, Lorenz Halbeisen

Gödel's Theorems and Zermelo's Axioms

This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs…

Labor Imperfectus

Unfinishedness and incompleteness represent a central feature of both ancient literature and its ongoing reception that has often been taken for granted without thorough examination. This edited volume ex…

Volker Halbach, Graham E. Leigh

The Road to Paradox

This book provides a clear and direct introduction to the theory of paradoxes and the Gödel incompleteness theorems. It will be valuable for students and researchers with a minimal background in logic and…

Marx for the 21st Century

This book offers a critical assessment of some of the most contentious topics in the Marxian political economy in the light of the recent publications of the complete manuscripts and editions of Capital i…

Iulian D. Toader

Rules and Meaning in Quantum Mechanics

This book pursues an investigation at the intersection of philosophy of physics and philosophy of language, and offers a critical analysis of rival explanations of the semantic facts of quantum mechanics.…

Stephen Abbott

The Proof Stage

How playwrights from Alfred Jarry and Samuel Beckett to Tom Stoppard and Simon McBurney brought the power of mathematics to life on the stageThe discovery of alternate geometries, paradoxes of the infinit…

Stefan Müller-Stach

The Code of Mathematics

Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. Besides selected ideas …

Georg Philipp Roßrucker

Supporting Web Search and Navigation by an Overlay Linking Structure

Search and navigation in hyperlinked networks have been subjects of research since the Internet emerged. Due to its incompleteness in terms of linking related content, the existing linking structure of th…

Kurt Gödel, Hans Hahn,

Mathematical Logic in Vienna

Kurt Gödel (1906-1978) created a sensation by his incompleteness theorems of 1931, now seen as one of the high points of 20th century mathematics and science more generally. His professor at the Universit…

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 Cantor's continuum hypo…