formel

alles, was ergebnis einer rechnung war, war für uns kein beweis

nicolas bourbaki

oggi sono rimasto per l'ennesima volta basito nel contemplare una immensa verità: esistono numeri non computabili; cioé numeri per cui non esiste un algoritmo che abbia codesti numeri come risultato.

il motivo di questa contemplazione è il grave problema fattomi ieri presente da r.n. che non esiste una formula chiusa per qualsiasi cosa - dove il concetto di qualsiasi cosa va compreso nella maniera vaga che mi contraddistingue oggi - per il semplice fatto che ci sono una quantità numerabile di formule e sovrannumerabile di cose.

assurdo.