微积分发明的前夜

# Author Archives: tomcircle

# 中国古代数学的三个高峰和落没

三高峰时期：

1. 秦汉：张苍&耿寿昌 编 《九章算术》, 3AD 东汉 刘徽 (注解)

2. 4AD 南北朝：祖冲之父子 圆周率π

3. 13-16世纪 元/明朝：珠算盘

**落没**：

只是Applied 应用, 没有 希腊Deductive Theory 理论。

# 量子纠缠科普

# Ideal in Ring

** Historical Background**:

**Ideal (理想)** was a by-product by mathematicians in the 350-year proof of the 17CE Fermat’s Last Theorem, wherein they found a violation of the existing “Fundemental Law of Arithmetic” (Unique Prime Factorization) . Since it is a Law, there must be an alternative * ideal* number to satisfy it, hence the birth of the “Ideal”.

Read here: the raison d’être of Ideal : **What is an Ideal ?**

**Note**:

Why Integer (Z) is called “Ring” (Dedekind coined it using the German word “Der Ring”) ? because

{1, 2, … , 11, 12 = 0} is clock number “Z/12Z” like a Ring-shaped Clock 🕜

** Application**:

The ancient “Chinese Remainder Theorem” (aka 韩信点兵 ) since 200 BCE is explained by 19CE Ideal Theory.

[**Solve**] : “The Problem of 6 Professors”

Ideal= “Whateverinsidemultipliesoutside, still comes backinside.”

…

**Ring Examples:**

- Integers Z
- Polynomial with coefficients in Real number , or Complex number, or
**Matrix**(yes!) - Infinite Ring
- Finite Ring (Z/nZ )
- Z/pZ = Field (p is prime)

**Reference**:

33 short videos on the scariest Math subject in universities (France, USA, China, Singapore,… ) “Abstract Algebra” made simple by this charming lecturer.

# Why did the trade war break out between China and USA?How similar is it with the Opium War?

The current USA-CHINA Trade War :

- Same as the UK – CHINA Opium War
- Reason : Trade Imbalance
- UK used Opium export to force on China
- USA Trump uses Tarriff on Chinese imports to America

# What is Harmony OS? Huawei’s “Android rival” explained!

https://www.androidauthority.com/huawei-harmony-os-1030848/

1. Harmony OS : Micro-Kernel for ‘1+8+N’ IoT devices

2. ARK Compiler for Android code compatibility (Java, C/C++, Kotlin, JS), yet 60% faster

3. AppGallery : confirmed ‘Yes’ for Facebook, WhatsApp, Insragram. Next ? will be Google Mobile Services (YouTube, Gmail, Google Map, Google Playstore )

4. HMS (Huawei Mobile Services) : $1 billion Apps development fund by Huawei

# Learn C++11 in one hour

# Kevlin Henney 2017 – Functional C++

Very good presentation of Functional C++ by the guru Kevlin Henney.

Piping (Functional Composition) in Channels Asynchronously Concurrency:

h

…

# Functional C++ for Fun and Profit

# Functional Programming in C++

# The Future of Programming is Dependent Types

Read the example in this excellent blog for explanation of **Dependent Type** (ie Type **depends** on its **Value**) :

eg.

Type ArrayOf**One **with value ‘length’ of INT 1.

Type ArrayOf**Two **with value ‘length’ of INT 2.

Type ArrayOf**Three** with value ‘length’ of INT 3.

Then compiler will know if correct (before run time error) :

ArrayOf**Three = **ArrayOf**One + **ArrayOf**Two**

or wrong if:

ArrayOf**Two **= ArrayOf**One + **ArrayOf**Three**

# How is Artificial Intelligence changing China?

# 小算盘 大乾坤 Abacus

浙江临海市 国华珠算博物管主人 木匠 雷国华 收藏算盘20年，凭个人力量，保存中国算盘发源地的文化遗产，为此散尽钱财借债，免费开放给公众参观。说到家人因支持他而受苦，感慨激动不已。

中国的算盘上面2珠 (2×5)，下面5珠(5)， 共15，加1 = 16 进位。古代是16位 (Hexadecimal) 制， 半斤 八两 (= 1/2 斤 x 16 两 = 8 两)。

日本改良成10位制: 上面1珠 (1×5)，下面4珠(4)， 共9，加1 = 10 进位。

明朝万历年间的 “平民王子”朱载堉 (1536 AD – 1610 AD) 发明现代音乐的 十二平均律 (12-tone Equal Temperament) , 用81档的大算盘算出：先开立方根，后开平方根 2 次

