Follow

about me, college, maths 

early in college i read microsoft.com/en-us/research/w and was rllllly convinced

so for the next like two years i wrote all my proofs using a structured proof format based on that described in that paper and then just linearized them when i needed to submit them for a class or show them to people.

· · Web · 0 · 0 · 2

about me, college, maths 

@KitRedgrave quick summary is: proofs structured textually as trees, with essentially the children of each statement providing a lower-level proof of the statement.

about me, college, maths 

@srn indeed. i find i'm wanting more explanation/justification for where the steps are coming from in this first example (proof that sqrt(2) is irrational)

about me, college, maths 

@srn this notation system seems like it leaves plenty of room for that, because you can drill down into every step and get a proof of that step

about me, college, maths 

@KitRedgrave note that that first example is supposed to be just the highest level of the proof.

about me, college, maths 

@srn yeah. i can really get into this, because all of the justification is here and it actually flows. a lot of proofs have me not convinced because i don't see the logic behind why they choose those steps in particular

Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!