|
Showing 1 - 10 of
10 matches in All Departments
Alfred Tarski was one of the two giants of the twentieth-century
development of logic, along with Kurt Goedel. The four volumes of
this collection contain all of Tarski's published papers and
abstracts, as well as a comprehensive bibliography. Here will be
found many of the works, spanning the period 1921 through 1979,
which are the bedrock of contemporary areas of logic, whether in
mathematics or philosophy. These areas include the theory of truth
in formalized languages, decision methods and undecidable theories,
foundations of geometry, set theory, and model theory, algebraic
logic, and universal algebra.
Alfred Tarski was one of the two giants of the twentieth-century
development of logic, along with Kurt Goedel. The four volumes of
this collection contain all of Tarski's published papers and
abstracts, as well as a comprehensive bibliography. Here will be
found many of the works, spanning the period 1921 through 1979,
which are the bedrock of contemporary areas of logic, whether in
mathematics or philosophy. These areas include the theory of truth
in formalized languages, decision methods and undecidable theories,
foundations of geometry, set theory, and model theory, algebraic
logic, and universal algebra.
Alfred Tarski was one of the two giants of the twentieth-century
development of logic, along with Kurt Goedel. The four volumes of
this collection contain all of Tarski's published papers and
abstracts, as well as a comprehensive bibliography. Here will be
found many of the works, spanning the period 1921 through 1979,
which are the bedrock of contemporary areas of logic, whether in
mathematics or philosophy. These areas include the theory of truth
in formalized languages, decision methods and undecidable theories,
foundations of geometry, set theory, and model theory, algebraic
logic, and universal algebra.
Alfred Tarski was one of the two giants of the twentieth-century
development of logic, along with Kurt Goedel. The four volumes of
this collection contain all of Tarski's papers and abstracts
published during his lifetime, as well as a comprehensive
bibliography. Here will be found many of the works, spanning the
period 1921 through 1979, which are the bedrock of contemporary
areas of logic, whether in mathematics or philosophy. These areas
include the theory of truth in formalized languages, decision
methods and undecidable theories, foundations of geometry, set
theory, and model theory, algebraic logic, and universal algebra.
This classic undergraduate treatment examines the deductive method
in its first part and explores applications of logic and
methodology in constructing mathematical theories in its second
part. Exercises appear throughout.
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer
Book Archives mit Publikationen, die seit den Anfangen des Verlags
von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv
Quellen fur die historische wie auch die disziplingeschichtliche
Forschung zur Verfugung, die jeweils im historischen Kontext
betrachtet werden mussen. Dieser Titel erschien in der Zeit vor
1945 und wird daher in seiner zeittypischen politisch-ideologischen
Ausrichtung vom Verlag nicht beworben.
2013 Reprint of 1941 Revised and Enlarged Edition. Exact facsimile
of the original edition, not reproduced with Optical Recognition
Software. Tarski is considered one of the five greatest logicians
of all time, alongside Aristotle (384-322 BCE), Boole (1815-1864),
Frege (1848-1925) and Godel. This book, together with Aristotle's
"Prior Analytics" and Boole's "Laws of Thought," should form the
core of any logic library. This classic undergraduate treatment
examines the deductive method in its first part and explores
applications of logic and methodology in constructing mathematical
theories in its second part. A thought-provoking introduction to
the fundamentals and the perfect adjunct to courses in logic and
the foundations of mathematics. Exercises appear throughout.
This graduate-level book is well known for its proof that many
mathematical systems--including lattice theory, abstract projective
geometry, and closure algebras--are undecidable. Based on research
conducted from 1938 to 1952, it consists of three treatises by a
prolific author who ranks among the greatest logicians of all time.
The first article, "A General Method in Proofs of Undecidability,"
examines theories with standard formalization, undecidable
theories, interpretability, and relativization of quantifiers. The
second feature, "Undecidability and Essential Undecidability in
Mathematics," explores definability in arbitrary theories and the
formalized arithmetic of natural numbers. It also considers
recursiveness, definability, and undecidability in subtheories of
arithmetic as well as the extension of results to other
arithmetical theories. The compilation concludes with
"Undecidability of the Elementary Theory of Groups."
Now in it's fourth edition, this classic work on logic presents the student with a clear, concise introduction to the subject of logic and its apllications. The first part of the book introduces the concepts and principles which make up the elements of logic, demonstrating that the concepts of logic are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The book goes on to show the applications of logic in mathematical theory building using concrete examples, drawing upon the concepts and principles presented in the first section. An introduction to the theory of real numbers is also presented. Exercises are included, designed to assist in the assimilation of the concepts and principles. Throughout the conceptual side or logic is stressed. Thoroughly revised by the author's son, the book remains a fundametal guide to modern mathematica logic and is a very important addition to this highly successful series.
|
|