Ola amigos !Eu depois de me desenpenhar muito em matematica aplicada a 1 ano atras venho me intenressando por fundamentação matematica. Compreendi perfeitamente o programa de Hilbert mais nao compreendi o teorema de Godel.O que realmente Godel quer diser com;"Se a matemática é consistente, sua consistência não pode ser provada dentro da própria matemática" Entao ela sera provada onde?"Se a matemática é consistente ela é incompleta" Ou seja, nao podemos decidir entre sua afirmação ou negação qual é verdadeira, isso significa que devemos recorrer a intuição?Eu vou ser sincero amigos eu nao consigo entender como algo pode nao ter consistencia se nos nao podemos prova-lo.Por favor eu gostaria de um exemplo dentro das teorias formalizadas existentes pra poder compreender esse tipo de conceito.Muito Obrigado menbros da lista e felicidades a todos ;)Alertas do Yahoo! Mail em seu celular. Saiba mais.