math

One of my predictions is that pure mathematics is going to realize that it needs to be tightly bound to information theory (specifically defining things by what can't be know)

Director @coinbase

Github.com/jconorgrogan

 math experiments/musings or crypto/base and the absurdity of our industry

Longer diatribe:

- If information is fundamentally defined by what is not known, then it seems logical that our basic rules of reasoning and inference should also be grounded in this distinction between what is known and what is not known.

-In traditional logic, the basic rules of inference (like modus ponens or modus tollens) are typically defined in terms of the truth values of propositions. A valid inference is one that preserves truth - if the premises are true, then the conclusion must also be true.

And I feel like from this perspective it more intuitively explains Gödel!