# Dedekind Cut : “Prove 0.9999… = 1”

**Key Notes**:

- Rational Numbers Q eg. 1/2, … Complete but non Continuous.
- Irrational numbers eg.
- Real number is Complete and Continuous
- Dedekind Cut

The Proof of “0.999… = 1” by using Set Theory :

and

# Bit Coin and Block Chain

Bit Coin is only one application of Block Chain.

Ref:

https://tomcircle.wordpress.com/2018/05/10/block-chains-and-application-in-bitcoins/

# Learn NUMPY in 5 minutes – BEST Python Library!

# Machine Learning is Just Mathematics! Free Machine Learning Resources

# Imaginary Numbers

FINAL EPISODE (13) – Riemann Complex Plane : 4 dimensions but viewed in 3 dimensions

Example:

**Episode 1 – 9 : History **

**Episode 10: Complex function**

Function : 1 input mapped to 1 output.

Multi-function : 1 input mapped to (n > 1 ) outputs.

# Math for AI : Gradient Descent

**Simplest explanation by Cheh Wu**:

(4 Parts Video : auto-play after each part)

**The Math Theory** behind Gradient Descent: “Multi-Variable Calculus” invented by Augustin-Louis Cauchy (19 CE, France)

**1. Revision: Dot Product of Vectors**

**2. Directional Derivati**ve

**3. Gradient Descent (opposite = Ascent**)

**Deeplearning with Gradient Descent:**

# Eigenvalues and Eigenvectors with Python

# RIP Sir Michael Atiyah

Rest in peace, Sir Michael Atiyah. Many scientists have called Atiyah the best mathematician in Britain since Isaac Newton.

Read also our previous posts:

- Sir Michael Atiyah to reveal his awesome proof of the Riemann Hypothesis
- Interview of Michael Atiyah (aged 86!)

Source: New York Times

Michael Atiyah, a British mathematician who united mathematics and physics during the 1960s in a way not seen since the days of Isaac Newton, died on Friday. He was 89.

The Royal Society in London, of which he was president in the 1990s, confirmed the death but gave no details. Dr. Atiyah, who was retired, had been an honorary professor in the School of Mathematics at the University of Edinburgh.

Dr. Atiyah, who spent many years at Oxford and Cambridge universities, revealed an unforeseen connection between mathematics and physics through a theorem he proved in collaboration with Isadore Singer, one of the most…

View original post 53 more words

# 中国历法

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

# Introduction – Git and GitHub

Master and Branches :

Fork and Pull Request

Terminal Command Line Quick tips: drag directory path (cd .), Tab (auto complete dir)

# The amazing power of word vectors

For today’s post, I’ve drawn material not just from one paper, but from five! The subject matter is ‘word2vec’ – the work of Mikolov et al. at Google on efficient vector representations of words (and what you can do with them). The papers are:

- Efficient Estimation of Word Representations in Vector Space – Mikolov et al. 2013
- Distributed Representations of Words and Phrases and their Compositionality – Mikolov et al. 2013
- Linguistic Regularities in Continuous Space Word Representations – Mikolov et al. 2013
- word2vec Parameter Learning Explained – Rong 2014
- word2vec Explained: Deriving Mikolov et al’s Negative Sampling Word-Embedding Method – Goldberg and Levy 2014

From the first of these papers (‘Efficient estimation…’) we get a description of the *Continuous Bag-of-Words* and *Continuous Skip-gram* models for learning word vectors (we’ll talk about what a word vector is in a moment…). From the second paper we get more illustrations of the…

View original post 1,685 more words

# 凯利公式 Kelly Formular For Investment

凯利公式是啥？按这个炒股能成巴菲特？如何分配手里的钱进行最优投资

**Caveat**: Kelly assumes * p* and

*are*

**b****fixed**at each investment cycle, which may vary in real cases.

# The Hardest H3 Math Question (Combinatorics)

I think this may be one of the hardest H3 Math Questions in history. It is taken from RI H3 Prelim 2018. It seems that even in top schools like RI, there are less than 50 people taking H3 Maths in any given year. Part (d) is extremely hard to get the formula for general r. In fact during the exam it is probably wise to skip such questions or give partial answers (e.g. the formula for r=3) as it is not worth the time for 3 marks.

See also our related blog posts:

# H3 Mathematics Resource Page

