Q. E. W. L. Blues - Quantifiers Exchange Weak Law Blues

  • 9 anni fa
Un altro esperimento musicale da Pr0gett0 Al3ph's Imitation Game! Questa volta, si tratta dell'imitazione dell'enunciato formale di un teorema matematico: la "Legge Debole di Scambio dei Quantificatori", uno dei primi importanti risultati in Logica Formale. In questo brano, un blues a 12 misure da 4/4, ogni strofa rappresenta un simbolo distinto tra quelli presenti nell'enunciato formale di quel teorema. Per maggiori informazioni, si rimanda al sito web del Pr0gett0, nella sezione Store, alla Lezione 1 della NBG Set-Theory with Atoms.

http://al3ph.altervista.org/portale/

Consigliato