{"version":"1.0","type":"link","title":"Programa de Hilbert - Newikis","description":"O programa de Hilbert foi uma proposta feita em 1921 pelo matemático alemão David Hilbert de reformular as bases da matemática de forma rigorosa, partindo da aritmética. Segundo ele, toda a matemática poderia ser reduzida a um número finito de axiomas consistentes. Assim, qualquer proposição da…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}