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.

July 26 2014: Mathgate is switching to a pay-what-you-want model. For more background: How mathgate.info has failed to give away $2500 worth of bitcoins (so far).

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

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

Earlier