H3 Mathematics is the pinnacle of the Junior College Mathematics syllabus in Singapore. It contains a glimpse of actual Math that Mathematicians do, and it requires true mathematical understanding and technique to do well. (H1/H2 math requires a lot of practice, but not true understanding. It is quite common for students to “apply the method” and get the correct answer without having any idea of what they are actually doing.)

Topics in H3 Mathematics include Functions, Sequence and Series, Combinatorics, and even Number Theory. Certain schools also include topics like Linear Algebra and Differential Equations. Certainly, the H3 Math questions have a Math Olympiad style to them.

Here are some practice questions for H3 Math (more will be added in the future), with some hints. Questions are adapted from actual H3 prelim papers.

## Functions

Q1) The function $latex f$ is such that $latex f(x+2)=af(x+1)-f(x)$, for all real $latex x$ and…

View original post 379 more words

# The Best Movies For Mathematicians

# Integral of x^x from 0 to 1

Recall: Gamma function

# What is Riemann’s Hypothesis ?

［中文］历史 History:

**Sir Atiyah Proof on 2018 September : (5 Pages PDF download here**)

https://drive.google.com/file/d/17NBICP6OcUSucrXKNWvzLmrQpfUrEKuY/view

**Bigger Lecture Notes video** (at 34 mins, inspired in Singapore)

Analytic function: preserve angle after transformation

# WiFi Password = Integral Answer

China 南京航空航天大学 Nanjing University of Aeronautics and Astronautics set the WiFi password as the answer of this integral (first 6 digits).

Can you solve it?

*(If can’t, please revise GCE “A-level” / Baccalaureate / 高考 Calculus* *微积分*)

**Answer** : Break the integral (I) into 2 parts:

I = A(x) + B(x)

**A(x) = – A(-x) => Odd function **

=> **A(x) = 0** since its area canceled out over [-2, 2]

**B(x) = B(-x) => Even function**

Let x = 2 sin t => dx = 2 cos t. dt

x = 2 = 2 sin t => sin t = 1 =>

t =π/ 2x = 0 = 2 sin t => sin t = 0 =>

t = 0

A smarter method using Analytic Geometry: A circle of radius 2 is

# Category Theory III Part 3

**3.1 Adjunction and Monad**

Tip:

L = Free,

R = Conservative (get rid of structure / forgetful)

Examples

L: C- >D

Monoid – > Free Monoid

Algebras – > Free Algebras…

R: D – > C

**Adjunction gives “Monad” **

**3.2 Monad Algebras**

Tip: Think Monad as “List” container

# [Quora] Common Core Math

Why did the approach to mathematics change with Common Core, rather than providing more structure to how it was previously taught? by Peter Kruger

# Spot The Mistake?

Solve:

Since the exponents (3+x) on both sides are equal,

=> 2 = 3

# Machine Learning is Fun! – Adam Geitgey – Medium

https://medium.com/@ageitgey/machine-learning-is-fun-80ea3ec3c471

(中文) :

https://zhuanlan.zhihu.com/p/24339995

Unsupervised learning is the future **ML** **(Machine Learning)** – of which **AI** is a branch – with the latest algorithm **Deeplearning** showing only 5% of its potential (more yet to be invented).

Singapore has recently launched an AI program to educate 10,000 students & workers. (Partnership with Microsoft and IBM, a 3-hour free lesson).

The world’s 4 AI gurus :

- (UK/Canada) Prof Geoffrey Hinton (*) , the inventor of DeepLearning, and
- his post-doctorate associate (France) Prof Yann Lecun ,
- The ex-Google & ex-Baidu AI Chief Prof Andrew NG 吴恩达,
- The AlphaGo creator Demis Hassabis

**Note**:

Andrew and Demis both studied in Singapore secondary schools (NG in Raffles Institution) before pursuing university in Stanford and Cambridge, respectively.

Note (*) : Prof Geoffrey Hinton was involved in the 80s Expert Systems where rule-based knowledge engine was the AI (2.0) . This AI failed because of fixed rules knowledge base under “**supervised learning**” from human domain experts, who each differed from another in opinions, to give an un-biased “weights” (rule probabilities from 0 to 1). Prof Hinton continued the AI research by moving from UK to Canada, where he developed the Deeplearning algorithm with **unsupervised learning** from Big Data Training feed to calculate the “Costs” (ie deviations of AI result versus actual result, using Cauchy’s Calculus eg. “Gradient Descent”, etc).

https://tomcircle.wordpress.com/2018/01/20/ai-deeplearning-machine-learnung/

# PSLE Math

**Answer (hint) : 5 + 4 × 1=9**

