Stefan Müller-Stach – författare
2 381 kr
Skickas inom 10-15 vardagar
2 381 kr
Skickas inom 10-15 vardagar
871 kr
Läs direkt efter köp
902 kr
Läs direkt efter köp
917 kr
Skickas inom 5-8 vardagar
1 891 kr
Läs direkt efter köp
885 kr
Skickas inom 5-8 vardagar
507 kr
Läs direkt efter köp
361 kr
Skickas inom 10-15 vardagar
348 kr
Läs direkt efter köp
Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien präsentiert dieses Buch die Ideengeschichte der Begriffe Wahrheit, Beweis, Gleichheit und Äquivalenz. Neben ausgewählten Ideen von Platon, Aristoteles, Leibniz, Kant, Frege und anderen werden Resultate von Gödel und Tarski über Unvollständigkeit, Unentscheidbarkeit und Wahrheit in deduktiven Systemen und ihren semantischen Modellen vorgestellt. Der Hauptgegenstand dieses Textes ist die abhängige Typentheorie und neuere Entwicklungen in der Homotopy Type Theory. Diese Theorien beinhalten Identitätstypen, die neue Möglichkeiten für Gleichheit, Symmetrie, Äquivalenz und Isomorphie auf konzeptuelle Weise eröffnen. Die Interaktion von Typentheorie und Unendlichkategorien ist ein neues Paradigma für eine strukturelle Sichtweise auf die Mathematik. Sie fördert auch den neuen Trend zur Formalisierung von Mathematik in Form von Beweisassistenten.
564 kr
Skickas inom 10-15 vardagar
570 kr
Läs direkt efter köp
Code of Mathematics
Proof and Truth
603 kr
Skickas inom 10-15 vardagar
764 kr
Läs direkt efter köp
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 of Platon, Aristoteles, Leibniz, Kant, Frege and others, the results of Gödel and Tarski on incompleteness, undecidability and truth in deductive systems and their semantic models are covered. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory. Such theories contain identity types, which give a new understanding of equality, symmetry, equivalence and isomorphism in a conceptual way. The interaction of type theory and infinity category theory yields a new paradigm for a structural view on mathematics. This supports the tendencies towards formalising mathematics with the help of proof assistants.
This book was first published in German. The translation was done with the help of artificial intelligence. A subsequent human revision was done primarily in terms of content.
1 741 kr
Skickas inom 10-15 vardagar
2 207 kr
Läs direkt efter köp
The two works titled "What Are and What Should the Numbers Be?" (1888) and "Continuity and Irrational Numbers" (1872) are Dedekind''s contributions to the foundations of mathematics; therein, he laid the groundwork for set theory and the theory of real and natural numbers. These writings are indispensable in modern mathematics. However, Dedekind''s achievements have not always been adequately acknowledged, and the content of these books is still little known to many mathematicians today.
This volume contains not only the original texts but also a detailed analysis of the two writings and an interpretation in modern language, as well as a brief biography and a transcript of the famous letter to H. Keferstein. The extensive commentary offers a fascinating insight into the life and work of Dedekind''s pioneering work and relates the latter to great contemporaries such as Cantor, Dirichlet, Frege, Hilbert, Kronecker, and Riemann.
Researchers and students alike will find this work a valuable reference in the history of mathematics.
369 kr
Kommande
392 kr
Skickas inom 10-15 vardagar
396 kr
Läs direkt efter köp
245 kr
Läs direkt efter köp
3 054 kr
Läs direkt efter köp