Turing completeness

"A property of universal computation — Turing completeness — is that a computer program can write a computer program." - пишет Rob Pike на сайте golang.org, рассказывая об очередной прорывной инновации в тулчейне Go. Я раньше думал, они там лишь последние 30-40 лет пропустили, простите, был неправ.