Teorema da Incompletude
O Teorema da Incompletude é um par de provas lógicas que revolucionaram a matemática. O primeiro resultado foi publicado por Kurt Gödel (1906-1978) em 1931 quando ele tinha 24 anos de idade. O Primeiro Teorema da Incomplexidade afirma que qualquer rendição livre de contradição da teoria dos números (um ramo da matemática que lida com … Ler mais