Computer Runtimes and the Length of Proofs (Q2891314)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computer Runtimes and the Length of Proofs |
scientific article |
Statements
Computer Runtimes and the Length of Proofs (English)
0 references
15 June 2012
0 references
halting problem
0 references
halting probability
0 references
proof length
0 references
automatic theorem proving
0 references
busy beaver problem
0 references
program-size complexity
0 references
small Turing machines
0 references
0 references
0 references
