Alternate Representability in Q for Recursive Functions
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 5/5
- Temps estimé
- Plus d'une semaine
- Accessibilité débutants
- 20/100
- Type d'issue
- Documentation
- Clarté
- À clarifier
- Activité
- À l'abandon
- Domaine
- documentation
Piste de recherche
L’issue mentionne les notes de Jeremy et un résultat existant sur la représentabilité, mais aucun fichier ni test. Commencez par trouver la discussion pertinente et la preuve actuelle qu’une fonction est représentable dans Q si et seulement si elle est calculable. Le travail sera considéré comme terminé lorsqu’une preuve directe alternative pour les fonctions récursives sera fournie sans utiliser CTT.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
Jeremy's notes show that a function is representable in Q iff it is computable -- want alternative way that proves this for "recursive" directly without use of CTT.
- 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 ·
-
Russel's Paradox typoOuverte
Difficulté 1/5 Moins d'une heure Accessibilité débutants 65/100
OpenLogicProject/OpenLogic#339 · 1 commentaire ·
-
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 ·
Toutes les issues de OpenLogicProject/OpenLogic
Issues similaires
-
OAuth documentation for GET /api/v2/users/me/ appears inconsistent with required global read scopeOuverte
Difficulté 2/5 1-3 heures Accessibilité débutants 68/100
Les mainteneurs répondent en général sous 1 jour
-
area:model bug platform:linux
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
anthropics/claude-code#107427 ·
-
docs(reference): pi stream-filter bullet says tool_execution_update passes through unchangedOuverteagent-butler-finding bug
Difficulté 1/5 Moins d'une heure Accessibilité débutants 88/100
jordansmall/spindrift#6391 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 1-3 heures Accessibilité débutants 68/100
spdx/license-list-XML#3104 ·
-
Broken links in the docsOuverte
Difficulté 1/5 Moins d'une heure Accessibilité débutants 82/100
Les mainteneurs répondent en général sous 1 jour