https://twitter.com/divbyzero/status/1063441410811199488

saw this late. 0 is the most unnatural, by definition! afaik, 0 didn't come into being until thousands of years of humanity. Between 0 and ∞, they are the 1st artificial number! ☺

#math Robert Langlands won 2018 Abel Prize ($740k) for his work that “relate Galois groups in algebraic number theory to automorphic forms and representation theory of algebraic groups over local fields and adeles.” Langlands program

Geometry, as presented by Euclid in the Elements, is the quintessential example of the use of the synthetic method. It was the favoured method of Isaac Newton for the solution of geometric problems.

Synthetic methods were most prominent during 1800s when geometers rejected coordinate methods in establishing the foundations of projective geometry and non-Euclidean geometries. For example the geometer Jakob Steiner (1796 – 1863) hated analytic geometry, and always gave preference to synthetic methods.

Karl von Staudt showed that algebraic axioms, such as commutativity and associativity of addition and multiplication, were in fact consequences of incidence of lines in geometric configurations. David Hilbert showed[8] that the Desargues configuration played a special role. Further work was done by Ruth Moufang and her students. The concepts have been one of the motivators of incidence geometry.

Tarski's axioms Tarski's axioms that turns synthetic #geometry to its actual nature, formal logic

#math dot product https://en.wikipedia.org/wiki/Dot_product a magic operation that formalize vector space with angle n length: inner product space

- A:=(a1,a2)
- B:=(b1,b2)
- A.B:=a1*b1+b2*b2

the magic is this: a1*b1+b2*b2 “happens to” == √(a1^2+a2^2)*√(b1^2+b2^2)*cos[θ] by trig

See also: Free Math Textbooks

so, can anyone explain what's multilinear algebra? #math differential #geometry

last year (2017) i spend few hours per day reading math. gonna start to do that again.

here's several Free Math Textbooks i've verified for quality Free Math Textbooks if you not familiar, refresh your calculus, then linear algebra. They are the most fundamental

In mathematical analysis, the smoothness of a function is a property measured by the number of derivatives it has that are continuous. A smooth function is a function that has derivatives of all orders everywhere in its domain.

In mathematics, a continuous function is a function for which sufficiently small changes in the input result in arbitrarily small changes in the output. A continuous function with a continuous inverse function is called a homeomorphism.

measure theory. basically, a modern version of the concept of length, area, volume Measure (mathematics)

the writing style of #math since 1990s, even its body, is about make it logical statements from set theory

it's all great, until you learned, there are a few math foundations, and different logic systems, and logic used in most traditional math is so bad that it cannot be computerized. thus Homotopy Type Theory only began in ~2010

just read john baez's fascinating article on Lebesgue's Universal Covering Problem https://johncarlosbaez.wordpress.com/2015/02/03/lebesgues-universal-covering-problem-part-2/

found this math book Alex's Adventures in Numberland by Alex Bellos Buy at amazon year 2011. good reviews

https://news.ycombinator.com/item?id=18397804

i think that article hit hackernews for the 3rd times in past decade+.

i haven't done any math in 2018. sad. but i hope to start again. and in next 2 months, create js code lib plotting plane curves. in 2017, was spending like 4 hours a day reading math. differential geometry and others. really missed that.

1 interesting thing about math is that, ever since 1990s, i tried to write math by programing code. always got frustrated. lots problems, between syntax, programing code, and math semantics (i.e. set theory). Turns out, this is a major prob, only in recently years there's solution. e.g. homotopy type theory.

math. in computer code, we can define functions or variable. But try to define definition of group, or even a set. you have problems. One gist of problem to illustrate is: there exist. This phrase, is a concrete example core problem of defining math (set theory) by algorithm.

when you try to say write math learning notes as computer programs, e.g. you just learned linear function. Now, try to express that concept in programing language. you start to get a sense of the probles. and this is what i mean, was what i was trying to do in 1990s.

the problem here, is a inter-mesh of so called foundation of math, logic, algorithm, and notation/syntax, as well as programing language features, such as pattern matching, logic oriented languages, etc. In 1 word, it's what automated/computer-aid proof system researh since 60s.

math is about what is. programing is how to. it's definition vs algorithm. On the surface, you'd think both are utmost precise and logic. One should easily turn entire body of math into code, or vice versa. In reality, it's proof system/math foundation research in past decades.

