Russel's Paradox typo
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 1/5
- Tiempo estimado
- Menos de una hora
- Aptitud para principiantes
- 65/100
- Tipo de issue
- Documentación
- Claridad
- Bastante claro
- Estado de actividad
- Estancado
- Stack tecnológico
- tex
- Área
- content, documentation
Línea de trabajo
Abre content/computability/computability-theory/russells-paradox.tex y lee las líneas 15–20. Comprueba si el enunciado mostrado debe usar la formulación propuesta «if and only if» y si «the set of all sets» se refiere a S. Se considera terminado cuando se corrige el error tipográfico confirmado y se aclara la descripción si es necesario.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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".
- Lenguaje dominante
- TeX
- Estrellas
- 1.4k
- Forks
- 289
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de OpenLogicProject/OpenLogic
-
Dificultad 4/5 3-5 días Aptitud para principiantes 50/100
OpenLogicProject/OpenLogic#436 ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 68/100
OpenLogicProject/OpenLogic#435 · 1 comentario ·
-
Order-type of models of PAAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
OpenLogicProject/OpenLogic#425 · 1 comentario ·
-
Improve docsAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
OpenLogicProject/OpenLogic#390 ·
-
Linting/Spellchecking workflowAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 30/100
OpenLogicProject/OpenLogic#389 · 1 comentario ·
Todos los issues de OpenLogicProject/OpenLogic
Issues similares
-
[折腾进行中]Abierto待处理 申请收录
Dificultad 1/5 Menos de una hora Aptitud para principiantes 72/100
travellings-link/travellings#4028 · 1 comentario ·
-
content
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
cosimochellini/one-piece-zero-spoiler#546 ·
Los mantenedores suelen responder en 1 día
-
documentation
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
jaystewartuk/beckon#82 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 65/100
ajeetraina/awesome-docker-sbx#286 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
OpenRA/OpenRAWebsiteV3#102 ·