Theorems are like libraries
Theorems are like libraries
Theorems are like libraries,
propositions are its functions,
lemmas are the private methods,
and algorithms are huge proofs.
You may also enjoy
On procrastination and bioinformatics
1 minute read
A groundbreaking revelation I was today years old when I realized the convoluted and “novel” data structure I’d been bashing my head against for the past few...
Object permanence, powerlessness, and the mystery of the night sky
4 minute read
A monthly malaise At the start of each month, I get these annoying bouts of malaise, perhaps due to the personal reflections which the start of each month in...
How MOSES paints with symmetries
8 minute read
Gang lab: Self assembling materials The Gang lab is a materials science lab focused on the fascinating problem of self assembling materials.
Why are vectors vertical?
1 minute read
My math professors in college would often intimidate us into writing vectors as vertical, transposing them when convenient, without explaining why. This alwa...
Leave a comment