Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Post–Turing machine · Vinony

EntityQ2574032· pop 6· linked from 219 articles

Post–Turing machine

Sign in to save

abstract calculator

Connections

Stephen Cole Kleene

computer science

International Standard Book Number

programming language

computer program

binary numeral system

mathematical logic

computer storage media

lambda calculus

instruction set architecture

halting problem

Categories

Models of computation Turing machine

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Alternating Turing machine

Entitydist 0.34

counter machine

Entitydist 0.42

multitape Turing machine

Entitydist 0.43

logic synthesis

Entitydist 0.47

finite-state machine

Entitydist 0.49

abstract state machine

Entitydist 0.51

computable function

Entitydist 0.52

arithmetic logic unit

Entitydist 0.53

Entitydist 0.54

Entitydist 0.54

Entitydist 0.55

computational logic

Entitydist 0.55

What links here219 pages

superscalar processor

register machine

power management

16-bit computing

speculative execution

multi-core processor

digital signal processor

vector processor

Explicit Data Graph Execution

very long instruction word

proof of impossibility

out-of-order execution

application-specific instruction-set processor

many-core processor

orthogonal instruction set

dynamic voltage scaling

dynamic frequency scaling

memory management unit

probabilistic Turing machine

one-instruction set computer