More careful object/metalanguage distinction
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 20/100
- Tipo di issue
- Documentazione
- Chiarezza
- Da chiarire
- Stato di attività
- Ferma
- Stack tecnologico
- tex
- Ambito
- documentation
Direzione di ricerca
Inizia individuando il testo di fol/syn e rivedendo le sue affermazioni sul linguaggio oggetto, sul metalinguaggio, sulle variabili e sugli esempi che coinvolgono x, y e s(x) = s(y). Discuti quanto debba essere precisa la terminologia, quindi rivedi il testo in modo che la distinzione e le interpretazioni intese siano inequivocabili.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
The current fol/syn text is less than precise about when the use of a symbol is part of the object language, and when it's a part of the metalanguage, esp. when variables are concerned, e.g., a $x$ may be a schematic metavariable for variable symbols, or it may be a sloppy way of denoting a variable symbol in the language. We should clean this up; but perhaps a discussion needs to be had about how pedantic we want to be. It can cause confusion esp when we say things like "$x$ and $y$ are different variables"; "$x = y$ can be misunderstood as $s(x) = s(y)$ etc.
- Lingua principale
- TeX
- Stelle
- 1.4k
- Fork
- 289
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di OpenLogicProject/OpenLogic
-
Russel's Paradox typoAperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 65/100
OpenLogicProject/OpenLogic#339 · 1 commento ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 50/100
OpenLogicProject/OpenLogic#436 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
OpenLogicProject/OpenLogic#435 · 1 commento ·
-
Order-type of models of PAAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
OpenLogicProject/OpenLogic#425 · 1 commento ·
-
Improve docsAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
OpenLogicProject/OpenLogic#390 ·
Tutte le issue di OpenLogicProject/OpenLogic
Issue simili
-
area:docs
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
RailtownAI/railtracks#1633 ·
I maintainer di solito rispondono entro 2 giorni
-
review-panel severity:low
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 85/100
kristovatlas/coin-accounting#152 ·
I maintainer di solito rispondono entro 1 giorno
-
documentation :blue_book:
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
PennyLaneAI/pennylane#10280 ·
I maintainer di solito rispondono entro 2 giorni
-
documentation
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 95/100
raycast/extensions#32000 ·
I maintainer di solito rispondono entro 1 giorno
-
[Resource]: Claude MonitorApertaresource-submission validation-passed
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 82/100
hesreallyhim/awesome-claude-code#3096 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno