点击选择搜索分类
首页 - 人类学- 正文
☆☆☆☆☆
||
张锦文 著
出版社: 科学出版社 ISBN:9787030018496 版次:1 商品编码:12169492 包装:平装 丛书名: 现代数学基础丛书·典藏版 开本:16开 出版时间:1991-01-01 用纸:胶版纸 页数:351 字数:295000 正文语种:中文
《现代数学基础丛书·典藏版32:公理集合论导引》可供大专院校数学系学生,教师以及有关研究人员阅读。
公理集合论也是一门正在深入发展的数学理论。连续统问题、大基数问题、选择公理、决定性公理等都是人们所关注的研究课题,新的问题也在不断产生,这说明它仍然是方兴未艾的学科,人们正是通过研究与解决这一学科的问题来锻炼自己的意志和能力,连续统问题已有一百多年的历史,虽然取得了重大进展,但还没有最后解决。我们相信,人类终归要解决它的,在解决它和其它问题的过程巾,人们必将发现新方法和新观点,从而达到更广阔更自由的境界。
本书的目的是系统地阐述公理集合论的基本概念、基本方法和主要成果。前五章是从严谨而又直观的角度阐述了类、集合、序数、基数以及势的概念与性质。在康托尔时代,这些概念都含有某种未被澄清的含糊性,从而出现了若干悖论。近几十年,人们弄清了这些概念的本质,消除了它们的含糊性,避免了各种悖论,并通过形式化方法,把有关概念建立在严谨的基础上。因此,在通常的著作中,人们都是在形式系统内陈述这些概念并论证它们的件质的,本书采用了不同的叙述方法,在引入形式系统之前直观地阐述了这些内容,这为没有逻辑训练的读者提供了方便。前五章虽然没有专门讨论逻辑概念,但是由于对每一重要概念都是严谨地逻辑地展开的,因此读者也可以从中得到较好的逻辑训练,第六章引进了集合论形式语言和ZF(蔡梅罗一弗兰克尔)形式公理系统,建立了若干逻辑定理。第七章直观地阐述选择公理的形式与应用,讨论了与它相矛盾的决定性公理。第八章建立了公式的层次概念,并对重要的元数学概念进行了形式化处理。第九、十两章分别阐述了哥德尔和科恩的结果与方法。可构成方法、力迫方法是现代集合论中最主要的方法,连续统假设、选择公理的相对协调性与独立性定理是这一领域中的中心结果,第十一章阐述了涉及类、超类与聚合的公理系统,一方面是为了引入与形式化相应的概念,论述ZF系统的协调性;另一方面是为了开拓公理集合论的内容,研究包括范畴论在内的数学基础。
现代数学基础丛书·典藏版32:公理集合论导引 电子书 下载 mobi epub pdf txt
现代数学基础丛书·典藏版32:公理集合论导引-so88
现代数学基础丛书·典藏版32:公理集合论导引 pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
张锦文 著
出版社: 科学出版社 ISBN:9787030018496 版次:1 商品编码:12169492 包装:平装 丛书名: 现代数学基础丛书·典藏版 开本:16开 出版时间:1991-01-01 用纸:胶版纸 页数:351 字数:295000 正文语种:中文
内容简介
与通常的公理集合论著作不同,《现代数学基础丛书·典藏版32:公理集合论导引》在引入形式系统之前首先直观而义严谨地阐述了类、集合、序数,基数以及势的概念,为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统,对直观集合论中的概念和公理进行了形式化处理,并在此基础上建立了若干逻辑定理。以后各章介绍了公理集合论中的主要方法和结果,以及作者本人的研究成果。《现代数学基础丛书·典藏版32:公理集合论导引》可供大专院校数学系学生,教师以及有关研究人员阅读。
内页插图
目录
前言/序言
公理集合论是康托尔朴素集合论与初等逻辑相汇合的结果。它既是一门纯数学(数理逻辑的主要分支之一),又是现代数学(包括连续数学与离散数学)的基础,是各门数学的精确、严谨而又简便的语言。它在计算机科学、人工智能学、逻辑学、经济学、语言学和心理学等方面有着重要的应用。公理集合论也是一门正在深入发展的数学理论。连续统问题、大基数问题、选择公理、决定性公理等都是人们所关注的研究课题,新的问题也在不断产生,这说明它仍然是方兴未艾的学科,人们正是通过研究与解决这一学科的问题来锻炼自己的意志和能力,连续统问题已有一百多年的历史,虽然取得了重大进展,但还没有最后解决。我们相信,人类终归要解决它的,在解决它和其它问题的过程巾,人们必将发现新方法和新观点,从而达到更广阔更自由的境界。
本书的目的是系统地阐述公理集合论的基本概念、基本方法和主要成果。前五章是从严谨而又直观的角度阐述了类、集合、序数、基数以及势的概念与性质。在康托尔时代,这些概念都含有某种未被澄清的含糊性,从而出现了若干悖论。近几十年,人们弄清了这些概念的本质,消除了它们的含糊性,避免了各种悖论,并通过形式化方法,把有关概念建立在严谨的基础上。因此,在通常的著作中,人们都是在形式系统内陈述这些概念并论证它们的件质的,本书采用了不同的叙述方法,在引入形式系统之前直观地阐述了这些内容,这为没有逻辑训练的读者提供了方便。前五章虽然没有专门讨论逻辑概念,但是由于对每一重要概念都是严谨地逻辑地展开的,因此读者也可以从中得到较好的逻辑训练,第六章引进了集合论形式语言和ZF(蔡梅罗一弗兰克尔)形式公理系统,建立了若干逻辑定理。第七章直观地阐述选择公理的形式与应用,讨论了与它相矛盾的决定性公理。第八章建立了公式的层次概念,并对重要的元数学概念进行了形式化处理。第九、十两章分别阐述了哥德尔和科恩的结果与方法。可构成方法、力迫方法是现代集合论中最主要的方法,连续统假设、选择公理的相对协调性与独立性定理是这一领域中的中心结果,第十一章阐述了涉及类、超类与聚合的公理系统,一方面是为了引入与形式化相应的概念,论述ZF系统的协调性;另一方面是为了开拓公理集合论的内容,研究包括范畴论在内的数学基础。
现代数学基础丛书·典藏版32:公理集合论导引 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- 原子时代
- 平易近人 习近平的语言力量
- 现在有多长 9787535798107 英国《新科学家》杂志,博集天卷 出品-RT
- 认知语言学与汉语研究丛书:语法六讲
- 科学有趣的少年电子制作 9787030464392 徐燕林,刘智-RT
- 包邮 中国手语日常会话速成 专业易学易懂手语书 手语学习培训教材工具书籍 聋哑人手语日常会
- 阿司匹林传奇
- 《中国共产党纪律处分条例》案例教程
- 满58包邮 天外有天系列:人类探月工程 9787543975323 上海科学技术文献出
- 汉语词汇的生成与演化
- 费加尔气得冒烟了
- 党务工作者实用手册(新编本)组织工作基本丛书 工作手册系列
- 推动丛书宇宙系列:大宇之形 [美]丘成桐 史蒂夫纳迪斯
- 《习近平用典(第二辑)》平装
- 彩泥大全-儿童益智学画