OpenLogicProject / OpenLogicProject/OpenLogic
Russel's Paradox typo
Open
Beginner friendly
Nobody has claimed this yet.
- Dominant language
- TeX
- Stars
- 1.4k
- Forks
- 288
- PR merge metrics
- No merged PRs in 30d
Description
I think this should say "then $S \in S$ if and only if $S \notin S$".
Also: Is the "the set of all sets" trying to refer to S? I would have expected S to be described as "the set of all sets that do not contain themself".
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
Open content/computability/computability-theory/russells-paradox.tex and read lines 15–20. Check whether the displayed statement should use the proposed “if and only if” wording and whether “the set of all sets” refers to S. Done means correcting the confirmed typo and clarifying the description if needed.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- tex
- Domain
- content, documentation
- Issue type
- Documentation
- Difficulty
- 1/5
- Estimated time
- Under an hour
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 65/100