# 金庸武林江湖与数学江湖

1）华山正邪二派 ： 气宗 (正) vs 剑宗 (邪)

2）虚竹 ：忘掉以前的少林功夫才能学 消遥派

3) 少林寺僧好高鹜远：还没学精本派“一阳指”，就想去换 印度鸠摩罗的功夫。

https://v.ixigua.com/e5Y62ye/

# 吴文俊 Wu WenJun

https://v.ixigua.com/efrQhx8/

# 唐. 王孝通的一元三次方程特例解

Probability * (or＋) between P(A) and P(B) whether A, B are (in-) dependent event.

https://v.ixigua.com/ej7X49B/

# 华罗庚 珍贵 教学 无理数证明

【PP视频：海量影视剧，免费大片在线看，PP视频，一起玩出精彩！】复制这条信息€85WN3€eXjitZ€后打开👉今日头条极速版👈

# 20世纪初数学界的三国混战时代，最终被他一统天下】

The Math we learnt in High school is pre-19th Century up to Newtonian Calculus of 17CE.

The birth of Modern Math since 19CE till WW2 is the “Abstract Algebra” from French Revolution Galois “Group Theory” 群论.

After WW2 till now, Mathematics faces the crisis of “Truth”: whether its Foundation is correct.

3 schools of fight on the Fondation of Mathematics:

1. Russell (Logic with Types to fix the “Russell Paradox” in Set Theory Crisis)

2. Hilbert (Axiomatization of all Mathematics)

3. Brouwer (Intuitionism) against ＂排中律＂ (Law of the Excluded Middle)

Winner: Godel “The Incomplete Theorem” (不完备定律)

However, the by-product of these 3 school fights give rise to new Math discovery in Machine Proofing (2010s):

Homotopy Type Theory (HoTT) = Logic (Proof) + Type (Intuitionist) + Topology (Homotopy).

ie. Math Proof = Computer Program

# 函数概念并不难，理解“函”字是关键——函数概念如何理解】

The unique 1 single output of a function becomes very important for subsequent development in Math & IT:
functions are composable, associative, identify function，etc (distributive,… ) => it can be treated like vector => structure of a Vector Space “Vect”

Extended to..

“Vect” is a bigger structure “Category” in which “function of functions” is a
Functor” （函子）F：F(f)

Example : F(f) = fmap (in Haskell)

fmap (+1) {2,7,6,3}

=> {3,8,7,4}

here F = fmap, f = +1

The Math branch in the study of functions is called “functional” 泛函。

IT : Functional Programming in Lisp, Haskell, Scala, ensure safety of guaranteed output by math function property. Any unexpected exception (side effects: IO, errors) is handled by a special function called “Monad” (endo-Functor).

(想看更多合你口味的内容，马上下载 今日头条)

# 张益唐 天才的野心： 《朗道-西格尔零点》猜想

Dr. Zhang YiTang (1955 -) the “Subway Sandwich” mathematician who, before 50 was still a temporary hourly worker… until 2013 at 58 proved the “70-million Twin Prime Gap“.

He becomes overnight famous worldwide, now a tenure professor.

His next ambition is the “Landau-Siegel Zero Conjecture”, a weaker form of the Millenium Problem “Riemann Conjecture”.

# Landau–Siegel zeros and zeros of the derivative of the Riemann zeta function

https://www.sciencedirect.com/science/article/pii/S0001870812001600

(想看更多合你口味的内容，马上下载 今日头条)

# 小算盘 大乾坤 Abacus

$\boxed { \displaystyle \sqrt[12] {2} = 2^{\frac {1}{12} }= 2^{{\frac {1}{3}}.{\frac {1}{2}}.{\frac {1}{2}}} = \sqrt {\sqrt {\sqrt[3]{2}}}}$

# 中国历法

Chinese calandre is both solar and lunar, unlike western (pure solar) and Muslim (pure lunar):

# 13 classic mathematics books for lifelong learners

View at Medium.com

Out of 13 must-read Popular Math books, our Singapore National Library NLB has 6 which I borrowed and read: eg. “Prime Obsession” , “What is Mathematics” , etc.

Popular math books are better than the boring textbooks (Axiom – Theorem – Proof – Exercise). They are motivational, more concrete instead of abstract, philosophical analogy with the Nature (afterall, the math ideas derived from the universe, eg. Pi, e, golden ratio, infinity, limit, …), plus the historical background in which these math ideas were first discovered, and the beauty of these inter-connected ideas such as the Euler’s Identity:

$\boxed{e^{i. \pi} + 1 = 0}$

Proof from the Book” – the name “Book” (God’s Theorem Proof Book) is coined by Paul Erdos the Hungarian ‘vagabond’ (homeless, single, no nationality) mathematician, who had proven 1000+ theorems (some co-operated with his students). He said he had peeped into God’s “Book” to discover these theorems.

My favorite Popular Math book which inspired me in 2005 to re-pick up the fearsome Abstract (aka Modern) Algebra is : “Unknown Quantity” by Prof John Derbyshire, avail at NLB.

Math before university is the “What and How“, whereas the University Math is the “Why” – after WW2 the French Bourbaki Reform in Math Education worldwide based on Set Theory, the post-war Philosophy Trend “The Structurism 结构主义” shaking the basic foundation of Math: Algebraic Structures. eg Group (群) , Ring (环) , Field (域) , Vector Space (向量空间) , Cateogy Theory (范畴论) .

