La logique constructiviste est un système qui supprime la loi du milieu exclu, ainsi que la double négation, en tant qu'axiomes. C'est décrit sur Wikipedia ici et ici . En particulier, le système ne permet pas de preuve par contradiction. Je me demande, quelqu'un sait-il comment cela affecte les...
En classe la semaine dernière, mon professeur a commenté et dit que les machines de Turing sont utilisées comme mesure / modèle standard de ce qui est calculable et constituent une base de discussion utile pour ce sujet. Elle a également déclaré que toutes les variantes des machines Turing se sont...
Cette question a été migrée à partir de la bourse théorique de l'informatique, car elle peut être répondue sur la bourse de la science informatique. Migré il y a 6 ans . J'ai rencontré de nombreuses définitions de langages récursifs et récursivement énumérables. Mais je ne pouvais pas vraiment...
Peut-être que ma compréhension limitée du sujet est incorrecte, mais c'est ce que je comprends jusqu'à présent: La programmation fonctionnelle est basée sur Lambda Calculus, formulée par Alonzo Church. La programmation impérative est basée sur le modèle de machine Turing, fabriqué par Alan Turing,...
Une machine de Turing qui revient à un état rencontré précédemment avec sa tête de lecture / écriture sur la même cellule de la même bande exacte sera prise en boucle. Une telle machine ne s'arrête pas. Quelqu'un peut-il donner un exemple d'une machine sans arrêt qui ne boucle...
J'ai récemment entendu une analogie intéressante qui déclare que la preuve de Turing de l'indécidabilité du problème d'arrêt est très similaire au paradoxe du barbier de Russell. Je me suis donc demandé: les mathématiciens ont finalement réussi à rendre la théorie des ensembles cohérente en passant...
Selon cet article de Wikipedia , les grammaires illimitées sont équivalentes aux machines de Turing. L'article note que je peux convertir n'importe quelle machine Turing en une grammaire illimitée, mais il montre uniquement comment convertir une grammaire en machine Turing. Comment puis-je vraiment...
Je cherche des exemples de problèmes qui ont une borne inférieure de Ω(|x|2Ω(|x|2\Omega(|x|^2 ) pour l'entrée xxx . Le problème doit avoir les propriétés suivantes: Ω(n2)Ω(n2)\Omega(n^2)Preuve d'exécution Ω ( n 2 ) pour tout algorithme - la première priorité est d'avoir un argument de limite...
Une machine de Turing sans capacité d'écriture sur des cellules vierges est-elle moins puissante que la Turing standard? Je pense que la réponse est oui mais je ne suis pas en mesure de trouver un calcul qu'une machine standard de Turing peut faire mais cette machine ne le peut pas. Des...
La définition principale de la machine de Turing (TM), au moins dans mon propre manuel de référence (Hopcroft + Ullman 1979) est déterministe. Par conséquent, ma propre compréhension du problème de l' arrêt concerne principalement la MT déterministe, bien que je sache qu'il peut être envisagé pour...
Existe-t-il une machine de Turing qui s'arrête sur toutes les entrées mais cette propriété n'est pas prouvable pour une raison quelconque? Je me demande si cette question a été étudiée. Remarque: «non démontrable» pourrait signifier un système de preuve «limité» (qui au sens faible pense que la...
Il y a beaucoup (et je veux dire beaucoup) de langues dénombrables qui sont décidables par Turing. Est-ce qu'une langue innombrable peut être décidable de
Je commence à lire un livre sur la complexité informatique et les machines de Turing. Voici une citation: Un algorithme (c'est-à-dire une machine) peut être représenté comme une chaîne de bits une fois que nous avons décidé d'un codage canonique. Cette affirmation est fournie comme un simple fait,...
Dans cette question, nous considérons uniquement les machines Turing qui s'arrêtent sur toutes les entrées. Si k∈Nk∈Nk \in \mathbb{N} alors par TkTkT_k on désigne la machine de Turing dont le code est kkk . Considérez la fonction suivante
Soit une fonction fixe constructible dans le temps.FFf Le résultat de simulation universelle classique pour les MT (Hennie et Stearns, 1966) indique qu'il existe un TM deux bandes tel que, étant donnéUUU la description d'un TM , et⟨ M⟩⟨M⟩\langle M \rangle une chaîne d'entrée ,XXx s'exécute pour les...
Il n'y a pas de solution analytique générale au problème des n-corps qui puisse produire une fonction analytique qui peut être utilisée pour donner l'état d'un système à n-corps à un temps arbitraire t avec une précision exacte. Cependant, il existe certains cas particuliers de systèmes à n corps...
Notez qu'il s'agit d'une question liée à l'étude dans un cours de CS dans une université, ce n'est PAS des devoirs et peut être trouvé ici sous l'examen d'automne 20112. Voici les deux questions que je regarde d'un examen passé. Ils semblent être liés, le premier: Laisser FINITECFG={<G>∣G is...
Il existe des temps spatiaux relativistes (par exemple des temps spatiaux MH; voir Hogarth 1994) où une ligne du monde de durée infinie peut être contenue dans le passé d'un observateur fini. Cela signifie qu'un observateur normal peut avoir accès à un nombre infini d'étapes de calcul. En supposant...
Les algorithmes d'échecs actuels vont d'environ 1 ou peut-être 2 niveaux dans un arbre de chemins possibles en fonction des mouvements du joueur et de l'adversaire. Disons que nous avons la puissance de calcul pour développer un algorithme qui prédit tous les mouvements possibles de l'adversaire...
J'utilise un ordinateur numérique pour écrire ce message. Une telle machine a une propriété qui, si vous y réfléchissez, est en fait assez remarquable: c'est une machine qui, si elle est programmée de manière appropriée, peut effectuer tout calcul possible . Bien sûr, les machines à calculer d'un...