I argue about the advantages of using structured proofs (à la Leslie Lamport) in Mathematics, tell my personal experience with them, and offer suggestions on how you can start writing your own structured proofs.


When mathematicians write a standard proof of some theorem, they have to decide on which level of detail they will present their argument. If they provide too little justification, readers may spend a lot of time filling the holes left or, even worse, may not understand why a specific step of the proof is correct. …

Gabriel Ferreira Silva

I am computer science PhD student at University of Brasília. I have interest in computer science and mathematics.

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store