Video yükleniyor...
Video Yüklenemedi
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 görüntüleme • 3 ay önce •via X (Twitter)
0 Yorum
Yorum bulunmuyor
Orijinal gönderinin yorumları burada görünecek

