Загрузка видео...
Не удалось загрузить видео
formally proved in Lean4 that music is not Turing complete. that's because there can be no endogenous self-replication during music playback (unfortunately). proof: every infinite playback of any valid midi-like symbolic composition is eventually periodic.
69,483 просмотров • 5 месяцев назад •via X (Twitter)
Комментарии: 0
Нет доступных комментариев
Здесь появятся комментарии из оригинального поста