The 70 years of WW1 & 2 taught the world Anarchism (无政府主义) was chaotic & disastrous to society, hence the more orderly “Structurism” Philosophy was born, influencing all Sciences: Chomsky Linguistics, Sociology, IT Structured Programming ‘Pascal’ , Anthropology 人类学, Abstract Algebraic Structure Math…

# Mathematics (Mathematikos) = “Fond of Learning”

Μαθηματικος (Mathematikos) = Mathematics = Fond of Learning

Three simple A-level to undergraduate Mathematics a MUST for Data Science and AI:

1. Linear Algebra (aka Matrix)
2. Probability (Baeysian)
3. Statistics
4. etc

Source:

eFinancialCareers: The mathematics you must learn for a job in data science and AI.
https://news.efinancialcareers.com/us-en/329159/math-for-data-science-and-machine-learning

https://www.dataquest.io/blog/math-in-data-science/

# How you pronounce German Mathematician’s Names ( and Physicists )

Germany produced many Mathematicians and Physicists who succeeded the 18 CE Newtonian England, and the 19CE Napoleonic France before WW2, after which the Americans (mostly the Jewish German immigrants) take over till now.

German names are difficult to pronounce for foreigners.

Libniz,

Euler,

Einstein,

Noether,

Gauss,

Dedekind,

Riemann,

Cantor,

etc.

For due respect, please learn to pronounce their German name correctly.

# My favorite Fermat Little Theorem with Pascal Triangle

Fermat Little Theorem: For any prime integer p, any integer m

$\boxed {m^{p} \equiv m \mod p}$

When m = 2,

$\boxed{2^{p} \equiv 2 \mod p}$

Note: 九章算数 Fermat Little Theorem (m=2)

Pascal Triangle (1653 AD France ）= (杨辉三角 1238 AD – 1298 AD)

$1 \: 1 \implies sum = 2 = 2^1 \equiv 2 \mod 1$

$1\: 2 \:1\implies sum = 4 = 2^2 \equiv 2 \mod 2 \;(\equiv 0 \mod 2)$

$1 \:3 \:3 \:1 \implies sum = 8= 2^3 \equiv 2 \mod 3$

1 4 6 4 1 => sum = 16= 2^4 (4 is non-prime)

$1 \:5 \:10\: 10\: 5\: 1 \implies sum = 32= 2^5 \equiv 2 \mod 5$

[PODCAST]

https://kpknudson.com/my-favorite-theorem/2017/9/13/episode-4-jordan-ellenberg

# Celebrates Mathematician Gottfried Wilhelm Leibniz’s 372nd Birthday

My favorite mathematician is German Leibniz, who co-invented Calculus with Newton.

Today we thank Leibniz for his elegant Calculus symbols:

$\boxed {\frac{dy}{dx}}$

$\boxed{\int_{0}^{\infty}x^{n}e^{-x}dx}$

Leibniz also invented 01 binary algebra, which he later found it was already in the 3,000-year-old Chinese “Yin-Yang” (阴阳 八卦), so impressed that he recommended to the most powerful western (French) king Louis XIV (14th) to use Chinese as the Universal Language of the world.

The rich Newton sued Leibniz for plagiarism of Calculus, until Leibniz died poor in bankruptcy, buried in a common unknown grave.

The war between Newton & Leibniz extended & lasted 100 years between UK Math Community and Continental Europe Math Community. As a result UK lost its math leadership after Newton, France (Lagrange, Fourier, Cauchy, Galois… ) followed by Germany (Felix Klein, Gauss, Hilbert, Riemann …) took over as the world center of math. After WW2 many German mathematicians (mostly Jewish eg. Noether, Gödel, Artin, …) fled to the USA which is now the Kingdom of Advanced Math.

# 韩信点兵 (中国剩余定理)

Chinese Remainder Theorem (CRT): 韩信点兵 (中国剩余定理)

# How Mathematicians Think

Hadamard estimated that :

About 90% of mathematicians think visually, 10% think formally.

Usually, they think in steps:

1. Get the right idea, often think vaguely about structural issues, leading to some kind of strategic vision;
2. Tactics to implement it;
3. Rewrite everything in formal terms to present a clean, logical story. (Gauss’s removal of ‘scaffolding’ – middle working steps)

Source: [NLB #510.922]

# Seven Fields Medalists

The 7 Fields Medalists are:

2014 – Maryam Mirzakhani (1977-2017) – 1st lady Fields medalist

2010 – Cédric Villani (1973- )

2006 – Grigori Perelman (1966- ) – 1st declined the award

1998 – Andrew Wiles (1953- ) [silver plaque] – Fermat’s Last Theorem

1990 – Edward Witten (1951- ) – Physicist won Fields medal

1982 – Alain Connes (1947- ) – Quantum Theory

1966 – Alexander Grothendieck (1928-2014) – Hermit mathematician

https://www.newscientist.com/article/2166283-7-mathematicians-you-should-have-heard-of-but-probably-havent/

# Joseph Fourier is Still Transforming Science

Key Words: 250 years anniversary

• Yesterdays: Fourier discovered Heat is a wave , Fourier Series, Fourier Transformation, Signal processing…
• Today: IT imaging JPEG compression, Wavelets, 3G/4G Telecommunications, Gravitational waves …
• Friends / bosses: Napoleon, Monge… Egypt Expedition with Napoleon Army.
• Taught at the newly established Military Engineering University “Ecole Polytechnique”.
• Scientific Research: Short period but intense.
• Before Fourier died (he wrapped himself with thick blanket in hot summer), he was reviewing another young Math genius Evariste Galois’s paper on “Group Theory”.

https://news.cnrs.fr/articles/joseph-fourier-is-still-transforming-science