# Nearest Neigbour Problem – Universal Method to Sort Complex Information Found

Key Points:

- Normed Distance: Euclidean
- Expander Graph

https://www.quantamagazine.org/universal-method-to-sort-complex-information-found-20180813/

# The Universal Pattern Popping Up in Math, Physics and Biology

**Key Points**:

- Bus Waiting Time Pattern
- Biology Chicken eyes
- Physics: Random matrix / Eigenvalues / Riemann Zeta-function for Prime Numbers
- Universal Pattern: Normal Distribution Curve

# Functional Reactive Programming (FRP)

FRP is commonly used in Excel Spreadsheet : eg. C1 = Sum (A1 +B1)

Say A1=2, B1=3, then C1 = 5

If alter A1 = 4, Excel reactively C1 = 7.

**What is Functional Reactive Programming (FRP)?**

https://quickbirdstudios.com/blog/what-is-functional-reactive-programming-frp/

**Tutorial**:

# Category Theory III for Programmers (Part 1 & 2)

The most interesting “Category Theory” （范畴论) for Programmers course** III **by Dr. Bartosz Milewski , a follow-up of last year’s course II.

**Prerequisites**:

- Fundamental of Category Theory: Functor, Natural Transformation, etc. (Course II Series)
- (Nice to have) : Basic Haskell Functional Programming Language. (Quick Haskell Tutorial)

1.1: **Overview Part 1**

Category Theory (CT) = Summary ofALLMathematics

Functional Programming = Application of CT

Philosophical Background:

- Math originated 3,000 years ago in Geometry by Greek Euclid with
**Axioms**and deductive （演译）**Proof-driven****Logic**. - Geometry = Geo (Earth) + Metry (Measurement).
- Math evolved from 2-dimensional Euclidean Geometry through 17 CE French Descartes’s
**Cartesian Geometry**using the 13CE Arabic invention “**Algebra**” in**Equations**of n dimensions: , - Use of Algebra: 1) Evaluation of algebraic equations (in CT: “Functor”) ; 2) Manipulation. eg. Substitution (in CT : “
**Monad**” ), Container (in CT: “**Endo-Functor**” ), Algebraic Operations (in CT: “**Pure, Return, Binding**” ). - Lawvere Theories: unified all definitions of Monoids (from Set to CT)
**Free Monoid**= “**List**” (in Programming). Eg. Concatenation of Lists = new List (Composition, Associative Law) ; Empty List (Unit Law).- Advance of Math in 21CE comes back to Geometry in new Math branches like Algebraic Geometry, Algebraic Topology, etc.

**Note**: The only 2 * existing* human

**invented were derived from forms & shapes (images) of the mother Earth & Nature:**

*Languages*- Ancient Greek Geometry (3000 years) ;
- Ancient Chinese Pictogram Characters (象形汉字, 3000 years 商朝. 甲骨文 ) .

1.1: **Overview** **Part 2**

Keypoints: (just a ‘helicopter’ view of the whole course syllabus)

- Calculus: infinite Product, infinite Sum (co-Product), End, co-End.
- Kan-extensions
- Geometry in “Abstract” aka Topology: “Topos”
- Enriched Category : (2-category) Analogy : complex number makes Trigonometry easy; same does Enriched Category.
- Groupoid => “HTT” : Homotopic Type Theory

2.1 **String Diagrams (Part 1**)

**Composing Natural Transformations** (Vertical & Horizontal): (assumed naturality)

**2.2 Monad & Adjunction**

**Refs**:

1. Download BM’s book “Category Theory for Programmers” :

# MIT Online Free Courses

One of the BEST in the world is “Linear Algebra” by Prof Gilbert Strang

# 18个量子比特纠缠是什么？量子计算机为何如此强大？量子的纠缠态与叠加态

# 困扰了人类358年 费马大定理 Fermat’s Last Theorem

**Keywords**:

- Fermat’s Last Theorem (FLT):
- Pierre de Fermat (France 1637 AD): FLT Conjecture or Prank ?
- Euler (n= 3)
- Taniyama(谷山)-Shimura(志村)-(André) Weil Conjecture (now Theorem)

**Modular Form**= Elliptic Curve - Galois Group Symmetry
- Andrew Wiles (UK Cambridge 1994):

(Modular Form =**Elliptic****Curve**) <=>**FLT**(q.e.d.)

**Notes**:

1. Do not confuse Prof Andrew Wiles (proved FLT) with (French/American) Prof André Weil (Founder of Bourbaki School of Modern Math in POST-WW2 universities worldwide).

