Logic Journal of IGPL Advance Access published online on September 24, 2007
Logic Journal of IGPL, doi:10.1093/jigpal/jzm034
| ||||||||||||||||||||||||||||||||||||||||||||||||||
Fast–growing functions and the P vs. NP question
Fuzzy Sets Research Team, PIT, Production Engineering Program. Room F108, COPPE, UFRJ, P.O. Box 68507, 21945–972 Rio RJ Brazil, E-mail: fadoria{at}pep.ufrj.br
| Abstract |
|---|
Out of a folklore–like fact about the counterexample function to P = NP, a function which grows about as fast as the Busy Beaver function, we review the consequences of our (with da Costa) exotic formalization for P = NP and then speculate about possible ways to extend our work.
Key Words: computational complexity fast–growing functions Busy Beaver function P vs. NP
Received for publication 24 October 2006.
Revision received .
![]()
CiteULike
Connotea
Del.icio.us What's this?