Group Abstract Group Abstract

Message Boards Message Boards

[WSS25] Searching for holes in the proof space

Posted 26 days ago

Searching for holes in the proof space

Attachments:
POSTED BY: Saúl Bernal
8 Replies

A beautiful post and fascinating project on mathematical proofs. Amazing work Saúl, a very well deserved staff pick!

Posted 19 days ago

Thank you Tarang!! I truly appreciate your words

POSTED BY: Saúl Bernal
Posted 20 days ago

Lovely writeup, Saul! Glad to see another great metamathematics project come out of WSS.

POSTED BY: Updating Name
Posted 20 days ago

Thank you for the compliement!! I really enjoyed working on this project!!

POSTED BY: Saúl Bernal

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!

POSTED BY: Pietro Pepe
Posted 21 days ago

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.

POSTED BY: Saúl Bernal

enter image description here -- you have earned Featured Contributor Badge enter image description here 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!

POSTED BY: EDITORIAL BOARD
Posted 23 days ago

I am very grateful to you Wolfram Editorial Board, it is an honor to receive this recognition!!

POSTED BY: Saúl Bernal
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard