> Please don't generalize one or a few computer scientists to the whole group. s/computer scientist/some theoretical computer scientists (You are right that I

> Please don't generalize one or a few computer scientists to the whole group. s/computer scientist/some theoretical computer scientists (You are right that I missed a quantifier; this regex would also fix a typo.) > Still the proof is of immense theoretical value. I enjoy mathematics, also in its pure form. Sure, there are many things nice, valuable and beautiful. Some are of practical use. Yet, misusing it is a problem. Some otherwise great minds (like Roger Penrose) make some questionable claims about consciousness based on unjustified implications for the real world.