Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

Just don't create a file called -rf. :-) -- Larry Wall in <11393@jpl-devvax.JPL.NASA.GOV>


computers / comp.theory / Re: Complete proof that H(P,P)==0 is correct for every simulating halt decider H

SubjectAuthor

1
1
rocksolid light 0.7.2
clearneti2ptor