math

If we can prove that a certain statement is unprovable within a specific formal system, we can use that knowledge to define a new concept that incorporates that unprovability as a fundamental property.

Building on that, we can build formal structures based on the information and differences between concepts

Director @coinbase

Github.com/jconorgrogan

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

These are fun topics to chat about at length. I had studied Godels proofs extensively years ago. I member reasoning about the difference between a statement being true vs. it being provable, and things like omega consistency.