\"While looking at some proofs, it occurred to me that their structure resembled musical scores, so as an experiment I decided to see what they sounded like. Essentially, the musical notes correspond to the depth of the proof tree as the proof is constructed by the proof verifier.\"
read more | digg story
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment