On Nov 25, 1:21 am, George Greene <gree...@email.unc.edu> wrote: > On Nov 17, 3:50 am, Graham Cooper <grahamcoop...@gmail.com> wrote: > > > Any and All mathematical logicians posting to SCI.LOGIC have all been > > verbally abused 100, 1000 times or more until they all left. > > Indeed they have, but BY WHOM?? > > > > > Me included. > > Since YOU are MOST UNfortunately STILL HERE, > either you are still here in your role as the abusER, NOT an abusEE, > or you are NOT a mathematical logician. > > Or both, more likely. >
Fine, considering this is what passes for a logician around here.
S: if stops(S) gosub S G. GREENE: this proves stops() must be un-computable! SCI.LOGIC