search

gblikas / set-theory-solutions-manual

Solutions for Paul Halmos' Naive Set Theory
14 stars 6 forks source link

LOOKING TO COMPLETE THE SOLUTION MANUAL #4

Open gblikas opened 2 years ago

gblikas commented 2 years ago

ℹ️ I'm looking for someone to maintain this repository for me ℹ️

If you're interested, please DM me on Twitter. Your name and solutions will be accredited. If we could get to a complete state, I'd like to move toward publishing the solutions.

⚠️ The code base is ahead of the PDF ⚠️

sritchie commented 2 years ago

Looks like I can't DM you (from @sritchie on Twitter) but I'm interested and responded to the other issue.

gblikas commented 2 years ago

From, https://github.com/gblikas/set-theory-solutions-manual/pull/3#issuecomment-1280002395 ,

I am interested! @gblikas I worked through the book in fairly extreme detail back in 2016 and wrote up every exercise (including the interstitial ones in the text) on paper... I have the scans, but never typed everything up.

What are your goals for the repository? I'd love to get everything written up, maybe even in an org-mode file that we can use to generate TeX, but also publish to the web. Are you thinking we would get the manual to the point that we could publish it as a physical version?

I'd be happy to start typing up my work as time allows, and would LOVE to work together on polishing the proofs. Let me know!

@sritchie Getting it to (physical) publication is my ultimate goal; the Armstrong book isn't great, and a solutions companion would help a lot of students out. I invited you to the repo.

gblikas commented 2 years ago

@sritchie also, feel free to post github issues with a seconds answers for review, prior for typing up.

sritchie commented 1 year ago

Will do, I’ve got a few other projects to power through but I’ll spin up on this sometime in the next month or two. Thank you!

On Mon, Oct 17, 2022, at 3:51 AM, george wrote:

@sritchie https://github.com/sritchie also, feel free to post github issues with a seconds answers for review, prior for typing up.

— Reply to this email directly, view it on GitHub https://github.com/gblikas/set-theory-solutions-manual/issues/4#issuecomment-1280593550, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAARAAZULS4LRM7LPW65D6DWDUOS7ANCNFSM6AAAAAARGKDATU. You are receiving this because you were mentioned.Message ID: @.***>