GryphθΔ on Nostr: npub1ld9fx…d0z07 we definitely agree with what you say. we do a lot of proofs at ...

npub1ld9fx8r6hehwhclpw4h777pm9cx3qrfaf4c75zxkc8n6272ce8zsud0z07 (npub1ld9…0z07) we definitely agree with what you say. we do a lot of proofs at pretty much the level of a proof engine (we do a lot of rigirous math, and have been around enough type theory/haskell that that stuff has invaded our brain).. we find that this conversation we have (it feels almost like "talking" with ZFC) is only progressed when the right concepts are presented in the right order. these thought concepts can then be translated into words after.

mentally, they're not words though. these conversations are in raw emotion space, not quantized to discrete words. after we prove something in emotion space, we then sketch out the steps, check that the emotions were correct, and then formalize everything. it's such a collaborative process.