Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

UNIX enhancements aren't.


computers / comp.theory / Re:_Black_box_halt_decider_is_NOT_a_partial_decider_[ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ Only Inputs_Count_]

SubjectAuthor

1
1
rocksolid light 0.7.2
clearneti2ptor