Already have an Account?
Create an Account
I agree to WatchMyBit's
Terms of Service
Create Account
Create an Account
Sign In
Sign In
Forgot Username/Password
go
Upload
Login
Save
tarskigrothendieck
Sign-in to subscribe
T
his channel has some of the videos that were part of the mathgate.info Bitcoin Theorem Proving Treasure Hunt of 2014. They might be of interest to people who want to learn about formal mathematics or theorem proving.
13 Videos
4:11
$1.00
tarskigrothendieck
Disjunction
4:32
$1.00
tarskigrothendieck
Diaconescu's Theorem
3:43
$1.00
tarskigrothendieck
Existentials
3:50
$1.00
tarskigrothendieck
Equality
7:39
$1.00
tarskigrothendieck
Knaster Tarski Fixed Points
4:59
$1.00
tarskigrothendieck
Conjunction
3:39
$1.00
tarskigrothendieck
False
2:30
$1.00
tarskigrothendieck
Negation
3:54
$1.00
tarskigrothendieck
Basic Reasoning Example 7
3:25
$1.00
tarskigrothendieck
Implication
4:46
$1.00
tarskigrothendieck
Basic Reasoning Example 8
9:01
$1.00
tarskigrothendieck
First Proofs
9:07
$1.00
tarskigrothendieck
The Foundation