Video wird geladen...
Video konnte nicht geladen werden
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 Aufrufe • vor 5 Monaten •via X (Twitter)
0 Kommentare
Keine Kommentare verfügbar
Kommentare vom Original-Post werden hier angezeigt

