Reference library
On the Turing Completeness of Modern Neural Network Architectures
Paper summary
Proves Turing-completeness results for specified Transformer and Neural GPU architectures. The constructions identify internal representations and architectural elements sufficient for general computation under the stated assumptions.
Relevance to the project
Helps distinguish formal expressiveness from practical architecture advantages. Memory precision, input length, and compute budget must be explicit in comparisons.
Idealized completeness does not apply unchanged to fixed finite hardware.
Source record
- Reference ID
- arxiv-1901-03429
- Archived version
- arXiv preprint; retrieved version indicated in PDF
- Summary provenance
- reference-library/papers/arxiv-1901-03429/metadata.json · summary
- Review status
- initial orientation summary; not a critical full-paper review
- Reading scope
- Selected abstract/opening and available closing discussion/conclusion passages in the preserved text extract; broader project notes provide context. No reproduction of experiments, exhaustive methods review, or equation/figure audit.