Hacker News new | ask | show | jobs
by jckt 4208 days ago
You seem quite resourceful so you might enjoy MetaMath[1]. This is, in my opinion, literally learning mathematics from first principles. Well, it's not really learning mathematics (insofar that lot of the concepts won't be particularly novel), but it's really showing you the "first principles" of mathematics, and how you can build that up into other stuff.

If you feel like MetaMath is your kinda thing, do visit the FAQ; it's quite good (and virtually required reading if you're going to do this alone).

Admittedly, it's not going to give you the tools suited for solving problems of antenna designs, or enlighten you about electromagnetism, but if you're into just pure recreational mathematics, it's worth a look.

[1] http://us.metamath.org/index.html

1 comments

No, I don't think MetaMath is the kind of thing the OP wants. Sure, it builds mathematics from "first principles", but not in the same meaning as the OP means. When you read his question, "first principles" really mean "as a beginner".

Although I like how MetaMath brags about how easy it is to verify proof by yourself if you're not a mathematician, in the end I don't think it's useful for any people but math-oriented in the first place. It's not going to explain the meaning behind the math (it actually intends to take rid of the meaning) and certainly not solve daily problems like antenna design or machine learning. I rather see it like a collection of theorems declared true by a computer following dumbly (I mean that in a positive sense) a substitution rule and base axioms. It's another kind of beauty.