Tony Morris

But I’ve realized since that while math is one lens you can view programming through, if it’s the only one you use, it’s quite limiting.

There are no facts; everything is relative to your frame of reference; rationality is a lie. Sometimes I wish the world was as easy as math.

But it’s not. That’s what makes it beautiful though. Tradeoffs ¯\_(ツ)_/¯

I can change your mind. I can help you understand mathematics.

I went deep on math in college. I understand it pretty well. Ultimately, though, as a way to view programming, I found it too limiting.

If you limit yourself to believing types are not propositions, or that programs are not proof, you're not just a little bit wrong. It's factually wrong (facts do indeed exist).

Math is a model many folks use for programming. It makes clear & obvious some aspects of it, while de-emphasizing & obscuring others.

Other models make different aspects of programming obvious, and in so doing, reveal different truths than the math model.