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)

http://davidbau.com/archives/2013/02/10/conformal_map_viewer.html

local copy Complex Function plotter

〔 Drawing fractal Droste images By Roy Wiggins. At http://roy.red/fractal-droste-images-.html 〕

i learned group theory from this book, in 1997. Get it.

For coders, if you don't know math, the most important and basic of math, is group theory. (other than basic calculus) learn it to start to get into serious math.

group theory, is something you can learn the basics in 1 hour. And you can spend 5 years getting phd specialization. It is also, one of the most simple and beautiful theory, and the most important, practical, widely used.

this book i used back in 1992, and loved it.

get old edition, as newer edition of math text book don't add much. are basically scams to get you buy new.

Why Are Textbook So Expensive?

i also like Abstract Analysis, Andrew Gleason

old article The Problems of Traditional Math Notation

hit hackernews https://news.ycombinator.com/item?id=15631151

from ~2017-10-17 https://plus.google.com/+XahLee/posts/hzPVxNEWbe1

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

is Spivak's Calculus on Manifolds in public domain now? why's Wikipedia linking to pdf?

3dxm (aka 3d explore math), by my professor friends Richard Palais and Karcher Hermann, the worst software possible in the universe.

painful to use beyond comprehension

however, it is one of the best for visualizing manifold.

to see what the software can do, see

- http://virtualmathmuseum.org/Surface/gallery_m.html
- http://virtualmathmuseum.org/Surface/gallery_o.html

you can download 3dxm at http://3d-xplormath.org/index.html

sagemath. sad. broken website. missing pictures. sagemath pictures

download pages looks like 1999. http://www.sagemath.org/download.html

the damnation of the open source

https://plus.google.com/+XahLee/posts/aNMAmKVvVYF

i heard his story of going commercial. (even retweeted it last year on twitter)

i've heard of sagemath for 10 years. I thought it's the great open source math program. Even recommend to clueless newbies. Never used it though. But only started to do math again now, so i tried to download for the first time.

and, the first impression, of its website and download page, is very sad. it reminds me all the pain of the open source.

first i go to go the website. Check out the pic demo. Sadly, 80% of pictures don't show.

i went to download page, to download anyway. I was expecting one single download button as software sites are today, which it'll just download whatever version of my os. But no, i got this wtf list of mirror sites of 1999. Quite confusing, and Virus is on my mind. And, the Mac download page has a app and non-app version, with explanation about which to download. That's one complete screwup.

i haven't tried to launch it yet. But so far, it's not encouraging. At this point, it's probably a correct guess, that if you need math lightly, just goto wolframalpha. And if you use math heavily, just $300 to Mathematica.

i wish sagemath is good, i hope it is. But open source, i think it's a sad pipe dream failure.

i hope he's successful though.

Got a gift from John Baez:

GAUGE FIELDS, KNOTS AND GRAVITY by John Baez, Javier P Muniain, 1994.

excellent book. the book is really about the math of physics. More specifically, Riemannian Geometry.

the book is fast easy reading!

i think i start right at chapter 4 on differential forms.

then resolve the mysteries of stoke's theorem, exterior differential forms, cohomology, lie group, then,

in part 2 will be lots goodies for me. bundles and connection, homology. ... chern classes in chapter 4, ... and more differential geometry goodies in Part 3.

differential geometer Richard S Palais' Books and Papers http://vmm.math.uci.edu/PalaisPapers/

one of the greatest differential geometer of the century.

The Life and Mathematics of Shiing-Shen Chern Life and Math Of S SChern.pdf

you'd think you gonna see how coffee cup turns into a donut.

instead, you got a fiat “open set”. From there on, its set of sets, subset, empty set, union of set, intersection of set, complementary set, power set, super set, finer set, coarser set, and it's set all the way!

The Method of Fluxions by Issac Newton https://archive.org/stream/methodoffluxions00newt#page/n3/mode/2up

Comprehensive Introduction to Differential Geometry By Michael Splvak. Classic. Comprehensive Introduction Differential Geometry

that's 5 volumes heavy expensive book. and, is graduate level.

you wonder, why's such book named “introduction”. It's actually graduate text, at 5 thick heavy volumes. Mathematicians not specialized in differential geometry have lots to learn from it, i assume.

but, “introduction” implies, this 5 volumes book only touches the surface. But then, its got the word “comprehensive” in it?

so, the proper interpretation seems to be, that the topic of differential geometry really is deep, and tied with lots other advanced math. Therefore, even at 5 volumes, and being a comprehensive tome, is, still just a intro.

On several occasions, most prominently in Volume 2, Spivak “translates” the classical language that Gauss or Riemann would be familiar with to the abstract language that a modern differential geometer might use.

2017-10-08 Wikipedia Michael Spivak

that'd be interesting to read.

http://3d-xplormath.org/ for Mac

software for plotting math surfaces, especially algebraic surfaces. (Microsoft Windows, MacOS, Linux) https://imaginary.org/program/surfer

For some example of plots, see a friend Jean Constant's blog at https://jcdigitaljournal.wordpress.com/category/01-january-the-surfer-program/page/2/

been wanting a notation for recursion. Found it. In math, it's called iteration of a function, written as f^(°n). However, that doesn't cover reduce.

the term polytope is from mathematician Alicia Boole Stott. Alicia Boole Stott

understand the “expansion” process on polyhedron. http://VirtualMathMuseum.org/Polyhedra/Icosahedron/index.html

the term polytope is from mathematician Alicia Boole Stott. Alicia Boole Stott

Learned about gyroscopic precession. Not intuitive. Don't know how the physics works out. But this video is amazing

Visualizing Mathematics with 3D Printing. one expensive book Buy at amazon

this thing, your spin it, and it spins in reverse direction. Due to built up of instability, the rocking.

rattle back on amazon. Buy at amazon

Math: Density Plots of Trig Expressions. old. repost.

Kolam (Tamil-கோலம்) is a form of drawing that is drawn by using rice flour/chalk/chalk powder/white rock powder often using naturally/synthetically colored powders in Tamil Nadu, Karnataka, Andhra Pradhesh, Kerala and some parts of Goa, Maharashtra, Indonesia, Malaysia, Thailand and a few other Asian countries. A Kolam is a geometrical line drawing composed of curved loops, drawn around a grid pattern of dots. In South India, it is widely practised by female Hindu family members in front of their houses.[1] Kolams are regionally known by different names in India, Raangolee in Maharashtra, Aripan in Mithila , Hase and Raongoli in Kannada in Karnataka, Muggulu in Andhra Pradhesh, Golam in Kerala etc.,[2] More complex Kolams are drawn and colors are often added during holiday occasions and special events.

[2017-01-12 Kolam]

many more, see https://twitter.com/mariawirth1/status/810098967761616897

logician Raymond Smullyan is 97 now. ☹

Raymond Smullyan is famous among armature mathematicians for his many books on logic, presented as intriguing logic puzzles.

## Knights and Knaves

On a island, all inhabitants are either knights, who always tell the truth, or knaves, who always lie.

John and Bill are residents of the island.

John says: We are both knaves.

Who is what?

here's his books Raymond Smullyan books

truly amazing Euler, greatest mathematician. Here's his story told by William Dunham, 2008. Save 1 hour to watch.

the best introduction to graph theory is this one.

if you don't know the basics, get it, read it in a week, 1 hour a day. Once you start reading, you can't put it down.