无穷无穷小的逻辑相容性小的逻辑相容性

无穷小的逻辑相容性

在传统微积分教课书里面，（实）无穷小是一个导致自相矛盾的概念。

当前，这种陈旧的观念仍然在国内普通高校课堂里面在灌输给大学生，培养大批“小糊涂”。

但是，数理逻辑模型理论紧致性定理对此说“不”。

请见本文附件。

其他废话就不说了。

袁萌陈启清 1月11日

附件：

A third application of the compactness theorem is the construction of nonstandard models of the real numbers, that is, consistent extensions of the theory of the real numbers that contain "infinitesimal" numbers. To see this, let Σ be a first-order axiomatization of the theory of the real numbers. Consider the theory obtained by adding a new constant symbol ε to the language and adjoining to Σ the axiom ε > 0 and the axioms ε < 1/n for all positive integers n. Clearly, the standard real numbers R are a model for every finite subset of these axioms, because the real numbers satisfy everything in Σ and, by suitable choice of ε, can be made to satisfy any finite subset of the axioms about ε. By the compactness theorem, there is a model *R that satisfies Σ and also contains an infinitesimal element ε. A similar argument, adjoining axioms ω > 0, ω > 1, etc., shows that the existence of infinitely large integers cannot be ruled out by any axiomatization Σ of the reals.

无穷无穷小的逻辑相容性小的逻辑相容性相关推荐

微信小程序逻辑层视图层解析
框架小程序开发框架的目标是通过尽可能简单.高效的方式让开发者可以在微信中开发具有原生 APP 体验的服务.框架提供了自己的视图层描述语言 WXML 和 WXSS,以及基于JavaScript的逻辑层 ...
逻辑回归阈值_逻辑回归算法
(一)逻辑回归原理 1.整体概括逻辑回归假设数据服从伯努利分布(0-1分布),通过极大似然函数的方法,运用梯度下降法来求解参数,来达到将数据二分类的目的. 2.灵感过程(来自B站UP主:文小刀是也) ...
第一章 c语言概述程序逻辑,第一章程序逻辑与C语言概述
1.第一章程序逻辑与C语言概述,1.1 C语言概述1.2 程序和程序逻辑,第一章程序逻辑与C语言概述,1.1 C语言概述,[学习目标]了解C语言工作机制掌握C语言程序的的基本构成了解C语言程序的编 ...
linux修改卷组pe大小,在Linux如何扩增卷组、逻辑卷以及缩减逻辑卷LVM的过程
今天我们将了解怎样来扩展卷组,扩展和缩减逻辑卷.在这里,我们可以缩减或者扩展逻辑卷管理(lvm)中的分区,lvm也可称之为弹性卷文件系统. 前置需求使用lvm创建弹性磁盘存储--第一部分什么时候我们 ...
逻辑斯蒂回归逻辑回归_逻辑回归简介
逻辑斯蒂回归逻辑回归 Logistic regression is a classification algorithm, which is pretty popular in some commu ...
多变量逻辑回归python_Python实现逻辑回归(Logistic Regression in Python)
本文基于yhat上Logistic Regression in Python,作了中文翻译,并相应补充了一些内容.本文并不研究逻辑回归具体算法实现,而是使用了一些算法库,旨在帮助需要用Python来做 ...
[转载] 吴恩达机器学习逻辑回归练习题：逻辑回归及规则化（python实现）
参考链接: 了解逻辑回归 Python实现练习题背景:网易云课堂->吴恩达机器学习课程->逻辑回归练习题对于练习题的详细内容,和课程中推荐的octave编程实现,请见:吴恩达机器学习逻 ...
同步时序逻辑与异步时序逻辑
同步时序逻辑: 是指表示状态的寄存器组的值只可能在唯一确定的触发条件发生时刻改变.只能由时钟的正跳沿或负跳沿触发的状态机就是一例. always @(posedge clock) 就是一个同步时序逻辑 ...
【web实战-业务逻辑】评论点赞逻辑
前言: 介绍: 博主:网络安全领域狂热爱好者(承诺在CSDN永久无偿分享文章). 殊荣:CSDN网络安全领域优质创作者,2022年双十一业务安全保卫战-某厂第一名,某厂特邀数字业务安全研究员,edus ...

无穷无穷小的逻辑相容性小的逻辑相容性

无穷无穷小的逻辑相容性小的逻辑相容性相关推荐

最新文章

热门文章