数理逻辑复习.doc

L5 1. predicate logic 谓词逻辑 2. proposition individual don’t care the relation between predicate more care the subject 3. predicates are propositions with variables 4. universal quantification existential quantification negating quantifier 5. assertion 断言 notation 符号 Socrates 苏格拉底 Goldbach Conjecture 哥德巴赫猜想 every even integer greater than 2 is the sum of two primes 6. equivalence 等价 intersections 交集product 乘积calculus 微积分 set builder notatio集合表示形式 cubic equation 三次方程 7. Everyone has exactly one best friend 8. 注意存在和所有的先后顺序 L6 命题推断 量化命题推断 1. inference 推断 axiomatic 公理 argument 论据论证 fallacy 谬论谬误 crackpot ravings 疯子的胡话 template 模板 showstopper 精彩表演 Euclid 欧几里得（公理体系） axiom 公理 deduction 推论 proof 论证 theorem 定理 lemma引理 corollary 推论 ZFC Axioms公理体系 disjoint 互斥 antecedent premise 前提 2. tautology 永真式，重言式 semantic wordplay 文字游戏 3. modus ponens 假言推理，肯定前件式 （三段论） hypothesis 前提，假设 conjunction 结合，连接（and） syllogism 三段论 hypothetical syllogism 假言三段论 （类传递） modus tollens 否定后件式（反三段论） disjunction syllogism 选言推理 resolution 溶解(子句和否定) 4. fallacy based on contingency(偶然性) 5. r only if p 等价于 r - p 6. a-b b-c c-a -- abc 错 7. natural selection is a tautology instantiation示例 8. 全称例化 全称生成 存在例化 存在生成 L7 Proof Method rational 有理数 irrational 无理数 1. 直接证明 证明逆反命题（间接证明） 空证明，平凡证明 反证法 分情况证明 存在性证明（举例 假设） 唯一性证明（存在+唯一） 反向推理（WRONG or need reverse） 证明等价关系（证明左右两边 构造iffs） L8 inductive reasoning 归纳推理 L9哥德尔不完全性定理 1. for every proof system ,there are math statements which are either not proved or proved incorrectly 2. paradox 悖论 3. Godel feat Hilbert 第一，他证明了，对于任意的数学系统，如果其中包含了算术系统的话，那么这个系统不可能同时是完备的和一致的。也就是说，要是我们能在一个数学系统中做算术的话，那么要么这个系统是自相矛盾的，要么有那么一些结论，它们是真的，我们却无法证明。 第二，他证明了，对于任意的数学系统，如果其中包含了算术系统的话，那么我们不能在这个系统内部证明它的一致性。这就是希尔伯特第二问题答案的一部分。