npub1ap…rsuzc on Nostr: npub146jgw…uxt3c math proofs beyond a trivial level become like conversations where ...

npub146jgwchwtjqxmsgscwdhjug80rwlm5552jgdmjm4ex4wdpusepns3uxt3c (npub146j…xt3c) math proofs beyond a trivial level become like conversations where one tries to make sure they made all of the steps detailed enough and didn't miss anything. Outside of proof engines explicitly citing every step , a lot of proofs are slightly less formal and there is a chance for making a mistake with a step, especially if lumping together a few steps. Second best way to fight that is an internal conversation that tries to find problems. Best is a conversation with someone else.

Parallels rubber duck programming and pair programming.

One of my degrees is actually in math...but I don't think I could make a job of doing proofs. Less about the proving part and more about knowing where to go for next topic.