谈谈数学
最近整理些东西，鬼使神差想起“数学是怎样一步步脱离大众”这一问题。数学一开始还是很接地气的。像讨价还价、投机倒把等日常活动都离不开一些数学计算。其实，不仅限于数学，其他领域应该也是如此，从现实起步，慢慢地发展到无法直视的哲学高度去了。 数学的很多概念并没有人们想像地那么难以理解 ...
原文：谈谈数学里的构造主义（constructivism）、直觉主义（intuitionism）和数学基础
https: zhuanlan.zhihu.com p 翻开数学史的书籍，构造主义仿佛是二十世纪初期的一股叛逆思潮。它曾经很酷，但是却缺乏主流数学家的关注，甚至遭到批判。本文试图梳理一下构造主义的脉络，始于构造主义，终于 univalence axiom i.e. homotopy type theory . . 构造主义和直觉主义 用过分简单的话讲，构造主义的核心就是 要证明一个东西存在，必须把 ...
2021-07-29 13:10 0 328 推荐指数：
相关推荐
再谈谈数学
在一个很老的群里聊天，群里就那么二十几个人，都是搞这行的，在网上认识了十几年。一人是某大 ...
数学基础 2
目录 数学基础 前言 平衡三进制 一些符号 素数 定义 质因数分解 素数判定 筛法求素数 费马小定理 二次探测定理 约数 ...
数学基础 1
目录 数论 前言 筛 裸筛 线筛 同余 $P4942$ $e ...
消费主义陷阱[转]
天天有人问这篇半年前的旧文，我们把这篇重发组成完整的中产三部曲 100多年前，莫泊桑写了篇著名的《项链》。 故事的女主人公马尔蒂尔原本过着朴素安稳的生活。 虽然是普通人的命，可 ...
软件的极简主义
的代码大大增加）。 反思自己所带的项目内容和开发现状，我想到了一个词－－－软件的极简主义 软件的极 ...
6数学模型和数学建模
很简单的例子： 已知有五个数，求前四个数与第五个数分 别相乘后的最大当数。给出两个算法分别如下： max1(int a,b,c,d,e) ...