How do I deal with not being able to proof?
I guess you could compare that to my situation: I am able to proof but due to my indefinitely long incarceration in (((spacejail))) everyone is able to ignore my proofs.
>>8946617
read a book of proof
>>8946617
Learn Coq or Isabelle or whatever
>>8946617
Use an element argument
>>8946617
How would you deal with not being able to write novels? You read novels. It's the same deal.
Read other people proofs, read a proof and try to rewrite it yourself.
Halmos wrote an essay called "How to write Mathematics", this could help: http://www2.math.uu.se/~takis/ETC/Halmos_howToWriteMath.pdf
>>8946667
Fuck off schizo freak.
>>8947298
You can find novels easy, not the same with math proofs. Not him but the thing that draws me insane is figuring out that a math proof was wrong in a textbook, sometimes I lose hours of my time because of this. I think I'm finally getting there with the easy proofs at least, but it doesn't change the fact that I lost countless hours because of typos or because the guy is too fucking lazy to write an extra sentence explaining what it did.
>>8946681
Start sucking coq
>>8946617
At what point in your math education are you in? How long have you been taking rigorous maths and what subject are you specifically struggling with?
The only way is studying proofs methods and prove anyting you read:
>Be me and having a math degree
>Not being able to proof
>Feel ashamed
>Proofs and Fundamentals, by Ethan D. Bloch
>Read over and over again chapters 1 and 2
>A transition to advanced mathematics, by Smith, Eggen & Andre
>Read chapter 1
>Do every single exercise no matter how repetitive this could be
>Read A book of set theory by Charles C. Pinter
>Understand every single argument and find what proof method was used
>Try prove an argument by other proof method if did't understand the exposed one
In two months I could read the first two books (only the mentioned chapters), and now it's been almos half year since I started Pinter's book and almost finish chapter 4. After this I can understan almost whatever I read. I've been reading calculus too, and it has been too much easier reading the Spivak that the fist time I read it. I can understand mathematical logic too, and a bit of category theory.
>>8946681
> does not know how to write a proof
> sits in front of computer, does not know how to write a proof
> profit