Logic Journal of IGPL Advance Access originally published online on September 24, 2007
Logic Journal of IGPL 2007 15(5-6):445-455; 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?