Clever definitions! Seems like the most interesting aspect of this project is exploring this sort of "similarity" relation between proofs, rather than holes themselves. I wonder what else we can tell from a proof (or group of proofs) based on the number of holes in their proof space.... Thanks for taking the time to make the post easy to follow!
A beautiful post and fascinating project on mathematical proofs. Amazing work Saúl, a very well deserved staff pick!
Lovely writeup, Saul! Glad to see another great metamathematics project come out of WSS.
I am very grateful to you Wolfram Editorial Board, it is an honor to receive this recognition!!
-- you have earned Featured Contributor Badge Your exceptional post has been selected for our editorial column Staff Picks http://wolfr.am/StaffPicks and Your Profile is now distinguished by a Featured Contributor Badge and is displayed on the Featured Contributor Board. Thank you!
Thank you for the compliement!! I really enjoyed working on this project!!
I really appreciate your comment, Pietro. As you said, while searching for holes in the proof space, I discovered a very interesting phenomenon: the continuous transformation among the proofs for a theorem and, therefore, the equivalence among them.
