Definitions
Sorry, no definitions found. You may find more data at speed-up.
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word Speed-up.
Examples
-
So then in my next Bell bill under monthly services a new item appeared it said: 1 High Speed-up to 4.0 Mbps and there was no extra charge for this service! ..
-
So then in my next Bell bill under monthly services a new item appeared it said: 1 High Speed-up to 4.0 Mbps and there was no extra charge for this service!
-
So then in my next Bell bill under monthly services a new item appeared it said: 1 High Speed-up to 4.0 Mbps and there was no extra charge for this service!
-
So then in my next Bell bill under monthly services a new item appeared it said: 1 High Speed-up to 4.0 Mbps and there was no extra charge for this service!
-
So then in my next Bell bill under monthly services a new item appeared it said: 1 High Speed-up to 4.0 Mbps and there was no extra charge for this service!
-
So then in my next Bell bill under monthly services a new item appeared it said: 1 High Speed-up to 4.0 Mbps and there was no extra charge for this service!
-
The Speed-up Theorem is the result of contemplating and elaborating the proof of the incompleteness theorem.
Kurt Gödel Kennedy, Juliette 2007
-
Interestingly, it dates from the same year as the construction, due to Rosser, that eliminates the use of Ï-consistency in the first Incompleteness Theorem; like the Speed-up Theorem of Gödel, Rosser's construction exploits the issue of short and long proofs.
Kurt Gödel Kennedy, Juliette 2007
-
Gödel states the Speed-up Theorem differently from the above.
Kurt Gödel Kennedy, Juliette 2007
-
Gödel never submitted a proof for the Speed-up Theorem.
Kurt Gödel Kennedy, Juliette 2007
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.