Als «computation-models» getaggte Fragen

Die Definition des Satzes zulässiger Operationen, die für die Berechnung verwendet werden, und ihrer jeweiligen Kosten. Einige Beispiele für Modelle umfassen Turing-Maschinen, rekursive Funktionen, Lambda-Kalkül und Produktionssysteme.

28
Warum ist der leere Typ von C nicht analog zum leeren / unteren Typ?

Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . Eine...

21
Könnte das Problem des Anhaltens „gelöst“ werden, indem zu einer Beschreibung der Berechnung auf höherer Ebene übergegangen wird?

Ich habe kürzlich eine interessante Analogie gehört, die besagt, dass Turings Beweis für die Unentscheidbarkeit des Stopp-Problems Russells Barbier-Paradoxon sehr ähnlich ist. Also wunderte ich mich: Mathematiker schafften es schließlich, die Mengenlehre konsistent zu machen, indem sie von Cantors...

18
Was macht Quantencomputer konkret nützlich?

Ich weiß, dass Quantencomputer eine Überlagerung aller möglichen Zustände mit einem einzigen Durchlauf durch die Logik verarbeiten können. Das scheint das zu sein, was die Leute als das bezeichnen, was Quantencomputer besonders oder nützlich macht. Nachdem Sie die Überlagerungseingaben verarbeitet...