读者来信:关于“数学是发明还是发现?”

2024-02-10 15:20

本文主要是介绍读者来信:关于“数学是发明还是发现?”,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

发明应当是指在自然情况下不能自行产生,而经由人能动创造出来的。数学的很多理论和表述当然是人创造出来的,所以是发明。而发现的东西一般是指某种客观世界本身存在的规律,只是被人所认识到。数学规律,自然规律就是如此,所以也是发现。
可见数学既是发现也是发明。因为人有发现数学的规律,也经由人的能动创造,产生了很多世界不能自然产生,不能不经由人产生的成果。而像花,像树,石头,这些并非由人创造出来的事物,就只能称之为发现。
似乎并非所有的事物都值得去讨论“xx是发明还是发现?”例如我买的鼠标,我与之的关系既不是发现,也不是发明。那对于什么样的事物,才可以问“xx是发明还是发现?”这个问题?
首先讨论的肯定不是交换的过程,我买鼠标就是某种价值的交换过程,并没有发现和发明这层的问题。经个人感受和思索,觉得似乎发现和发明都是从无到有的,但发现似乎是由外到内的从无到有,发明是从内到外的从无到有。于此我产生的问题在于:人自己对于某件事物的“有”和“无”究竟是如何判定的?

而对于可以探讨“xx是发明还是发现?”这个问题的事物,似乎也存在一些差别。古人发明了石斧,而我们作为现代人却只能说“我们发现古人发明了石斧”,而不会说“我们发明了石斧”。但当我们作为“人类”而言,与假象的外星人对话时,可能就可以说:“我们在以前发明了石斧”。发明和发现的界限似乎也有“我”的界限存在并发挥作用。于此我产生的问题在于:人对于“自我的界限”以及“自我的身份”究竟是如何形成和变化的?这又在个体的生命和认知中发挥了什么样的本质作用?
还有对于“数学是发明还是发现?”这个问题终归是个“解释”的问题,不同个体“解释”的答案或许又跟个人的认识和思维有关系。但我想关注的是:虽然不同的个体对同一个问题可能有不同的“解释”,每个人个体却都有“解释”这种行为的能力却真实让人惊讶。机器能具有像人一样的“解释”的能力吗?人的“解释”究竟是一个从外在观察到的对问题作出解答的行为过程?还是由某种内在非常特殊的“机制”决定的过程?

自己跟商用的很多对话机器人聊天,我是有自己的问题得到部分“解释”的感受。但是很明显的是对话机器人自己只是在运行代码,它其实并不明白“解释”,而我却明白自己的解释。机器的解释像是平面中点的定位,我问哪一个,他就定位到那个点。而我自己对问题的解释却像是在具有无限可演化维度的某个空间中的有迹可循的随意移动。维度的数量无限,因为这个空间的维度似乎是自己主观划分出来的,可以无限划分。维度可演化是因为不同维度在单个个体中可以相互作用产生变化,一个个体也可以和其它个体,环境有相互作用。有迹可循是自己可感知或者其它事物可以感知或者记录自己移动的轨迹。就像我的“思路”和当下的文字。这让我感觉有点像水中的鱼,既知道自己在水中能游动,又可能不知道水到底是什么,游到底又是什么。我似乎没办法回答“解释是什么行为?”“机器的解释和人的解释是否一样?”这样的问题。但是我从某个方面其实又是可以给出解释这些问题的答案。但这种从某个方面的答案又是利用我自己“解释”的能力,这种能力是我没办法解释的。[快把自己说晕了]
我又在想是否已经有现有的理论很清晰的讨论和说明这些问题,而我自己没接触到没学习到,所以是很想不断的学习。为什么我会有解释自己疑问的欲望?这又是什么行为?只能感叹:世界上可以问的问题还真是多。[笑哭]






这篇关于读者来信:关于“数学是发明还是发现?”的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/697450

相关文章

uva 10014 Simple calculations(数学推导)

直接按照题意来推导最后的结果就行了。 开始的时候只做到了第一个推导,第二次没有继续下去。 代码: #include<stdio.h>int main(){int T, n, i;double a, aa, sum, temp, ans;scanf("%d", &T);while(T--){scanf("%d", &n);scanf("%lf", &first);scanf

uva 10025 The ? 1 ? 2 ? ... ? n = k problem(数学)

