metamath.org How have I never seen this before?! So much for the rest of my week... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

marshray on May 1, 2011 | parent | context | favorite | on: Patent 5,893,120 reduced to mathematical formulae

metamath.org How have I never seen this before?! So much for the rest of my weekend.. thanks! (really)

Natsu on May 2, 2011 [–]

I'm glad you're enjoying it. It's the single strongest proof I know of for the equivalence of mathematics and software.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact