HILL CLIMBING
I really encourage you to read the slides:
Vladimir Voevodsky. Univalent foundations, March 2014. Presentation at
IAS,http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2014_IAS.pdf
The mathematical references likely won't make sense but the
most important point of
I just ran across an interesting example about the difference
between testing and proving (not that I need to be convinced).
http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/course.pdf
(page 10):
On day one, our mathematician finds out using a formal computation software
that