| |
Woher wissen wir was wahr ist? Wofür brauchen wir mathematische Beweise? Was hat es mit Gödels berühmten Unvollständigkeitssätzen auf sich? In diesem Sachbuch tauchen wir ein in die Aussagekraft mathematischer Systeme und lernen ihre prinzipiellen Grenzen kennen. Nicht...
Editeur : Springer
Parution : 2025-08-19
Format(s) : PDF, ePub
|
A practical guide to understanding the science of cause-and-effect for everyday decision-making.
In Cause, Effect, and Everything in Between, Aboozar Hadavand provides an easy-to-read and non-technical foundation to causal inference, especially for readers without a...
Editeur : Oxford University Press
Parution : 2025-08-08
Format(s) : PDF, ePub
|
This festschrift honors Johann A. Makowsky on the occasion of his 75th birthday. Gathering 24 research articles authored by scientific companions, friends, and colleagues, it covers a broad variety of areas to which Johann A. Makowsky made significant contributions...
Editeur : Birkhäuser
Parution : 2025-08-05
Format(s) : PDF, ePub
|
This book provides the reader with a comprehensive account of the contributions of Pythagoras to mathematics and philosophy, using them as a starting point to compare pre-Pythagorean accomplishments with the myriad mathematical developments that followed. It begins with...
Editeur : Springer
Parution : 2024-11-29
Format(s) : PDF, ePub
|
Propositiones ad acuendos juvenes (“Problems to Sharpen the Young”) is a ninth-century book written by medieval teacher and scholar Alcuin of York. Today, it has become one of the foundational texts in what is commonly called recreational mathematics. The book has been...
Editeur : OUP Oxford
Parution : 2024-11-16
Format(s) : PDF
|
Propositiones ad acuendos juvenes (“Problems to Sharpen the Young”) is a ninth-century book written by medieval teacher and scholar Alcuin of York. Today, it has become one of the foundational texts in what is commonly called recreational mathematics. The book has been...
Editeur : OUP Oxford
Parution : 2024-11-01
Format(s) : ePub
|
Erleben Sie das Wiedererwachen des universitären Lebens nach 1918 aus der Sicht eines Betroffenen. Tauchen Sie ein in die Erziehungs- und Sozialgeschichte der Mathematik zur Zeit der Weimarer Republik und erfahren aus der Perspektive eines jungen Autors das Aufstreben...
Editeur : Springer Spektrum
Parution : 2023-08-30
Format(s) : PDF, ePub
|
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
Format(s) : PDF
|
»Philosophy of Mathematics« is understood, in this book, as an effort to clarify such questions that mathematics itself raises but cannot answer with its own methods. These include, for example, questions about the ontological status of mathematical objects (e.g., what...
Editeur : Birkhäuser
Parution : 2023-06-10
Collection :
Science Networks. Historical Studies
Format(s) : PDF
|
The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs, Fifth Edition provides basic logic of mathematical proofs and how they work.The book offers techniques for both reading and writing proofs, discusses techniques in proving if/then statements by...
Editeur : Academic Press
Parution : 2023-01-05
Format(s) : epub sans DRM
|
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and...
Editeur : Springer
Parution : 2022-10-13
Format(s) : PDF, ePub
|
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and...
Editeur : Springer
Parution : 2022-09-17
Format(s) : PDF, ePub
|
Logik ist überall: im vernunftgemäßen Urteil, in der Einsicht, die den Glauben ergänzt, in Sprache und Mathematik, in einer aufgeklärten Ethik und in der Frage nach der Wahrheit und den Grenzen des Wissens. Sie scheint unverzichtbar, selbstverständlich und immer schon...
Editeur : Springer
Parution : 2022-07-18
Format(s) : PDF, ePub
|
Logical monism is the claim that there is a single correct logic, the 'one true logic' of our title. The view has evident appeal, as it reflects assumptions made in ordinary reasoning as well as in mathematics, the sciences, and the law. In all these spheres, we tend to...
Editeur : OUP Oxford
Parution : 2022-05-12
Format(s) : PDF
|
This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also...
Editeur : Springer
Parution : 2021-08-17
Collection :
Logic, Epistemology, and the Unity of Science
Format(s) : PDF
|
Dieses Buch widmet sich ausgewählten grundlegenden Begriffen, und zwar im Zusammenhang mit fundamentalen Ideen, beschränkt auf Struktur (Logik, Mengen, Axiomatik, algebraische Strukturen, Gleichungen), Funktion (verallgemeinert: Relation) und Zahl (von den...
Editeur : Springer Spektrum
Parution : 2021-07-12
Format(s) : PDF
|
In diesem essential werden wesentliche Konzepte der Berechenbarkeitstheorie erörtert. Zunächst werden unterschiedliche Modelle der Berechenbarkeit eingeführt und ihre semantische Gleichwertigkeit gezeigt. Dieses Resultat steht in Einklang mit der...
Editeur : Springer Spektrum
Parution : 2020-10-28
Collection :
essentials
Format(s) : PDF, ePub
|
»Philosophie der Mathematik« wird in diesem Buch verstanden als ein Bemühen um die Klärung solcher Fragen, die die Mathematik selber aufwirft, aber mit ihren eigenen Methoden nicht beantworten kann. Dazu gehören beispielsweise die Fragen nach dem ontologischen Status...
Editeur : Birkhäuser
Parution : 2020-08-19
Format(s) : PDF, ePub
|
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
Format(s) : PDF
|
Mathematik ist nicht jedermanns Sache und oft hapert es schon an den Grundlagen. Frei nach dem Motto "Einst gelernt, doch längst vergessen" bereiten oft gerade die einfachen Fragestellungen Probleme. Wie viel Prozent sind das nochmal? Wie war das doch gleich mit der...
Editeur : Wiley-VCH
Parution : 2020-07-09
Collection :
Für Dummies
Format(s) : ePub
|