it's only in past decade or so, there's a glimmer of hope that math/code can be unified. e.g. look into howard curry isomorphism, homotopy type theory. (btw, if u r programer or haskell fan, lol. it's not what u think. shuddaFU. i no wanna hear what u have to say.)

it's only in past decade or so, there's a glimer of hope that math/code can be unified. e.g. look into howard curry isomorphism, homotopy type theory. (by the way, if you are programer, or haskell fan, lol, no u. it's not what you think. and your wishes are not true. STFU. i no wanna hear what u have to say.)

[Yifeng Liu wins prestigious award in mathematics By Maeve Forti. At https://news.yale.edu/2018/10/25/yifeng-liu-wins-prestigious-award-mathematics ]

his publications https://gauss.math.yale.edu/~yl2269/

Math copyediting question: is it “if and only if” or “if, and only if,” (i.e., commas or no commas?) (I know I could avoid the issue by using iff…)

2018-09-24 from mathematician Dave Richeson https://twitter.com/divbyzero/status/1044209941064617984

“if and only if” of course. That's one unit.

i used to like iff when i was student ~92. now i find that annoying, as if if typo. am with @henryseg, prefer the symmetric ⇔. But i find that i prefer it too much, that am rly going for total computerized math by logical symbols. as i learned, has lots of its own problems. ☺

See Also: John Carlos Baez's discussion https://twitter.com/johncarlosbaez/status/1043975994246291456

geometry Steiner chain

when i see a roller-coaster, i see calculus.

I rode one last week, at Santa Cruz. haven't done so for some 20 years.

i didn't want to get on a roller coaster, fearing me too old and will flop limp. but my roomate pushed me into. now, ha, a child's play. when i was young, i ride jet fighters. lol.

when 40, u felt meaning of age. 45, friends died left n right. 50, u wit the reaper not far away.

the death reaper, he's right there, do you see? well, if you are young, some things you are incapable of seeing.

the calculus of roller coaster. what if a derivative is wrong? death.

apparently, in the old days, roller coaster is height based. u chain pull seats high, and let it drop. modern, is powered. Technically, u no longer coast. you are driven into sinuousness.

“if we have a free will in the sense that our choices are not a function of the past, then, subject to certain assumptions, so must some elementary particles”

[John Conway – discovering free will (part I) By Rachel Thomas. At https://plus.maths.org/content/john-conway-discovering-free-will-part-i ]

Great Math Software: Polyhedrons and Polytopes

minor update. If you have a old Mac from 1990s to 2000s, check out that old math software page.

Great software for Tilings, Patterns, Symmetry

added a new tiling app for Mac

Wallpaper groups: Wallpaper Gallery updated.

Magic Polyhedrons (updated)

Great Software for Plane Geometry (updated)

revisiting and updating my page on list of great math software, mostly from 1990s. Many, are from hobbyists, truly great programs. Times flies. People get old. Many are not updated. Many websites gone. And many Java applets, as relics of tech progress.

It's like, right now you are hot into programing, machine learning, this or that. 10 or 20 years later, you might be something else, or puffed off. You look into the ebb and flow of each human animal life activity as cellular automata, it'd be something.

for nostalgia, here's list of obsolete math software. 1990s to ~2005. In Mac classic, Java, Flash. Old Math Software

Great software for Tilings, Patterns, Symmetry (major update)

The original concept of totally ordered set or order, still dominant today, obeys a bunch of rules:

- reflexivity: x≤x
- transitivity: x≤y and y≤z imply x≤z
- antisymmetry: if x≤y and y≤x then x=y
- trichotomy: for all x,y we either have x≤y or y≤x.
The real numbers with the usual ≤ obeys all these. Then people discovered many situations where rule 4 does not apply. If only rules 1-3 hold they called it a partially ordered set or poset. Then people discovered many situations where rule 3 does not hold either! If only rules 1-2 hold they called it a preordered set or preorder.

Category theory teaches us that preorders are the fundamental thing: see Lecture 3. But we backed our way into this concept, so it has an awkward name. Fong and Spivak try to remedy this by calling them posets, but that's gonna confuse everyone even more! If they wanted to save the day they should have made up a beautiful brand new term.

2018-03-29 by John Baez from https://forum.azimuthproject.org/discussion/comment/16083/#Comment_16083

So, am taking a online course of category theory, lead by famous mathematician and theoretical physicist John Baez.

the home page is at https://forum.azimuthproject.org/discussion/1717/welcome-to-the-applied-category-theory-course

the text book is: https://arxiv.org/abs/1803.05316

local mirror category_theory_brendan_fong_david_spivak_2018-03.pdf

some great math related JavaScript site added.

Quite amazing.

https://twitter.com/JanelleCShane/status/964945688613199872

by Janelle Shane

it's interesting, that the concept of random number, or random sequence, is actually undefined in math, because it is impossible to define mathematically.

The concept of a random sequence is essential in probability theory and statistics. The concept generally relies on the notion of a sequence of random variables and many statistical discussions begin with the words “let X1,…,Xn be independent random variables…”. Yet as D. H. Lehmer stated in 1951: “A random sequence is a vague notion… in which each term is unpredictable to the uninitiated and whose digits pass a certain number of tests traditional with statisticians”.[1]

Axiomatic probability theory deliberately avoids a definition of a random sequence.[2] Traditional probability theory does not state if a specific sequence is random, but generally proceeds to discuss the properties of random variables and stochastic sequences assuming some definition of randomness. The Bourbaki school considered the statement “let us consider a random sequence” an abuse of language.[3]

[2018-03-19 Random sequence]

follow me on my new mastodon account at https://mstdn.io/@xahlee and on reddit https://www.reddit.com/user/xah

the 3 philosophy of math of 1900s are: ① logicism. Math is pure derivation of logic. ② Hilbert's formalism. Math is just bunch of fomulaic symbols. No meaning. ③ intuitionism. Math is mind's construction.

these 3 schools are the basis of foundations of math. Each has its problems. logic became formal (i.e. symbolic) logic, which is basically formalism. They in turn, became constructivism (a variation of intuitionism), so it can run by computer.

comment at https://plus.google.com/+XahLee/posts/LZJPcj4KGRB

here's my comment to mathematician john baez:

thanks for correction.

i've always wondered what's the difference of logicism and formalism. Back in 1990s, I was introduced to them by Russell. (my top 3 fav author) Tried to read about them now and then. In 2000s, wikipedia is still not great, but in past year, i read a lot math again, and i seem to get some understanding. Is my characterization roughly correct?

i never cared about intuitionism, until now, and now i very much appreciate constructivism. As i understand, it is what mechanical manipulation can actually build.

PS few days ago i tried to read wikipedia about category theory again. Again, came away as incomprehensible abstraction. Meant to write a rant about it… but here's a gist…

so i spend half hour thinking, what does abstraction mean? After all, numbers 1 2 3 ... are abstraction to begin with. But then we have equations, such as 2*x+3 = 4, which is abstraction of description of math problems. Then, abstract algebra and 1800s's math, are the 2nd stage of abstraction. e.g. abstract algebra came from the systematic formal maniputlation of equations. And likewise stuff in algebraic geometry e.g. variety, and differential geometry geometry e.g. manifold, and so on in other branches of math.

Then, what's the next level abstraction? I'm thinking, scheme and sheaf etc (which i have no idea what they are), or, the category theory stuff.

but anyway, so i was reading Wikipedia on category theory. Category theory

in other math articles, say, holomorphic function, homotopy, hilbert space, riemann sphere, homomorphism, etc i've recently read, there's a cold definition. Most of the time, i can at least understand the definition, and go on from there. (in the above examples, i also appreciate what they mean, why they are there, etc, except hilbert space.)

But the category theory, it begin with pages of pages of meta description. And am at loss. But perhaps, to appreciate it, one must first have solid understanding of various branches graduate level math?

but then, my first exposure to it is

Conceptual Mathematics: A First Introduction to Categories by F William Lawvere, Stephen Hoel Schanuel. [Buy at amazon]

in 1990s. Which claimed to be written for laymen, and useful even outside of math. I recall, after reading 1 chapter, it's going too slow, and i was feeling, “what's the point?”. I never continued after the 1 chapter. (i don't have the book now. must gave away or something long ago.)

So, in algebra, you have a field. It's a set and 2 functions f and g, of the form f(a,b) and g(a,b), and X nesting properties of f and g (called commutativity, associativity, distributive, invertible, etc).

So, what happens if we have more than 2 functions, 3 parameters each? So, such study is called universal algebra. (i haven't studied, but i wonder what happens there, in general. The mix of nesting of function, i gather, would create more complex concept similar to associativity and distributive, involving 3 functions, but we don't have a name.)

But, WHAT is the fundamental nature, that real number (a field) is this specific X nesting properties? What is it, that real numbers, which we consider as naturally occurring or developed, form this “field” with such specific nesting properties?

am thinking, there must be some logical answer.

to describe my questions further, for example, real number developed because, first we have counting, 1, 2, 3, then naturally we developed 0, then we have rational, which is ratio, e.g. 1/2 as cutting a pie, then we have negative numbers (from, say, I OWE YOU). And from rational we discovered irrational, as in pythagorean. So there, we have real numbers. And, addition came from simple counting. Multiplication can be considered as a short for repeated additions.

so, am guessing, addition, and multiplication (repeated addition) necessitates the commutativity, associativity, distributive, properties?

now, having written this out, it seems obvious and is the answer to my own question.

... because, by looking at the definition of field, i've always thought, it's somehow arbitrary and complicated. I'd be interested, in a systematic approach of studying structures, e.g. a set, with n operation of m-arity, starting with n=1 and m=1. Then, we develop, all possible ways of nesting n such functions of m arity, so that associativity, commutativity (order of arg), distributivity, are just 3 of the possible properties.

but i gather that, universal algebra may began like this, but actually has become a bit something else.

Group, is much simpler than field. But if you look at definition of group, you see that, it seems also arbitrary and complex.

But then, if you look at symmetry, such as symmetry of polyhedra, you see that all the requirement of group is necessary, and no more, no less.

but the question remain, why is the group definition seems arbitrary?

i mean, is there some point of view, so the associativity
`(a • b) • c = a • (b • c)`

requirement, dissolved as if it is natural?

again, i really like to see, a combinatorial exploration of all such possible condition of n functions of m arity. (as in universal algebra)

perhaps after seeing that, then one can judge, comparatively, whether the associativity condition is natural.

now, to be sure, function with 1 or 2 arity is actually perhaps the most natural. And 1 or 2 functions is also pretty bare. As opposed to, a structure with function that has 3 arity, or more than 2 functions.

If you just have 1 function, or just function wit 1 arity, than it may become too simple to have interesting things going on.

but again, would like to see a systematic combinatorial list of the conditions that may arise of n functions and m arity.

comment at https://plus.google.com/+XahLee/posts/6tiAGpLiQ5z

Introduction to Probability, by Charles M Grinstead, J Laurie Snell Shoup (free book)

for those of you programers doing big data or AI, understand probability is essential.

when writing 2D math plotter, major issues are

- ① adoptive sampling. Else, you get kinks at sharp turns.
- ② divide by zero or ∞. e.g. plot 1/x.
- ③ asymptotes. e.g. in hyperbola
- ④ auto canvas range. (find max/min and/or find point cluster)

- 10^52 恒河沙 (sads of eternal river)
- 10^56 阿僧祇 (asamkhya)
- 10^60 那由他 (let it go)
- 10^64 不可思議 (unfathomable)
- 10^68 無量大數 (unmeasurable big number)

Quality Free and Legal Math Textbooks https://www.patreon.com/posts/17392806

added a number theory book.

digging out my 3 Volumes classic 〈Mathematical Thought From Ancient to Modern Times〉. I haven't read for 20 years. To read about how sin exp were extended to complex plane.

Buy Mathematical Thought From Ancient to Modern Times, Volume 2 by Morris Kline

See also: Math and Geometry Books

added more logic book. Free Math Textbooks

this is incredibly beautiful, not just the novelty, but MUSICALLY!

〔 The sound of space-filling curves: examples By Herman Haverkort. At http://www.win.tue.nl/~hermanh/doku.php?id=sound_of_space-filling_curves 〕

listen to the first one, the hilbert curve (the one “without intro”)

that's the best one. The other ones are not so good.

The author, Herman Haverkort, is a mathematician specializing on algorithms.

Free Math Textbooks (added books on logic)