一道数学逻辑题

谢芝灵

谢芝灵

全称量词ε＞│f（x）-A│
就是每一个正数大于│f（x）-A│
必可证得：│f（x）-A│=0

jzkyllcjl

数学理论的阐述，不能限制在形式逻辑之下。

elim

屎派邪派掌门攀比愚蠢的二人转又开始了

谢芝灵

先有ε的定义，ε为任意一个正数。

当规定|f(x)-A|＜ε时，就是|f(x)-A|≯（任何一个正数）。

得：|f(x)-A|=0。

【假如 |f(x)-A|＞0，必有 得：|f(x)-A|＞λ＞0。

与 |f(x)-A|≯（任何一个正数）矛盾。

得：|f(x)-A|=0。】

jzkyllcjl

谢芝灵： 第一，逻辑法则也是人提出的，这些法则也需要在实践中接受检验与改革。 你首先需要研究什么是实数，然后 才能讨论 是不是 可以使用全程量词。第二，形与数、直与曲 之间具有对立统一关系，圆周率可以在近似方法下用十进小数 表示；精确与近似之间 具有相互依赖的关系。

elim

人类考察的结果, 就是 jzkyllcjl 尊重狗吃屎的事实就去吃狗屎是荒谬的, 反数学的, jzkyllcjl 必须被抛弃, 果然被抛弃.

谢芝灵

任意正数 ＞│f（x）-A│
等价：│f（x）-A│≯任意正数
得：│f（x）-A│=0
得：f（x）＝A。
得：lim f（x）＝A 无数学意义。

谢芝灵

写篇英文论文，被关键词 卡了我数小时。
模式程序总把我打回：使用了没授权的单词。
害得我好苦
总算找2个授权的术语 过了关。

jzkyllcjl

[美]M.克莱因，以“数学：确定性的丧失”为题指出：从古到现在 存在着许多不同的数学概念，存在着以公理为基础的形式逻辑主义与直觉主意、实无穷与潜无穷等许多争论。但数学是有确定性的，其中 自然数理论 是从现实世界抽象出来的，还需要根据它与现实的关系去 应用它。