OpenLogicProject / OpenLogicProject/OpenLogic
Provide the reader with full information
Nobody has claimed this yet.
- Dominant language
- TeX
- Stars
- 1.4k
- Forks
- 288
- PR merge metrics
- No merged PRs in 30d
Description
Hi, I would kindly like to suggest providing the reader with full information of the facts/theorems/proofs etc. regardless of difficulty or notation.
For instance, the following is not really a good representation especially when in the book says that this part is the rigorous one and not the naive set theory
This specific part of the book is all about rediscovering set theory on a rigorous axiomatic way and the above is not IMHO well-suited at all for this part of the book. It could have been fine to claim something like the above in the naive part of the book.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by locating the passage shown in the linked image within the textbook's rigorous axiomatic set theory section and read the surrounding exposition. Determine which facts, theorems, or proofs are missing from the presentation; done means the affected passage provides the requested full information rather than relying on the displayed shorthand.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- tex
- Domain
- content, documentation
- Issue type
- Documentation
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100