17岁中专生姜萍数学竞赛成绩可信吗?

数学竞赛已经消失很久,但是因为焦虑家长存在需求,”赢在赛跑起点“的认知偏见,以及学术象牙塔为自己存在寻求存在理由和荣誉感,等诸多因素,最近一名17岁女中专生闯入某个互联网企业举办的民间数学决赛,引发了炒作。

首先,为何搞软件的企业会举办数学竞赛?因为传统认为数学是软件基础,实际上,逻辑才是数学和软件基础,数学和编程只是实现逻辑的不同途径,条条大路通罗马,有些数学微积分奇怪符号用编程实现起来非常简单(有兴趣者可让ChatGPT帮你转换)。

作为一个软件企业,当然举办的社会性号称全球竞赛,应该是编程类,至少是算法黑客极客之类,为何举办数学呢?除了上面传统观点认知偏见以外,还有与这个企业招聘的人员可能来自于数学背景专业比较多,因为存在这样认知偏见不自知,因此存在这样人员招聘偏见。

数学竞赛与编程竞赛
抛开上述具体分析,单从数学竞赛与编程竞赛哪个更容易普及角度看,编程竞赛更容易,因为软件行业发展已经证明,程序员是不需要计算机科学学位的,其他各种专业转为计算机编程专业已成为行业内普遍现象,这个现象本身说明编程在普通人群中更容易。

当然编程要杰出,需要更高级的形式逻辑,但也不意味着需要数学,因为数学语言类似编程中各种语言一样,如Java 、Python、Rust,隔行如隔山,隔语言如隔山,更别说数学语言比编程语言更教条,当然褒义词更严谨,其实面对复杂性涌现系统,作为还原论首要语言的数学语言已经力不从心,将各种统计语言和计算机算法转为自己的数学语言,甚至数学证明也需要计算机软件的形式验证了:陶哲轩:好的数学

17岁中专生姜萍的数学成绩可信吗?
这个问题好像成为了网络讨论焦点,其实,如果我们对这个问题进行一个定性,答案就非常简单,数学竞赛的考试内容实际是验证一个人的逻辑证明过程,逻辑有上文(前提条件)、证明过程和下文(证明结果),一个人只要在这个上下文内的证明过程符合因果推理,就没有问题,当然如果上文前提假设错了,证明过程再对也错了,这就是理论和实际的区别。

理论上只要证明过程逻辑对了就没有问题,这个证明过程如何证明正确了呢?现在有计算机形式验证软件如TLA+等,让计算机对这个证明进行第一步形式验证即可,全球顶尖的数学家陶哲轩都坦诚自己用计算机验证自己的证明过程。

这样,用计算机软件形式验证就初步解决了考试内容是否正确的客观性判断问题。剩余的就交由复杂的人类再去左右吧。

最后,简单一句话:数学考试就是一个编程考试,姜萍的证明过程就是一段代码,对于外行人好像都是符号,其实这就是符号逻辑一词的来历,进入AI时代,已经出现:第一位超越国际数学奥林匹克金牌得主的人工智能,以后这样的高中竞赛由AI胜出完全没有问题,更别谈普通人了,在AI面前,大数学家与中专生都需要转向:探索创意性问题。

更多相关:https://www.jdon.com/74331.html

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/diannao/32030.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Python3简单实现与Java的Hutool库SM2的加解密互通

1、背景: 因业务需求,需要与某平台接口对接。平台是Java基于Hutool库实现的SM2加密解密,研究了下SM2的加解密算法,网上找的资料,都是说SM2【椭圆曲线】 公钥长【x,y分量 64字节】,私钥短【32字节】&#x…

华为---OSPF被动接口配置(四)

9.4 OSPF被动接口配置 9.4.1 原理概述 OSPF被动接口也称抑制接口,成为被动接口后,将不会接收和发送OSPF报文。如果要使OSPF路由信息不被某一网络中的路由器获得且使本地路由器不接收网络中其他路由器发布的路由更新信息,即已运行在OSPF协议…

FuTalk设计周刊-Vol.031

🔥AI漫谈 热点捕手 1、如何用自然语言 5 分钟构建个人知识库应用?我的 GPTs builder 尝试 开发者的想象力闸门一旦打开,迎接我们的必然是目不暇接的 AI 应用浪潮冲击。 链接https://sspai.com/post/84325 2、GPT-4 Turbo、功能融合&#x…

Android的OverlayFS原理与作用

标签: OverlayFS; Android;Overlay Filesystem; Android的OverlayFS原理与作用 概述 OverlayFS(Overlay Filesystem)是一种联合文件系统,允许将一个或多个文件系统叠加在一起,使它们表现为一个单一的文件系统。Android系统利用OverlayFS来实现动态文件系统的叠加和管…

Java延迟初始化Logger日志对象

开源项目SDK:https://github.com/mingyang66/spring-parent 个人文档:https://mingyang66.github.io/raccoon-docs/#/ 将日志Logger对象定义在静态内部类中是一种常见的做法,这样做是有它特殊的好处,示例如下: privat…

MDPI期刊汇总(AI方向)

前言 本blog统计了计算机和工程领域的期刊,常见分区包括三种,中科院分区,JCR分区,CiteScore分区,下面分别介绍这三种分区的区别: 1. 中科院分区 中科院分区是中国科学院发布的期刊评价体系,涵…

