Comment Re:Yes. (Score 1) 469
Wikipedia must change their official policy of "No Original Research" before any such proofs can be allowed.
Further, Wikipedia must find mathematicians capable of understanding such proofs. LOLS.
It appears that PL/I (and its dialects) is, or will be, the most widely used higher level language for systems programming. -- J. Sammet