This post may be a bit vague, hopefully someone can understand what I am getting at.
When you are attempting to prove something that requires, for me, a lot of different pieces, how do you structure it to keep it in your mind?
As an analogy, assume you were writing some piece of software, (I am not a software engineer so maybe I am completely off base), I imagine you would have the general idea of what the piece of software does in your mind. You divide the software up into components and maybe write some interfaces to represent how the pieces will eventually fit together. Then perhaps you start implementing the interfaces. You continue this process from top down and getting more and more detailed at each step until eventually you reach the level where you are actually writing code, and then hopefully the software is complete.
Does anyone have a similar process for mathematics? Right now I am trying to create flow charts to link the processes together.
Perhaps I am asking if anyone applies some OOP techniques to writing proofs.
[link] [comments]
from math https://ift.tt/36wsObj
Post a Comment