Thank you Tarang!! I truly appreciate your words
A beautiful post and fascinating project on mathematical proofs. Amazing work Saúl, a very well deserved staff pick!
Thank you for the compliement!! I really enjoyed working on this project!!
Lovely writeup, Saul! Glad to see another great metamathematics project come out of WSS.
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.
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!
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!
