最近整理些東西,鬼使神差想起“數學是怎樣一步步脫離大眾”這一問題。數學一開始還是很接地氣的。像討價還價、投機倒把等日常活動都離不開一些數學計算。其實,不僅限於數學,其他領域應該也是如此,從現實起步,慢慢地發展到無法直視的哲學高度去了。 數學的很多概念並沒有人們想像地那么難以理解 ...
https: zhuanlan.zhihu.com p 翻開數學史的書籍,構造主義仿佛是二十世紀初期的一股叛逆思潮。它曾經很酷,但是卻缺乏主流數學家的關注,甚至遭到批判。本文試圖梳理一下構造主義的脈絡,始於構造主義,終於 univalence axiom i.e. homotopy type theory . . 構造主義和直覺主義 用過分簡單的話講,構造主義的核心就是 要證明一個東西存在,必須把 ...
2021-07-29 13:10 0 328 推薦指數:
最近整理些東西,鬼使神差想起“數學是怎樣一步步脫離大眾”這一問題。數學一開始還是很接地氣的。像討價還價、投機倒把等日常活動都離不開一些數學計算。其實,不僅限於數學,其他領域應該也是如此,從現實起步,慢慢地發展到無法直視的哲學高度去了。 數學的很多概念並沒有人們想像地那么難以理解 ...
在一個很老的群里聊天,群里就那么二十幾個人,都是搞這行的,在網上認識了十幾年。一人是某大 ...
目錄 數學基礎 前言 平衡三進制 一些符號 素數 定義 質因數分解 素數判定 篩法求素數 費馬小定理 二次探測定理 約數 ...
目錄 數論 前言 篩 裸篩 線篩 同余 $P4942$ $e ...
天天有人問這篇半年前的舊文,我們把這篇重發組成完整的中產三部曲 100多年前,莫泊桑寫了篇著名的《項鏈》。 故事的女主人公馬爾蒂爾原本過着朴素安穩的生活。 雖然是普通人的命,可 ...
的代碼大大增加)。 反思自己所帶的項目內容和開發現狀,我想到了一個詞---軟件的極簡主義 軟件的極 ...
很簡單的例子: 已知有五個數,求前四個數與第五個數分 別相乘后的最大當數。給出兩個算法分別如下: max1(int a,b,c,d,e) ...