Russel's Paradox typo
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 1/5
- Temps estimé
- Moins d'une heure
- Accessibilité débutants
- 65/100
- Type d'issue
- Documentation
- Clarté
- Plutôt claire
- Activité
- À l'abandon
- Stack technique
- tex
- Domaine
- content, documentation
Piste de recherche
Ouvrez content/computability/computability-theory/russells-paradox.tex et lisez les lignes 15–20. Vérifiez si l’énoncé affiché doit utiliser la formulation proposée « if and only if » et si « the set of all sets » fait référence à S. Le travail est terminé lorsque la faute de frappe confirmée est corrigée et que la description est clarifiée si nécessaire.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
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".
- Langage dominant
- TeX
- Étoiles
- 1.4k
- Forks
- 292
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Préparer son environnement
Ce projet ne fournit ni conteneur de développement, ni Dockerfile, ni guide de contribution : l'installation est à votre charge. Commencez par son README, et consultez notre guide de la première contribution pour les étapes générales.
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de OpenLogicProject/OpenLogic
-
Difficulté 2/5 1-3 heures Accessibilité débutants 70/100
OpenLogicProject/OpenLogic#437 ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 50/100
OpenLogicProject/OpenLogic#436 ·
-
Difficulté 3/5 1-2 jours Accessibilité débutants 68/100
OpenLogicProject/OpenLogic#435 · 1 commentaire ·
-
Order-type of models of PAOuverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100
OpenLogicProject/OpenLogic#425 · 1 commentaire ·
-
Improve docsOuverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
OpenLogicProject/OpenLogic#390 ·
Toutes les issues de OpenLogicProject/OpenLogic
Issues similaires
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 85/100
521xueweihan/HelloGitHub#4270 ·
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 82/100
IQSS/dataverse-installations#344 ·
-
[SHOWCASE]: tas.co.inOuverte2 star needs images needs review showcase
Difficulté 2/5 1-3 heures Accessibilité débutants 68/100
-
Report: &TV InternationalOuvertecheck:passed streams:remove
Difficulté 1/5 Moins d'une heure Accessibilité débutants 67/100
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 85/100