現代數學的出發點(修改稿)
現代數學的出發點(修改稿)
記得,在六十多年前,袁萌在南京市第十中學高三讀書,經常去位於南京市成賢街的南京圖書館閱覽圖書,其中包括皮亞諾算術。
回到現在,百度一下“皮亞諾算術”,科普中國根本不提“算術的非標準模型”,如同六十多年 前前的狀態,令人感到悲涼。
時代在前進,我們不能止步不前,固步自封。
簡而言之,公理化的皮亞諾算術(公理系統)是整個現代數學的出發點。沒有有形式公理化,談何現代數學?
袁萌 陳啟清 元月13日
相關推薦
現代數學的出發點(修改稿)
現代數學的出發點(修改稿) 記得,在六十多年前,袁萌在南京市第十中學高三讀書,經常去位於南京市成賢街的南京圖書館閱覽圖書,其中包括皮亞諾算術。 回到現在,百度一下“皮亞諾算術”,科普中國根本不提“算術的非標準模型”,如同六十多年 前前的狀態,令人感到悲涼。 &
關於希爾伯特的元數學思想(修改稿)
關於希爾伯特的元數學思想(修改稿) 大家知道,希爾伯特倡導的形式主義與有限主義原則是當今數學基礎三大支柱理論:“證明論”、“模型論”與“遞迴論”的基本原理。 應當認為,希爾伯特是當代數學的先驅。哥德爾與塔爾斯基都是後來人。有興趣的讀者,請見本文附件
關於無窮的數學理論(修改稿)
關於無窮的數學理論(修改稿) 在遠古時代,人類文明就有了關於無窮(Infinity)的原始觀念。(注意:無窮是名詞詞Infinity,而不是形容詞infinite。科普中國完全錯了,把無窮說成了神學!) 進入二十世紀,在現代公理化數學基礎上,關於無窮的數學理論得到快速發展。 在關於無窮的數學理論大樹上
模型論與現代微積分(修改稿)
模型論與現代微積分(修改稿) 從模型論的視野裡,我們如何看待現代微積分? 2018年12月6日,我們在“(ε,δ)條件與無窮小方法之比研究”博文小中正式闡明瞭相關學術立場。 2008年,Keisle
給新一屆數學類“教指委”的一封公開信(修改稿)
西安交通大學數學與統計學院 尊敬的李繼成祕書長: 祝賀您擔任新一屆數學課程類“教指委” 祕書長。 目前,國內現行普通高校數學教學大綱不包括超實無窮小(Hyperreals)概念,對此,我們提出質疑與批評。 此事,煩請轉告“教指委”主任徐宗本教授。 順致敬意! (注:此函已於
數學文化(三)圖論
9.png cnblogs com ima 文化 .cn nbsp -1 ges 將多面體一個面扒開就是一個網了 此時公式兩邊都減去1就是網的公式 數學文化(三)圖論
數學分支(轉)
穩定性 height 分布 合數 計算幾何學 border 動態規劃 包括 idt 1數論 2代數學 3幾何學 4拓撲學 5函數論 6泛函分析 7常微分方程 8偏微分方程 9數學物理 10概率論 11組合數學
[數學建模(八)]使用MATLAB繪圖1
基本 barh 分享 com 自定義 subplot mes 1.2 img 目錄 1..二維圖 1.1 基本畫圖功能 1.2 plot參數說明 :線條類型,點類型,顏色 1.3 坐標軸定標和圖形說明 1.4 子圖 :subplot 1.5 其他類型的二維圖
[luoguP3668] [USACO17OPEN]Modern Art 2 現代藝術2(棧)
con light printf getchar mda lan pen cin std 傳送門 還是一個字——棧 然後加一大堆特判 至少我是這麽做的 我的代碼 #include <cstdio> #include
3D數學基礎(四)四元數和歐拉角
transform 推薦 中間 應該 它的 轉變 編輯器 最簡 組件 一、四元數 四元數本質上是個高階復數,可視為復數的擴展,表達式為y=a+bi+cj+dk。在說矩陣旋轉的時候提到了它,當然四元數在Unity裏面主要作用也在於此。在Unity編輯器中的Transfor
機器學習之數學基礎(一)-微積分,概率論和矩陣
系列 學習 python 機器學習 自然語言處理 圖片 clas 數學基礎 記錄 學習python快一年了,因為之前學習python全棧時,沒有記錄學習筆記想回顧發現沒有好的記錄,目前主攻python自然語言處理方面,把每天的學習記錄記錄下來,以供以後查看,和交流分享。~~
數學工具(三)scipy中的優化方法
rain return ted bounds 使用 slice turn message http 給定一個多維函數,如何求解全局最優? 文章包括: 1.全局最優的求解:暴力方法 2.全局最優的求解:fmin函數 3.凸優化 函數的曲面圖 import numpy as n
機器學習的數學基礎(叄)
1 最小二乘法(Least Square Fitting) 最小二乘法則是一種統計學習優化技術,它的目標是最小化誤差平方之和來作為目標,從而找到最優模型,這個模型可以擬合(fit)觀察資料。 迴歸學習最常用的損失函式是平方損失函式,在此情況下,迴歸問題可以用著名的最小二乘法來
機器學習的數學基礎(貳)
概率與統計(Probability and Statistics) 1 概率 1.1 條件概率(Conditional Probability) P
機器學習的數學基礎(壹)
1 範數(norm) 它常常被用來度量某個向量空間(或矩陣)中的每個向量的長度或大小。一般我們用範數來衡量兩個向量之間的距離,也就是相似度。 1.1常見的範數 0-範數 有多少個非零的數 1-範數(曼哈頓距離) |
機器學習之數學系列(二)邏輯迴歸反向傳播數學推導
一、簡介 在深度學習領域,我們往往採用梯度下降(或上升)法來優化訓練函式模型,梯度下降法尤其是在優化凸函式上表現極佳。模型優化涉及到反向傳播過程,反向傳播過程需要先推匯出梯度計算公式然後利用機器進行代數運算。這篇博文的工作是詳細推導了邏輯迴歸反向傳播梯度計算公式(什麼是梯度?簡單來講
機器學習之數學系列(一)矩陣與矩陣乘法
1.對於矩陣的認識應當把它看成是多個向量的排列表或把矩陣看成行向量,該行向量中的每個元素都是一個列向量,即矩陣是複合行向量。如下圖所示。 2.對於下面這個矩陣的乘法有兩種看法: (1)矩陣將向量[b1,b2,b3].T進行了運動變換,這種變換可以是同空間內變換,也可以是不同空間間的變換;
遊戲開發中必備的數學知識(三)——矩陣的基本變換
基本變換 使用Direct3D程式設計的時候,我們使用4×4的矩陣表示一個變換。其思路如下: 設定一個4×4的矩陣中元素的值,使其表示某一個具體變換,然後我們將某一點的座標或者某向量的分量放入一個1×4的行向量v中,乘積vX就是成為了一個新的經過變換的向量v。 此時,我們之所以使用4×4
數學系列 (一)定積分
解決疑問 定積分是幹啥的? 積分是用來做什麼的,可以用還是可以吃 積分誰發明的? 莫非還是大家熟悉的牛頓 瞭解積分? 知道了積分兌自己有何幫助 應用積分? 等其它 日後是否可以把積分用到實際生活中去 定義 百科定義,同教材上一致 這個公
Leetcode題解之數學問題(4)羅馬數字轉整數
題目:https://leetcode-cn.com/explore/interview/card/top-interview-questions-easy/25/math/63/ 題目描述: 羅馬數字包含以下七種字元: I, V, X, L,C,D&