| |
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
ePub
|
The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer’s logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics. Thus, this work...
Editeur :
Birkhäuser
Parution :
2020-06-08
PDF, ePub
|
Der mathematische Intuitionismus war die Schöpfung des niederländischen Mathematikers L. E. J. Brouwer, der damit am Anfang des zwanzigsten Jahrhunderts eine konstruktive Neubegründung der Mathematik anstieß.
Dieses Buch enthält drei Arbeiten Brouwers aus den...
Editeur :
Springer Spektrum
Parution :
2020-05-21
PDF
|
Gödel's true-but-unprovable sentence from the first incompleteness theorem is purely logical in nature, i.e. not mathematically natural or interesting. An interesting problem is to find mathematically natural and interesting statements that are similarly unprovable. A...
Editeur :
Springer
Parution :
2019-08-30
PDF, ePub
|
This book analyses an inconsistency within epistemic contextualism known as the factivity problem. It also provides key insights into epistemic contextualism, an important innovation in contemporary epistemology, enabling readers to gain a better understanding of the...
Editeur :
Springer
Parution :
2019-03-26
PDF, ePub
|
Charles Lutwidge Dodgson is best known for his 'Alice' books, Alice's Adventures in Wonderland and Through the Looking-Glass, written under his pen name of Lewis Carroll. Yet, whilst lauded for his work in children's fiction and his pioneering work in the world of...
Editeur :
OUP Oxford
Parution :
2019-02-14
PDF
|
Charles Lutwidge Dodgson is best known for his 'Alice' books, Alice's Adventures in Wonderland and Through the Looking-Glass, written under his pen name of Lewis Carroll. Yet, whilst lauded for his work in children's fiction and his pioneering work in the world of...
Editeur :
OUP Oxford
Parution :
2019-02-14
ePub
|
This book explores the unique relationship between two different approaches to understand the nature of knowledge, reality, and existence. It collects essays that examine the distinctive historical relationship between mathematics and philosophy. Readers learn what key...
Editeur :
Springer
Parution :
2018-08-14
PDF, ePub
|
This visionary and engaging book provides a mathematical perspective on the fundamental ideas of numbers, space, life, evolution, the brain and the mind. The author suggests how a development of mathematical concepts in the spirit of category theory may lead to...
Editeur :
Birkhäuser
Parution :
2018-08-11
PDF
|
This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC. The contributions give an overview of the program,...
Editeur :
Birkhäuser
Parution :
2018-01-30
PDF
|
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...
Editeur :
Springer
Parution :
2017-03-31
PDF, ePub
|
Logic is a field studied mainly by researchers and students of philosophy, mathematics and computing. Inductive logic seeks to determine the extent to which the premisses of an argument entail its conclusion, aiming to provide a theory of how one should reason in the...
Editeur :
OUP Oxford
Parution :
2017-01-19
ePub
|
Logic is a field studied mainly by researchers and students of philosophy, mathematics and computing. Inductive logic seeks to determine the extent to which the premisses of an argument entail its conclusion, aiming to provide a theory of how one should reason in the...
Editeur :
OUP Oxford
Parution :
2016-12-22
PDF
|
The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equivalent to a Turing machine (i.e., a computer), or there are absolutely undecidable mathematical problems. In...
Editeur :
OUP Oxford
Parution :
2016-09-09
PDF
|
The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equivalent to a Turing machine (i.e., a computer), or there are absolutely undecidable mathematical problems. In...
Editeur :
OUP Oxford
Parution :
2016-09-08
ePub
|
This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic...
Editeur :
Birkhäuser
Parution :
2015-09-24
ePub
|
A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofs Highlighting the applications and notations of basic mathematical concepts within the framework of logic and set theory,A First Course in Mathematical...
Editeur :
Wiley
Parution :
2015-09-14
PDF, ePub
|
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also...
Editeur :
OUP Oxford
Parution :
2014-01-09
PDF
|
Model theory, a major branch of mathematical logic, plays a key role connecting logic and other areas of mathematics such as algebra, geometry, analysis, and combinatorics. Simplicity theory, a subject of model theory, studies a class of mathematical structures, called...
Editeur :
OUP Oxford
Parution :
2013-10-17
PDF
|
This is the first logically precise, computationally implementable, book-length account of rational belief revision. It explains how a rational agent ought to proceed when adopting a new belief - a difficult matter if the new belief contradicts the agent's old beliefs....
Editeur :
OUP Oxford
Parution :
2012-06-14
PDF
|