Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

The clothes have no emperor. -- C. A. R. Hoare, commenting on ADA.


computers / comp.theory / Re: H(P,P)==0 is correct for every simulating halt decider H --- V2 [ intuition versus logic ]

Error:

The connection to the Newsserver failed

SubjectAuthor

1
1
rocksolid light 0.7.2
clearneti2ptor