| |
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
Collection :
SpringerBriefs in Mathematics
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
Collection :
Logic, Epistemology, and the Unity of Science
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
Collection :
Studies in Universal Logic
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
|
Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic...
Editeur :
North Holland
Parution :
2014-12-09
PDF sans DRM
|
This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.
Editeur :
Elsevier Science
Parution :
2014-06-28
PDF sans DRM
|
Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras.
The publication first takes a...
Editeur :
Elsevier Science
Parution :
2014-06-28
PDF sans DRM
|
In this pioneering work, the author develops a fundamental formulation of logic in terms of theory of matrices and vector spaces. The discovery of matrix logic represents a landmark in the further formalization of logic. For the first time the power of direct...
Editeur :
North Holland
Parution :
2014-06-28
PDF sans DRM
|
Foundations of Genetic Algorithms 1991 (FOGA 1) discusses the theoretical foundations of genetic algorithms (GA) and classifier systems.
This book compiles research papers on selection and convergence, coding and representation, problem hardness, deception, classifier...
Editeur :
Morgan Kaufmann
Parution :
2014-06-28
PDF sans DRM
|