Turing completeness
Dec. 23rd, 2014 05:51 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
thedeemon"A property of universal computation — Turing completeness — is that a computer program can write a computer program." - пишет Rob Pike на сайте golang.org, рассказывая об очередной прорывной инновации в тулчейне Go. Я раньше думал, они там лишь последние 30-40 лет пропустили, простите, был неправ.
no subject
Date: 2014-12-23 12:10 pm (UTC)no subject
Date: 2014-12-23 12:27 pm (UTC)мысль про "инновацию" скорее всего спонтанно выросший таракан димона, а не пайка
no subject
Date: 2014-12-23 12:32 pm (UTC)no subject
Date: 2014-12-23 04:07 pm (UTC)no subject
Date: 2014-12-23 04:15 pm (UTC)Если бы было "implies that", вопросов бы не было. Хотя нет, вру, вопросов к Go всё равно очень много.
no subject
Date: 2014-12-23 04:16 pm (UTC)no subject
Date: 2014-12-23 04:35 pm (UTC)WUT?
no subject
Date: 2014-12-23 05:04 pm (UTC)no subject
Date: 2014-12-23 07:27 pm (UTC)no subject
Date: 2014-12-23 07:48 pm (UTC)no subject
Date: 2014-12-23 08:57 pm (UTC)Значок — между computation и Turing в переводе где?
Второе — правильно переведено это что, а куда первое ушло?
no subject
Date: 2014-12-23 09:08 pm (UTC)"A" в данном случае, это "одно из". Учите английский.
> Значок — между computation и Turing в переводе где?
Похоже вы не знакомы с использованием тире вместо запятых: en.wikipedia. org/wiki/Dash#Parenthetic_and_other_uses_at_the_sentence_level
no subject
Date: 2014-12-24 06:22 am (UTC)Похоже вы не знакомы
От ответа уклонился, оок.
Для того, чтобы перевести это предложение так, как Вам хочется, достаточно предположения, что первое и второе — здесь переводятся по-разному. Но версия, что я дурак и не учил в школе английский тоже подходит.
no subject
Date: 2014-12-24 06:39 am (UTC)Во-вторых, мне ничего не хочется. Пайк написал слегка пафосное, но вполне понятное предложение. Вы пытаетесь доказать, что оно значит что-то другое. При этом для Пайка английский язык родной, а для вас нет. Занавес.
no subject
Date: 2014-12-24 06:50 am (UTC)no subject
Date: 2014-12-24 06:51 am (UTC)no subject
Date: 2014-12-24 03:18 am (UTC)Следует ли из этого, что Coq тюринг полный?
no subject
Date: 2014-12-24 05:15 am (UTC)no subject
Date: 2014-12-23 04:53 pm (UTC)no subject
Date: 2014-12-23 05:03 pm (UTC)no subject
Date: 2014-12-23 05:19 pm (UTC)no subject
Date: 2014-12-23 07:35 pm (UTC)no subject
Date: 2014-12-23 09:03 pm (UTC)no subject
Date: 2014-12-23 09:13 pm (UTC)no subject
Date: 2014-12-24 06:19 am (UTC)no subject
Date: 2014-12-24 06:26 am (UTC)