ᛒ
Какая-то операция из x86
Ы
Size: a a a
2021 March 09
V
В пруду
в прадо
AT
Чтоб никто не догадался
AT
Можно погуглить accidentally Turing-complete
AT
Есть лямбда, нсть тюринг, есть модель маркова
Бобёр, выдыхай!
Oℕ
Машина Поста, комбинаторная логика
ну машина поста недалеко от тьюринга ушла
Oℕ
там на уровне студента несложно эквивалентность доказать
s
да очень похоже не неё
Oℕ
но так то тут же Алекс который год население секвенциями мучит, там через раз - новая модель вычислений
AT
Только с полнотой по Тьюрингу борются)
Oℕ
ну там опять же в куче секвенций ясно понятно что добавить, чтобы превратить его то в тюринг полную, то в классическую логику, то в хз что
Oℕ
я вот иногда вспоминаю про омельченко с отсылкой на демонстрацию ,что в каких-то ро калькулусах можно получить eventually критерий останова
Oℕ
и что типа конкурентные калькулюсы более, чем тюринг полные выходит
AT
Немного переключусь на другой вопрос:
@odomontois @skucherenko
А поехали бы вы летом на недельку на школу по верификации/.../ с самоорганизованными воркшопами?
Где-то, скажем, в июле в Подмосковье на турбазе или в Грузии?
@odomontois @skucherenko
А поехали бы вы летом на недельку на школу по верификации/.../ с самоорганизованными воркшопами?
Где-то, скажем, в июле в Подмосковье на турбазе или в Грузии?
Oℕ
я домосед, я в такие штуки редко езжу
AT
я домосед, я в такие штуки редко езжу
Вот как раз тот самый момент может и настал?))
Oℕ
нужно обсудить