Russel's Paradox typo
Nobody has claimed this yet.
Assessment
- Difficulty
- 1/5
- Estimated time
- Under an hour
- Newbie friendliness
- 65/100
- Issue type
- Documentation
- Clarity
- Mostly clear
- Activity status
- Stale
- Tech stack
- tex
- Domain
- content, documentation
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.
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".
- Dominant language
- TeX
- Stars
- 1.4k
- Forks
- 289
- PR merge metrics
- No merged PRs in 30d
Getting set up
This project ships no dev container, Dockerfile or contributing guide, so setting up is up to you: start from its README, and see our first-contribution guide for the general steps.
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.
More from OpenLogicProject/OpenLogic
-
Difficulty 4/5 3-5 days Newbie friendliness 50/100
OpenLogicProject/OpenLogic#436 ·
-
Difficulty 3/5 1-2 days Newbie friendliness 68/100
OpenLogicProject/OpenLogic#435 · 1 comment ·
-
Difficulty 5/5 Over a week Newbie friendliness 30/100
OpenLogicProject/OpenLogic#425 · 1 comment ·
-
Improve docsOpen
Difficulty 5/5 Over a week Newbie friendliness 25/100
OpenLogicProject/OpenLogic#390 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 30/100
OpenLogicProject/OpenLogic#389 · 1 comment ·
All issues in OpenLogicProject/OpenLogic
Similar issues
-
Difficulty 1/5 Under an hour Newbie friendliness 72/100
-
Sign the pledgeOpen
Difficulty 1/5 Under an hour Newbie friendliness 85/100
input-output-hk/devx-updates#168 ·
Maintainers usually reply within 1 day
-
content good first issue hacktoberfest
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
vieanderes/understory#19 ·
-
[good first issue, hacktoberfest] 🍵 Add new Learner Mistake 197 (good-first-issue)Possibly taken A pull request linked to this issue is open or already merged. Opencommunity first-timers-only good first issue hacktoberfest help wanted low hanging fruit up-for-grabs
Difficulty 1/5 Under an hour Newbie friendliness 82/100
lingdojo/kana-dojo#31790 · 1 comment · 5 reactions ·
Maintainers usually reply within 1 day
-
resource-submission validation-passed
Difficulty 1/5 Under an hour Newbie friendliness 82/100
hesreallyhim/awesome-claude-code#3096 · 1 comment ·
Maintainers usually reply within 1 day