题意是    ?  1  ?  2  ?  ...  ?  n = k 式子中给k,? 处可以填 + 也可以填 - ,问最小满足条件的n。 e.g k = 12  - 1 + 2 + 3 + 4 + 5 + 6 - 7 = 12 with n = 7。 先给证明,令 S(n) = 1 + 2 + 3 + 4 + 5 + .... + n 暴搜n,搜出当 S(n) >=

uva 11044 Searching for Nessy(小学数学)

题意是给出一个n*m的格子,求出里面有多少个不重合的九宫格。 (rows / 3) * (columns / 3) K.o 代码: #include <stdio.h>int main(){int ncase;scanf("%d", &ncase);while (ncase--){int rows, columns;scanf("%d%d", &rows, &col

【生成模型系列(初级)】嵌入(Embedding)方程——自然语言处理的数学灵魂【通俗理解】

【通俗理解】嵌入(Embedding)方程——自然语言处理的数学灵魂 关键词提炼 #嵌入方程 #自然语言处理 #词向量 #机器学习 #神经网络 #向量空间模型 #Siri #Google翻译 #AlexNet 第一节:嵌入方程的类比与核心概念【尽可能通俗】 嵌入方程可以被看作是自然语言处理中的“翻译机”,它将文本中的单词或短语转换成计算机能够理解的数学形式,即向量。 正如翻译机将一种语言

数学建模笔记—— 非线性规划

数学建模笔记—— 非线性规划 非线性规划1. 模型原理1.1 非线性规划的标准型1.2 非线性规划求解的Matlab函数 2. 典型例题3. matlab代码求解3.1 例1 一个简单示例3.2 例2 选址问题1. 第一问 线性规划2. 第二问 非线性规划 非线性规划 非线性规划是一种求解目标函数或约束条件中有一个或几个非线性函数的最优化问题的方法。运筹学的一个重要分支。2

CSP-J基础之数学基础 初等数论 一篇搞懂(一)

文章目录 前言声明初等数论是什么初等数论历史1. **古代时期**2. **中世纪时期**3. **文艺复兴与近代**4. **现代时期** 整数的整除性约数什么样的整数除什么样的整数才能得到整数?条件:举例说明:一般化: 判断两个数能否被整除 因数与倍数质数与复合数使用开根号法判定质数哥德巴赫猜想最大公因数与辗转相除法计算最大公因数的常用方法:举几个例子:例子 1: 计算 12 和 18

2024年AMC10美国数学竞赛倒计时两个月:吃透1250道真题和知识点(持续)

根据通知,2024年AMC10美国数学竞赛的报名还有两周,正式比赛还有两个月就要开始了。计划参赛的孩子们要记好时间,认真备考,最后冲刺再提高成绩。 那么如何备考2024年AMC10美国数学竞赛呢?做真题,吃透真题和背后的知识点是备考AMC8、AMC10有效的方法之一。通过做真题,可以帮助孩子找到真实竞赛的感觉,而且更加贴近比赛的内容,可以通过真题查漏补缺,更有针对性的补齐知识的短板。

【微服务】Ribbon(负载均衡,服务调用)+ OpenFeign(服务发现,远程调用)【详解】

文章目录 1.Ribbon(负载均衡,服务调用)1.1问题引出1.2 Ribbon负载均衡1.3 RestTemplate整合Ribbon1.4 指定Ribbon负载均衡策略1.4.1 配置文件1.4.2 配置类1.4.3 定义Ribbon客户端配置1.4.4 自定义负载均衡策略 2.OpenFeign面向接口的服务调用(服务发现,远程调用)2.1 OpenFeign的使用2.1 .1创建

一些数学经验总结——关于将原一元二次函数增加一些限制条件后最优结果的对比(主要针对公平关切相关的建模)

1.没有分段的情况 原函数为一元二次凹函数(开口向下),如下: 因为要使得其存在正解,必须满足,那么。 上述函数的最优结果为:,。 对应的mathematica代码如下: Clear["Global`*"]f0[x_, a_, b_, c_, d_] := (a*x - b)*(d - c*x);(*(b c+a d)/(2 a c)*)Maximize[{f0[x, a, b,

2024年高教社杯数学建模国赛最后一步——结果检验-事关最终奖项

2024年国赛已经来到了最后一天,有必要去给大家讲解一下,我们不需要过多的去关注模型的结果,因为模型的结果的分值设定项最多不到20分。但是如果大家真的非常关注的话,那有必要给大家讲解一下论文结果相关的问题。很多的论文,上至国赛优秀论文下至不获奖的论文并不是所有的论文都可以进行完整的复现求解,大部分数模论文都为存在一个灰色地带。         白色地带即认为所有的代码均可运行、公开