New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Part on "Proof Methods" #60

Closed
rzach opened this Issue Oct 17, 2015 · 8 comments

Comments

Projects
None yet
2 participants
@rzach
Member

rzach commented Oct 17, 2015

We need a part that covers methods of proof, including inductive definitions and inductive proofs.

@rzach

This comment has been minimized.

Show comment
Hide comment
@rzach

rzach Oct 17, 2015

Member

In progress: see "methods" branch.

Member

rzach commented Oct 17, 2015

In progress: see "methods" branch.

@rzach

This comment has been minimized.

Show comment
Hide comment
@rzach

rzach May 16, 2017

Member

One issue: https://github.com/OpenLogicProject/OpenLogic/blob/master/content/sets-functions-relations/sets/proofs-about-sets.tex is a very short intro on how to prove things about sets. A whole chapter on proving things about sets supercedes this. Take it out? Make it shorter with a reference to the chapter? Leave it in (but don't include it in Sets, Logic, Computation)?

Member

rzach commented May 16, 2017

One issue: https://github.com/OpenLogicProject/OpenLogic/blob/master/content/sets-functions-relations/sets/proofs-about-sets.tex is a very short intro on how to prove things about sets. A whole chapter on proving things about sets supercedes this. Take it out? Make it shorter with a reference to the chapter? Leave it in (but don't include it in Sets, Logic, Computation)?

@rzach

This comment has been minimized.

Show comment
Hide comment
@rzach

rzach May 18, 2017

Member

Started a branch proofs, see bb92fa3

Member

rzach commented May 18, 2017

Started a branch proofs, see bb92fa3

@rzach

This comment has been minimized.

Show comment
Hide comment
@rzach

rzach May 19, 2017

Member

Needs: proving from existence claims, indirect proof, and what to leave out when writing it down, what to interpolate when reading a proof. Also, exercises. And deciding what to do with the one section in SFR/sets that deals with proofs about sets.

Member

rzach commented May 19, 2017

Needs: proving from existence claims, indirect proof, and what to leave out when writing it down, what to interpolate when reading a proof. Also, exercises. And deciding what to do with the one section in SFR/sets that deals with proofs about sets.

@nicolewyatt

This comment has been minimized.

Show comment
Hide comment
@nicolewyatt

nicolewyatt May 23, 2017

Contributor

Would it be possible to remove https://github.com/OpenLogicProject/OpenLogic/blob/master/content/sets-functions-relations/sets/proofs-about-sets.tex from the sets-functions-relations default once the chapter on proving things about sets is complete, but maybe keep it somewhere as an option, for people who don't want the whole chapter on proofs?

Contributor

nicolewyatt commented May 23, 2017

Would it be possible to remove https://github.com/OpenLogicProject/OpenLogic/blob/master/content/sets-functions-relations/sets/proofs-about-sets.tex from the sets-functions-relations default once the chapter on proving things about sets is complete, but maybe keep it somewhere as an option, for people who don't want the whole chapter on proofs?

@rzach

This comment has been minimized.

Show comment
Hide comment
@rzach

rzach May 23, 2017

Member

Yes, re: "deciding what to do with the one section in SFR/sets that deals with proofs about sets."

  1. We leave the section in the main text but remove it from SLC as is.
  2. We shorten it and keep it as an example in the main text, including in SLC.
  3. We move it to the methods/proofs chapter as a third example.
Member

rzach commented May 23, 2017

Yes, re: "deciding what to do with the one section in SFR/sets that deals with proofs about sets."

  1. We leave the section in the main text but remove it from SLC as is.
  2. We shorten it and keep it as an example in the main text, including in SLC.
  3. We move it to the methods/proofs chapter as a third example.
@rzach

This comment has been minimized.

Show comment
Hide comment
@rzach

rzach Jun 10, 2017

Member

Ok, this is now reasonably complete:
http://people.ucalgary.ca/~rzach/static/open-logic/branches/proofs/open-logic-complete.pdf#chapter.29
Do we need (more) examples? Exercises?
And, what do we do about the proofs-about-sets section?

Member

rzach commented Jun 10, 2017

Ok, this is now reasonably complete:
http://people.ucalgary.ca/~rzach/static/open-logic/branches/proofs/open-logic-complete.pdf#chapter.29
Do we need (more) examples? Exercises?
And, what do we do about the proofs-about-sets section?

@rzach

This comment has been minimized.

Show comment
Hide comment
@rzach

rzach Jul 6, 2017

Member

Done (49e50f3)

Samara proofread it. I removed the proofs-about-sets section from the chapter but left the file in place. I used the material for the reading-proofs section.

Member

rzach commented Jul 6, 2017

Done (49e50f3)

Samara proofread it. I removed the proofs-about-sets section from the chapter but left the file in place. I used the material for the reading-proofs section.

@rzach rzach closed this Jul 6, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment