《数学与人类文明》Mathematics & Civilizations

《数学与人类文明》数学与现代文明:

1. 哲学:希腊 Euclidean Geometry

2. 艺术 : Arabic 文艺复兴, 达芬奇, Golden Ratio

3. 工业革命:Descartes Analytic Geometry, Newton Calculus

4. 抽象: Gauss “Non-Euclidean Geometry” , Paradox in Set Theory, Godel “Incomplete Theorem” .

https://m.toutiaoimg.cn/group/6919012894134764046/?app=news_article&timestamp=1611057637&group_id=6919012894134764046&tt_from=android_share&utm_medium=toutiao_android&utm_campaign=client_share

A Programmer’s Regret: Neglecting Math at University – Adenoid Adventures

Advanced Programming needs Advanced Math: eg.

Video Game Animation: Verlet Integration

AI: Stats, Probability, Calculus, Linear Algebra

Search Engine : PageRank: Linear Algebra

Abstraction in Program “Polymorphism” : Monoid, Category, Functor, Monad

Program “Proof” : Propositions as Types, HoTT

https://awalterschulze.github.io/blog/post/neglecting-math-at-university/

Abstraction: Monoid, Category

Category