{"version":"1.0","type":"link","title":"Programma di Hilbert - Newikis","description":"Il programma di Hilbert consisteva nel formalizzare tutte le teorie matematiche esistenti attraverso un insieme finito di assiomi, e dimostrare che questi assiomi non conducevano a contraddizioni. Prende il nome dal matematico tedesco David Hilbert, che lo propose negli anni venti del XX secolo.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}