Monthly Archive for May, 2006

Music Is Math

Zelnorm Without Prescription Zelnorm No Prescription Coumadin For Sale Cialis Soft Tabs Generic Buy Zelnorm Online VPXL Without Prescription Aricept No Prescription Flomax For Sale Aricept Generic Buy Phentrimine Online

Metamath Music Page

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. A fast higher note is produced for each step in the construction of a formula. A sustained lower note is produced when the formula is matched to a previous theorem or earlier proof step, to result in a new proof step (which corresponds to a proof step displayed on the Metamath Proof Explorer page that shows the theorem’s proof).

13-Inch MacBook Benchmarks 1

studiotoolz

Beatles lose Apple court battle

“Usually the wacky people have the breakthrough. The smart people don’t.”

Read This.