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).

Here is more information about the treasure hunt.

Proving Your First Theorems
(a video for theorem proving beginners)
August 16, 2014
Universes and Infinity
Dependent Sums and Simple Products of Sets (Proofs as Exercises)
Preamble Signature for Dependent Sums and Simple Products of Sets
August 9, 2014
Arithmetic on the Natural Numbers
Ordered Pairs as Sets (Proofs as Exercises)
Preamble Signature for Ordered Pairs as Sets
August 2, 2014
Quotients
Disjoint Unions (Proofs as Exercises)
Preamble Signature for Disjoint Unions
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

Earlier