【机器学习】大模型驱动下的医疗诊断应用

摘要: 随着科技的不断发展,机器学习在医疗领域的应用日益广泛。特别是在大模型的驱动下,机器学习为医疗诊断带来了革命性的变化。本文详细探讨了机器学习在医疗诊断中的应用,包括疾病预测、图像识别、基因分析等方面,并…

Qt 技术博客:深入理解 Qt 中的 delete 和 deleteLater 与信号槽机制

在 Qt 开发中,内存管理和对象生命周期的处理是至关重要的一环。特别是在涉及信号和槽机制时,如何正确删除对象会直接影响应用程序的稳定性。本文将详细讨论在使用 Qt 的信号和槽机制时,delete 和 deleteLater 的工作原理,并给出最…

IOS Swift 从入门到精通: For 循环, While 循环, 重复循环, 退出循环, 退出多重循环, 跳过项目, 无限循环

文章目录 For 循环While 循环重复循环退出循环退出多重循环跳过项目无限循环总结 For 循环 Swift 有几种编写循环的方法,但它们的底层机制是相同的:重复运行一些代码,直到条件计算为假。 Swift 中最常见的循环是一个for循环:它将…

LCR 142.训练计划IV

1.题目要求: /*** Definition for singly-linked list.* struct ListNode {* int val;* struct ListNode *next;* };*/ int compare(const void* a,const void* b) {return (*(int*)a - *(int*)b); } struct ListNode* trainningPlan(struct ListNode* l1, struct Li…

【数据结构】第十九弹---C语言实现冒泡排序算法

✨个人主页: 熬夜学编程的小林 💗系列专栏: 【C语言详解】 【数据结构详解】【C详解】 目录 1、冒泡排序基本思想 2、代码的初步实现 3、代码的优化 4、代码的测试 5、时空复杂度分析 6、模拟实现qsort 6.1、冒泡排序函数 6.2、交换数…

针对 AI 优化数据湖仓一体:使用 MinIO 仔细了解 RisingWave

RisingWave 是现代数据湖仓一体处理层中的开源流数据库,专为性能和可扩展性而构建。RisingWave 旨在允许开发人员在流数据上运行 SQL。鉴于 SQL 是数据工程的通用语言,此功能非常重要。它具有强大的架构,包括计算节点、元节点和压缩器节点&am…

分享一个 Fail2ban 过滤规则

今天明月给大家分享个 Fail2ban 的过滤(Filter)规则,有关 Fail2ban 的文章大家可以参考【服务器全面使用 Fail2Ban 初见成效】和【使用 Fail2ban 禁止垃圾采集爬虫,保护 Nginx 服务器】等文了解,总之 Fail2ban 是 Linu…

分流井设备的监测控制和智慧运维

分流井是一种用于将雨水和污水进行分离的设施,通常设置在雨水管和污水管的汇合处。它可以根据不同的情况,将雨水和污水分别排放到不同的管道中,从而实现雨污分流的目的。 以下是一些常见的分流井类型和工作原理: 1、智能分流井&a…

java-SpringBoot执行定时任务-任务调度-@EnableScheduling和@Scheduled

文章目录 java借助springBoot框架,执行定时任务0. 项目地址1. 需求分析2、新建springBoot项目3. 编写定时任务3.1 开启调度任务3.2 编写定时任务方法 java借助springBoot框架,执行定时任务 0. 项目地址 https://github.com/OrangeHza/JavaDemo 1. 需求…

Elasticsearch bool 查询:组合多个查询(must, should, must_not)

在Elasticsearch中,bool查询是一种强大的工具,它允许我们将多个查询子句组合在一起,以实现复杂的搜索逻辑。通过使用must、should和must_not等子句,我们可以构建出精确且灵活的查询语句,以满足各种搜索需求。本文将详细…

Redis小对象压缩

小对象压缩存储 如果Redis内部管理的集合数据结构很小,他会使用紧凑存储形式压缩存储。 Redis的ziplist是一个紧凑的字节数组结构,如下图所示,每个元素之间都是紧挨着的。 如果他存储的是hash结构,那么key和value会作为两个ent…

竞赛 机器视觉的试卷批改系统 - opencv python 视觉识别

文章目录 0 简介1 项目背景2 项目目的3 系统设计3.1 目标对象3.2 系统架构3.3 软件设计方案 4 图像预处理4.1 灰度二值化4.2 形态学处理4.3 算式提取4.4 倾斜校正4.5 字符分割 5 字符识别5.1 支持向量机原理5.2 基于SVM的字符识别5.3 SVM算法实现 6 算法测试7 系统实现8 最后 0…

supervisor进程管理

supervisor简介 一个python开发的进程管理工具 支持Linux、Unix系统,不支持Windows系统 能将一个普通的命令行进程变为后台deamon,并监控进程状态,异常退出时能自动重启。 supervisor安装 先安装seuptools模块(包管理工具&…

Maven添加reactor依赖失败

目录 情况说明 解决过程 情况说明 起初是自己在学spring boot3&#xff0c;结果到了reactor这一部分的时候&#xff0c;在项目的pom.xml文件中添加下列依赖报错&#xff1a; <dependencyManagement><dependencies><dependency><groupId>io.projectr…