Can I contribute proofs to theorems whose proof left for exercise?

[marethyu]

Hi,

I am wondering if it is alright to contribute my own proofs for theorems/propositions in the book whose proof is left as exercises?

[rzach]

I haven't really thought about how to do that -- I suppose instructors using the text wouldn't want solutions to exercises be available on the internet. But I can collect them and put them somewhere out of sight. Email them to me at rzach@ucalgary.ca?

[dhilst]

Hi! I think it would be very valuable to have the solution at last for one or two problems for each section. For people that are taking the material by their own this would be the only way to ensure that they are following the contents. It is kind of discouraging to start the book alone without any solution available at all. I understand not having all the solutions, or having only the answer with no explanation, but nothing at all is kind of depressing.

Anyway, it's an amazing material, thank so much for making it public available!

[beastaugh]

I have solutions to a fair few exercises in the parts on propositional logic, first-order logic, recursive functions, and incompleteness. Instructors are welcome to email me for copies. That being said, they're generally not clear that they are the exercises from the book, since of course the numbering wouldn't match anyway, and I tend to remove the exercises from the OLP version I distribute to students (I just give them weekly problem sets, some of which are from the OLP, although most are not).