2. When Shimura heard that FLT was proved finally by Andrew Wiles using his Conjecture (Theorem), he was very calm, said, “I told you so”.

3. There is another “Fermat’s Little Theorem” used in computer cryptography.

4. The journey of proving FLT in 358 years by all great mathematicians worldwide had created many new math tools and Number theories (eg. “*Ideals**” in Ring Theory, etc*).

# 考上清华和中500万彩票哪个更难？李永乐老师讲解正态分布的应用（2018最新）

Key Points: Normal Distribution –

- Mean
- Standard Deviation

# Quora : How likely is it that a mathematics student can’t solve IMO problems?

How likely is it that a mathematics student can’t solve IMO problems?

Is there a fear of embarrassment in being a math Ph.D. who can’t solve problems that high-school students can? by Cornelius Goh

# Quora: IMO 1988 Question 3

**Problem A3**

A function f is defined on the positive integers by:

for all positive integers n,

Determine the number of positive integers n less than or equal to 1988 for which f(n) = n.

What is the explanation of the solution of problem 3 from IMO 1988? by Alon Amit

# 一道几乎无人会做的平面几何难题

givdn any Triangle ABC, trisect each angle A,B,C, the 6 trisecting lines (2 each at A,B,C) meet at points M, N,Q inside.

Prove: Triangle MNQ is a regular triangle ?

# 哥德巴赫猜想（2018）

Let N = 2n > 6

哥德巴赫猜想 Conjecture “1+1”: N = p1 + p2 (pj all primes)

陈景润 Chen Theorem “1+2”: N = p1+ p2.p3

# School System Video (Do not make a fish climb trees)

Singapore is being mentioned around 4:54. Very nice video. The truth is that the classroom of today is still nearly the same as the classroom of 150 years ago. There needs to be a “Educational Revolution” parallel to that of the Industrial Revolution. Many children cannot fit into the single classroom model, leading to growth in diagnosis of behavioral “problems” such as ADHD in developed nations.

Americans who are tired of “Common Core” may want to check out Singapore Math for their kids, which is highly acclaimed in the educational realm.

# Population Differential Equations and Laplace Transform

**Malthus Model**

$latex displaystyle frac{dN}{dt}=BN-DN=kN$

$latex N$: Total population

$latex B$: Birth-rate per capita

$latex D$: Death-rate per capita

$latex k=B-D$

Solution to D.E.:

$latex displaystyle boxed{N(t)=widehat{N}e^{kt}},$

where $latex widehat{N}=N(0)$.

**Logistic Equation**

$latex begin{aligned}

D&=sN

frac{dN}{dt}&=BN-sN^2

widehat{N}&=N(0)

N_infty&=B/s

end{aligned}$

**Logistic Case 1: Increasing population ($latex widehat{N}<N_infty$)**

$latex begin{aligned}

N(t)&=frac{B}{s+(frac{B}{widehat{N}}-s)e^{-Bt}}

&=frac{N_infty}{1+(frac{N_infty}{widehat{N}}-1)e^{-Bt}}

end{aligned}$

The second expression can be derived from the first: divide by $latex s$ in both the numerator and denominator.

Logistic Case 2: Decreasing population ($latex widehat{N}>N_infty$)

$latex begin{aligned}

N(t)&=frac{B}{s-(s-frac{B}{widehat{N}})e^{-Bt}}

&=frac{N_infty}{1-(1-frac{N_infty}{widehat{N}})e^{-Bt}}

end{aligned}$

Logistic Case 3: Constant population ($latex widehat{N}=N_infty$)

$latex displaystyle N(t)=N_infty$

Harvesting

Basic Harvesting Model: $latex displaystyle boxed{frac{dN}{dt}=(B-sN)N-E}.$

$latex E$: Harvest rate (Amount harvested per unit time)

Maximum harvest rate without causing extinction: $latex boxed{dfrac{B^2}{4s}}$.

$latex displaystyle boxed{beta_1,beta_2=frac{Bmpsqrt{B^2-4Es}}{2s}}.$

$latex beta_1$: Unstable equilibrium population

$latex beta_2$: Stable equilibrium population

Extinction Time: $latex displaystyle boxed{T=int_{widehat{N}}^0frac{dN}{N(B-sN)-E}}.$

Laplace transform of $latex f$

$latex displaystyle F(s)=L(f)=int_0^infty e^{-st}f(t),dt$

Tip: Use this equation when the questions…

View original post 202 more words