[ prog / sol / mona ]
frontpage - thread list - new thread - preferences - ?
>>25 You gave me an idea. Is x in "P `x` NP" decidable at all? How does "P=NP" relate to Gödel's incompleteness theorems?
VIP:
bbs.scm + MIT Scheme + SICP + Satori Mode