[
:)
Size: a a a
2021 May 29
[
т.е. в общем случае доказать завершаемость рекурсии невозможно и её надо ограничивать?
[
ктстати, я тут узнал одну вещь... А ставить надо первый идрис или второй?
[
он прям ощутимо круче?
MK
Естественно, ты не изучал информатику в универе что ли?
[
я даже больше скажу. Я до сих пор не поступил на вышку
[
про эту проблему я тоже не слышал
O
[
доказательство красивое
NI
Тьюринг-полнота не обязательно добавляется общей рекурсией.
И добавить её можно (без общей рекурсии) даже к просто-типа-лямбде с со списками bool'ов.
Может быть, можно даже, если только есть натуральные числа, но не уверен.
И добавить её можно (без общей рекурсии) даже к просто-типа-лямбде с со списками bool'ов.
Может быть, можно даже, если только есть натуральные числа, но не уверен.
AF
в лямбде нет чисел
KV
А если добавлю?
AF
ну да, их можно добавить. Как и любые другие типы данных
AF
И для этого достаточно только двух базовых операций, из которых состоит лямбда, и которые в сумме дают тьюринг-полноту
KV
Ну вот, а Вы говорите, чисел нет