math, philosophy of math, computer science:
A lot of mathematics is about proving theorems, but when a statement cannot be proven true or false we have the opportunity to better understand mathematics. I feel that we, unfortunately, do not take advantage of those opportunities. As our understanding of mathematics grows, we may ask more questions that land on the boundary of what we can know. I expect that it will only become more important to grapple with logical independence.
the difficulty of proofs of the difficulty of problems
PNP here! more:
counting depth first search run-times,
topology is connectedness and locality Do topologists really run around daycare facilities slapping the hands of children for poking holes in silly putty or rolling together more than one piece of play dough?
for permutaion's sake
dovetailing diagonalization a hint on diagnolization
Black Swan the Bayesian
block chain for enforcing abstractions limit your attack surface, lower maitenence and running costs
encapsulation protocol provide isolation as a service
computably approximatizable a better name for co-RE / co-CE
You are what you believe
small government, little justice
gentleman's four letter word
blaming the victim is fun how has the American dream come to this?
love of truth
Be yourself: cruelest of the ___ yourselfs
better than me
paint the wall