Emanuele Rodolà's banner

Emanuele Rodolà

@EmanueleRodola • 1,617 subscribers

⬢ Head of @GladiaLab @SapienzaRoma, fellow of @ELLISforEurope and @yacadeuro. nudging the horizon at @paradigmainc. love crazy ideas

Shorts

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.

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,323 Aufrufe