Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Request for Proof

1 view
Skip to first unread message

Long Van Tran

unread,
Apr 20, 1992, 1:54:28 PM4/20/92
to
Hello comp.theorist,

I need the proof for the computability of

Speed problem : Find the fastest program P
SP(i) = j | Pj is fastest (with Pj equivalent to Pi)

It is a kind of "Halting problem". This problem is not computable.

(I may even describe the problem incorrectly!)

Thanks
tr...@esd.dl.nec.com

0 new messages