4.0%OFF
Download App
| >> | LShop | >> | Book | >> | Mathematics & Scienc... | >> | Mathematics | >> | A Course In Mathemat... |
4.0%OFF
A Course in Mathematical Logic for Mathematicians (Graduate Texts in Mathematics)
-
ISBN
:
9781441906144
-
Publisher
:
Springer
-
Subject
:
Mathematics, Philosophy
-
Binding
:
HARDCOVER
-
Pages
:
402
-
Year
:
2009
₹
5967.0
4.0% OFF
₹
5728.0
5728.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View Details(Imported Edition) Estimated Shipping Time : 25-28 Business Days
View Details
-
Description
The book starts with an elementary introduction to formal languages appealing to the intuition of working mathematicians and unencumbered by philosophical or normative prejudices such as those of constructivism or intuitionism. It proceeds to the Proof Theory and presents several highlights of Mathematical Logic of 20th century: GxF6;del's and Tarski's Theorems, Cohen's Theorem on the independence of Continuum Hypothesis. Unusual for books on logic is a section dedicated to quantum logic. Then the exposition moves to the Computability Theory, based on the notion of recursive functions and stressing number{theoretic connections. A complete proof of Davis{Putnam{Robinson{Matiyasevich theorem is given, as well as a proof of Higman's theorem on recursive groups. Kolmogorov complexity is treated. The third Part of the book establishes essential equivalence of proof theory and computation theory and gives applications such as GxF6;del's theorem on the length of proofs. The new Chapter IX, written for thesecond edition, treats, among other things, categorical approach to the theory of computation, quantum computation, and P/NP problem. The new Chapter X, written for the second edition by Boris Zilber, contains basic results of Model Theory and its applications to mainstream mathematics. This theory found deep applications in algebraic and Diophantine geometry. Yuri Ivanovich Manin is Professor Emeritus at Max-Planck-Institute for Mathematics in Bonn, Germany, Board of Trustees Professor at the Northwestern University, Evanston, USA, and Principal Researcher at the Steklov Institute of Mathematics, Moscow, Russia. Boris Zilber, Professor of Mathematics at the University of Oxford, has been added to the second edition.
Related Items
-
of
-
OFFER
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
Lawrence C. Paulson
Starts At
7277.0
9576.0
24% OFF
-
OFFER
Logic and Information Flow (Foundations of Computing)
Jan van van Eijck
Starts At
3667.0
4265.0
14% OFF
-
OFFER
Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence)
Lincoln A. Wallen
Starts At
3301.0
3839.0
14% OFF
-
OFFER
From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931 (Source Books in History of Sciences)
Jean van Heijenoort
Starts At
2876.0
4052.0
29% OFF
-
OFFER
New Computational Paradigms: Changing Conceptions of What is Computable
S.B. Cooper
Starts At
17933.0
18681.0
4% OFF
-
OFFER
A Course on Mathematical Logic (Universitext)
Shashi Mohan Srivastava
Starts At
3303.0
3841.0
14% OFF
-
OFFER
Sweet Reason: A Field Guide to Modern Logic (Textbooks in Mathematical Sciences)
Tom Tymoczko
Starts At
3222.0
3747.0
14% OFF
-
OFFER
Stat Labs: Mathematical Statistics Through Applications
Deborah Nolan
Starts At
6550.0
6823.0
4% OFF
-
OFFER
The Logic of Scientific Discovery (Routledge Classics)
Karl Popper
Starts At
654.0
850.0
23% OFF
