Mathematics

Welcome to our vibrant community!

Posts:

I found a proof of the Pythagorean Theorem

I was trying to prove the Pythagorean theorem on my own and stumbled into this. You take a right triangle and create three similar triangles by...

Is it possible to construct a formal logical system without any informality in its foundations?

With my current understanding, the foundations of mathematics (the ZFC axioms, for example) are usually built upon a logical system (oftentimes first-order logic). But usually...

What is your least favorite yet important Math notion?

Mine is probably Hodge structure of motivic or representation theoritic objects. I know it's essential and extremely important and stuff. But I just can't...

A question about axioms for complex numbers.

I know the traditional way to define complex numbers is to start with real numbers and then define complex numbers as ordered pairs of real...