T
Size: a a a
2019 December 07
А⚙
посоны, а кто-нить понимает что такое полнота по тьюингу?
Это значит, что на языке можно реализовать всё то же, что и на машине тьюринга с бесконечной памятью
T
Это значит, что на языке можно реализовать всё то же, что и на машине тьюринга с бесконечной памятью
как это формально доказывается и какие там критерии?
А⚙
А ты ничего стоящего цитаты не говорил
А⚙
как это формально доказывается и какие там критерии?
Обычно это делают, строя интерпретатор МТ на языке
T
А ты ничего стоящего цитаты не говорил
я мыслю, следовательно, существую
А⚙
я мыслю, следовательно, существую
Это не твоя мысль
T
Это не твоя мысль
и чё
T
я так мыслю
А⚙
Обычно это делают, строя интерпретатор МТ на языке
Или чего-то эквивалентного по мощности, например, лямбда-исчисления
А⚙
нужно стоять на своём, и делать faas как и раньше
Если как тут, то я, в принципе, согласен
https://t.me/rustlang_quotes/1316
https://t.me/rustlang_quotes/1316
m
always the bridesmaid never the bride
L
Я уже не могу смотреть на мемы про суды при анкапе
Я уже не могу смотреть на мемы про туториалы про монады
A
Там код говно, я проверял
А⚙
Задрот [3]