It looks like you're new here. If you want to get involved, click one of these buttons!
Over the past 4 years, I've learned many math from John Baez's Google Plus postings. They are exactly the type I like: visually beautiful, digestible by undergraduate math students, and has real math content (in contrast to most math popularization books.)
Am a programer. First programing job in 1995 at Wolfram Research. But after that, most programing I do is web site, which is kinda boring with lots human created complexity (as opposed to natural complexity).
Mathematica is my favorite programing language! (I know lisp well, and a little OCaml)
Never had a degree, but math has been my escape in life!
Heard about category theory since 1990s but never learned it. And since 2010s, all Haskell programers are talking about it! I need to understand monad now!
My main goal, is to understand Curry-Howard correspondence, and homotopy type theory. (and the related associated things that are perhaps necessary, such as Godel's theorems, first order logic, type theory, and category theory!)
Am surprised that lots of you guys are from diverse backgrounds outside of math and programing. e.g. I've seen environmental science, electric engineering, biology. But am also surprised, many are programers here! (for some reason, I was expecting mostly from math and physics background, as I thought category theory is a high craft.)
Am off to read the chapter 1, and will be reading and commenting other introduction pages. Nice meeting you guys. Great idea of learning together.
Thank you all! And thank you John.