wowperfect

stimming with scissors

meadow (from real life) // mid20s // I'm bnuuy 🐰 and also deer 🦌 and also a few more // wow!~!! //

🩵 @choir
💜 @queeronfire

this user is a duckstimming with scissors
corruslut respect zone

email
meadow @ wowperfect dot net

the scary thing about math to me is that I am dyslexic and there is no way to know that my proofs are correct as I'm writing them and I make a lot of little mistakes that really add up. when I'm writing code I can run the program and go through my program failing over and over again and dyslexia still gets in the way but it creates bad behavior and that just doesn't happen with math.... in fact something much worse happens which is that I show my math to my peers and they find ERRORS in the math, aaaaa!!!!!!!! SCARY what if they JUDGE me!!!!!! or think I'm dumb!!!!!! lmao I've gotta get over this hangup, because of course I'm going to make mistakes, and of course people are going to find issues in my proofs.

I think the non-emotional thing that paralyzes me is that when other people find errors in my math it's ultimately okay, but it's a loooot more work to update a math proof to me than a program and I just dread the process of applying a change over an entire proof.


You must log in to comment.

in reply to @wowperfect's post:

well the good news is that professional mathematicians have this problem too and have invented theorem proving assistants / proof checkers to solve it, the bad news is that theorem proving assistants invariably require writing code in a dependently typed language, which i could never really wrap my head around