原文:談談數學里的構造主義(constructivism)、直覺主義(intuitionism)和數學基礎

https: zhuanlan.zhihu.com p 翻開數學史的書籍,構造主義仿佛是二十世紀初期的一股叛逆思潮。它曾經很酷,但是卻缺乏主流數學家的關注,甚至遭到批判。本文試圖梳理一下構造主義的脈絡,始於構造主義,終於 univalence axiom i.e. homotopy type theory . . 構造主義和直覺主義 用過分簡單的話講,構造主義的核心就是 要證明一個東西存在,必須把 ...

2021-07-29 13:10 0 328 推薦指數:

查看詳情

談談數學

最近整理些東西,鬼使神差想起“數學是怎樣一步步脫離大眾”這一問題。數學一開始還是很接地氣的。像討價還價、投機倒把等日常活動都離不開一些數學計算。其實,不僅限於數學,其他領域應該也是如此,從現實起步,慢慢地發展到無法直視的哲學高度去了。 數學的很多概念並沒有人們想像地那么難以理解 ...

Tue Apr 22 18:22:00 CST 2014 9 2003
談談數學

  在一個很老的群聊天,群就那么二十幾個人,都是搞這行的,在網上認識了十幾年。一人是某大 ...

Tue Jan 02 06:10:00 CST 2018 5 1185
數學基礎 2

目錄 數學基礎 前言 平衡三進制 一些符號 素數 定義 質因數分解 素數判定 篩法求素數 費馬小定理 二次探測定理 約數 ...

Sun Jun 20 06:03:00 CST 2021 8 50
數學基礎 1

目錄 數論 前言 篩 裸篩 線篩 同余 $P4942$ $e ...

Sun Apr 11 16:33:00 CST 2021 7 79
消費主義陷阱[轉]

天天有人問這篇半年前的舊文,我們把這篇重發組成完整的中產三部曲 100多年前,莫泊桑寫了篇著名的《項鏈》。 故事的女主人公馬爾蒂爾原本過着朴素安穩的生活。 雖然是普通人的命,可 ...

Tue Sep 01 00:38:00 CST 2020 0 506
軟件的極簡主義

的代碼大大增加)。 反思自己所帶的項目內容和開發現狀,我想到了一個詞---軟件的極簡主義 軟件的極 ...

Thu Mar 17 15:33:00 CST 2016 15 1721
6數學模型和數學建模

很簡單的例子: 已知有五個數,求前四個數與第五個數分 別相乘后的最大當數。給出兩個算法分別如下: max1(int a,b,c,d,e) ...

Fri Feb 15 09:02:00 CST 2019 0 555
 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM