Impressum
Contact Person
Dr. Brown
Bitmessage:
BM-2DA9t7SbiWNhctUpCGaozqojK4aNWwH4mm
mathgate.info respects your anonymity.
MathGate
Framework Foundation Schedule
Pseudonymous Academic Credentials Treasure Hunt
Mathgate is a website for learning logic and mathematics through formal proofs.

Total Currently Available Unclaimed Treasures: 765 mbits
Total Unclaimed Treasures Remaining in the Treasure Hunt: 6.431 bitcoins
Here is more information about the treasure hunt.

Proving Your First Theorems
(a video for theorem proving beginners)
July 19, 2014
Natural Numbers as Sets - free
Universes and Infinity (Proofs as Exercises) - paywall
Preamble Signature for Universes and Infinity - free
July 12, 2014
Zermelo's 1908 Proof of the Well-Ordering Theorem - free
Arithmetic on the Natural Numbers (Proofs as Exercises) - paywall
Preamble Signature for Arithmetic on the Natural Numbers - free
July 5, 2014
Introduction to the Zermelo-Fraenkel Set Operators III - free
Quotients (Proofs as Exercises) - paywall
Preamble Signature for Quotients - free
June 28, 2014
Epsilon Induction and Recursion - free
Basic Set Operations (Proofs as Exercises) - paywall
Preamble Signature for Basic Set Operations - free
June 21, 2014
Exactly 1 of 2 or 3 - free
Natural Numbers as Sets (Proofs as Exercises) - free
Preamble Signature for Natural Numbers as Sets - free
June 14, 2014
Introduction to the Zermelo-Fraenkel Set Operators II - free

Earlier