数学方法与精神复习题.docxVIP

叙述皮亚诺的自然数公理系统。皮亚诺公理，是数学家皮亚诺提出的关于自然数的五条公理系统。根据这五条公理可以建立起一阶算术系统，也称皮亚诺算术系统。皮亚诺的这五条公理用非形式化的方法叙述如下：三个基本概念：0，数，后继五条公理：0是一个数。任何数的后继是一个数。若两个数不同，则它们的后继也不同。0不是任何数的后继。数学归纳法原理。皮亚诺所谓的“数”是指所有自然数所构成的类，即指包括0在内的自然数全体；他没有假定我们知道这类中的所有分子，仅假定当我们说这个或那个是一个数时，我们知道我们所指的是什么。皮亚诺以“后继”来代表从数到数的一种对应，这种对应是一对一的，是一部以数造数的机器——给一个合适的起始数，潜在地，就足以造出数的全体。这个合适的起始数只有一个，那就是“0”。“0”、“数”、“后继”是不加以定义的原始概念，它们的性质全由皮亚诺的五条公理所界定和描述。从皮亚诺的公理系统出发，可以建立起完整的算术理论——可以定义数的加法、乘法和大小关系，可以证明已有的所有算术结果。你认为数学可以完全规约为逻辑吗？论述你的观点。我认为数学并不能完全规约为逻辑。逻辑主义学派认为，数学可以完全由逻辑得到。罗素和怀特相当成功的把古典数学纳入了一个统一的公理系统，使之能从几个逻辑概念和公理出发，再加上集合论的无穷公理就能推出康托集合论、一般算术和大部分数学来。这把逻辑推理发展到前所未有的高度，使人们看到，在数理逻辑演算的基础上能够推演出许多数学内容来，形成了集合论公理系统的逻辑体系。但后来数理逻辑中的一些深刻结果（如Godel不完备性定理）则否定了这种观点。事实上，数学不能完全由逻辑得到，即，如果要求数学是无矛盾的，那么，它就不可能是完备的。数学确实有逻辑以外的题材，那就是表达式，而且她的最重要的简单真理是直观的——而非逻辑的——产物。ZFC系统中存在的非逻辑公理即能说明这一点。试述ZF系统的MP规则和GEN规则。注释：ZFC系统的非逻辑公理有哪些条款？其中哪几条最能体现数学价值而又不能归约为逻辑？（ZF1）两个集合相等，当且仅当它们有相同的元素。（外延公理）（ZF2）没有元素的集合存在。（空集公理）（ZF3）给出任何集合x和y，总存在着集合z，它的元素是x和y。（配对公理）（ZF4）给出任何集合x，总存在着集合y，它以x的元素的元素为元素。（并集公理）（ZF5）给出任何集合x，总存在着集合y，它以x的一切子集为元素。（幂集公理）（ZF6）若对于任意的x，恰好存在唯一的y，使得公式A(x,y)成立，那么对于任意的集合z，存在集合u，使得u = { v | 存在w∈z ，使得A(w,v)成立 }。（替换公理模式）（ZF7）存在一个集合x，它含有无穷多个元素。（无穷公理）（ZF8）每个非空集合x含有一个元素y，y作为集合与x无公共元素。（基础公理）（AC）对任何由两两不交的非空集合组成的集合x，总存在一个集合y，它与x的每个成员恰有一个公共元素。（选择公理）（ZF2）空集公理和（ZF7）无穷公理（AC）选择公理（ZF2）和（ZF7）是分别断言集合存在和无限集合存在的公理；实质上，它们断言的正是空集?和自然数集N存在。这两条公理实难作为逻辑公理看待，它们是干脆的数学公理。因此，将集合论完全划归逻辑范畴不可能得到数学界的认可。一般认为：逻辑主义自定的目标——数学化为逻辑，成为逻辑的一部分——不可能实现。除此之外，选择公理也被证明是一条数学原理，不能归约为逻辑。自然数系有哪些基本原理？详细叙述之。什么是有限集、无限集和可数集？设S是一个集合，我们规定（1）如果存在n∈N使得S与｛0，1，…，n｝相似，或S与?相似，则称S是有限集；否则，称S是无限集。（2）如果S与N相似，则称它是可列集。（3）如果S是有限集或可列集，则称S是可数集或至多可列集。谈谈你对零的看法。数学表述着事物复杂的本质，而把庞大的数学体系连成了一个整体的是零。从简单的计数到复杂的运算，从估计事物发生的几率到精确知道与我们相关的事件何时达到最大值，这些有力的数学工具都让我们使用这样的思考方法：一个事件的发生与其他的事件相关，并且所有这些都离不开零这个中心。如：eiπ+1=0（数学中最重要的常数都集中于此）谈谈你对无限的看法。？无限即无穷，在数学上，从哲学上讲,从公元前400多年前开始对无穷的观念就产生了分歧,潜无穷与实无穷的无穷观一直争论至今.潜无穷的无穷观认为无穷是一个永无终止的过程;实无穷的无穷观认为无穷是实际存在的,无穷是一个可以完成的过程或一个已经生成的对象.现代数学的主流是以经典数学为基础的，经典数学以ZFC公理集合论系统为基础，承认无穷集合的存在，故经典数学接受实无穷观，同时也不排斥无穷作为一个过程存在，可以认为经典数学中的无穷观是潜无穷与实无穷辩证统一的无穷观。大学数学学习的是经典数