A Course in Mathematical Logic for Mathematicians 2024 pdf epub mobi 电子书


A Course in Mathematical Logic for Mathematicians

简体网页||繁体网页

A Course in Mathematical Logic for Mathematicians 2024 pdf epub mobi 电子书 著者简介


A Course in Mathematical Logic for Mathematicians 电子书 图书目录




点击这里下载
    


想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-08

A Course in Mathematical Logic for Mathematicians 2024 pdf epub mobi 电子书

A Course in Mathematical Logic for Mathematicians 2024 pdf epub mobi 电子书

A Course in Mathematical Logic for Mathematicians 2024 pdf epub mobi 电子书



喜欢 A Course in Mathematical Logic for Mathematicians 电子书 的读者还喜欢


A Course in Mathematical Logic for Mathematicians 电子书 读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价
出版者:Springer
作者:Yu. I. Manin
出品人:
页数:384
译者:Neal Koblitz
出版时间:2009-10-30
价格:USD 69.95
装帧:Hardcover
isbn号码:9781441906144
丛书系列:Graduate Texts in Mathematics

图书标签: 数理逻辑  数学  逻辑  Mathematical_Logic  Logic  逻辑学  ebooks  Mathematics   


A Course in Mathematical Logic for Mathematicians 2024 pdf epub mobi 电子书 图书描述

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: Gö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 Gödel's theorem on the length of proofs. The new Chapter IX, written for the second 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.

A Course in Mathematical Logic for Mathematicians 2024 pdf epub mobi 电子书

A Course in Mathematical Logic for Mathematicians 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

A Course in Mathematical Logic for Mathematicians 2024 pdf epub mobi 用户评价

评分

可作为课外读物,但不适合用作教科书。

评分

可作为课外读物,但不适合用作教科书。

评分

这是一本非同寻常的现代数理逻辑教科书。它起源于Manin自学逻辑的记录,从行文可看出作者的思维方式。作者指出了现代数理逻辑的三个生长点:模型论及其在代数、代数几何、算术几何、算子代数、动力系统中的运用;高阶范畴及其逻辑;理论计算机科学。本书最后一章强调了第一个方向(实际是Boris Zilber写的),而Manin-Marcolli最近几年文章则集中于后两个方向。

评分

可作为课外读物,但不适合用作教科书。

评分

可作为课外读物,但不适合用作教科书。

A Course in Mathematical Logic for Mathematicians 2024 pdf epub mobi 电子书


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有