数学模型的问题

jzkyllcjl

elim 提出“定义需要相应的模型支持”那么你你的模型是什么？是哥德尔、科恩、鲁滨逊的哪一个？ 我的自然数定义是以现实数量集合为模型。具体虚数如下：
定义2，空集这个术语，表示没有元素的想象性集合；由确定个数的确定事物为元素组成的整体，而且整体不能作为集合元素的集合，叫做现实的正常集合。其中的术语“元素个数”具有忽略现实集合各个元素性质与大小差别的意义，元素个数多少的表达符号叫做理想自然数（在暂时不联系现实数量的纯粹数学研究中可以简称为自然数）。
这个定义下的现实正常集合需要用一篮子苹果、一家人、一班学生等实例进行说明：其中自然数（即元素个数的表达符号）是古代人创造的由0、1、2、3、4、5、6、7、8、9十个符号与十进记数法表示的数。由此出发，就有了形式逻辑下，需要的背熟自然数的加法、乘法的运算法则。自然数的表达符号及其运算法则就构成了现行的自然数的初步理论。但在自然数应用时，不能忘掉它们与现实数量的关系，例如; 虽然从纯理论上可以讲：理想自然数10比9大，但还需要知道“9个大苹果比十个小苹果分量大、养分多”。使用自然数表达线段长度的毫米数时，需要知道：“线段长度具有测不准性，使用自然数表示两个线段毫米数的和时，需要进行误差分析”。笔者的这个自然数定义与余元希《初等代数研究》上册的自然数定义不同。 他的定义是使用ZFC形式语言公理体系中“空集存在公理”的定义，他的所有自然数都是用空集表达符号定义的，虽然他的定义不存在笔者的上述自然数应用中的问题，但它缺乏实际应用的意义，不能采用。

任在深

哈哈！
          抓紧兜售错误的数学思想吧！

elim

jzkyllcjl 根本不知道模型是什么．

jzkyllcjl

elim 发表于 2022-7-13 01:32
jzkyllcjl 根本不知道模型是什么．

第一，elim 知道模型后，提出“定义需要相应的模型支持”那么你你的模型是什么？是哥德尔、科恩、鲁滨逊的哪一个？
第二，我的自然数定义是以现实数量集合为模型。具体虚数如下：
定义2，空集这个术语，表示没有元素的想象性集合；由确定个数的确定事物为元素组成的整体，而且整体不能作为集合元素的集合，叫做现实的正常集合。其中的术语“元素个数”具有忽略现实集合各个元素性质与大小差别的意义，元素个数多少的表达符号叫做理想自然数（在暂时不联系现实数量的纯粹数学研究中可以简称为自然数）。
这个定义下的现实正常集合需要用一篮子苹果、一家人、一班学生等实例进行说明：其中自然数（即元素个数的表达符号）是古代人创造的由0、1、2、3、4、5、6、7、8、9十个符号与十进记数法表示的数。由此出发，就有了形式逻辑下，需要的背熟自然数的加法、乘法的运算法则。自然数的表达符号及其运算法则就构成了现行的自然数的初步理论。但在自然数应用时，不能忘掉它们与现实数量的关系，例如; 虽然从纯理论上可以讲：理想自然数10比9大，但还需要知道“9个大苹果比十个小苹果分量大、养分多”。使用自然数表达线段长度的毫米数时，需要知道：“线段长度具有测不准性，使用自然数表示两个线段毫米数的和时，需要进行误差分析”。笔者的这个自然数定义与余元希《初等代数研究》上册的自然数定义不同。 他的定义是使用ZFC形式语言公理体系中“空集存在公理”的定义，他的所有自然数都是用空集表达符号定义的，虽然他的定义不存在笔者的上述自然数应用中的问题，但它缺乏实际应用的意义，不能采用。

elim

jzkyllcjl 四则运算缺除法，90多岁了没弄对过任何数学概念．

jzkyllcjl

elim 发表于 2022-7-13 03:07
jzkyllcjl 四则运算缺除法，90多岁了没弄对过任何数学概念．

我不缺除法，但除法运算有除不尽与除尽两种，除不尽不是除尽。

elim

jzkyllcjl 发表于 2022-7-12 22:16
我不缺除法，但除法运算有除不尽与除尽两种，除不尽不是除尽。

两种除法任意选用，哈哈哈哈哈哈哈哈哈哈哈哈