Antinomia
Keywords: Antinomia, Alan Turing, David Hilbert, Georg Cantor, Kurt Gödel, Lógica, Matemática, Paradoxo
Uma antinomia (ou paradoxo) é uma contradição entre duas leis ou duas teses. As antinômias aparecem na matemática, principalmente nas áreas de lógica e teoria dos conjuntos. As antinomias tiveram um papel central nos trabalhos científicos na área de matemática do início do século XX, principalmente nas tentativas de Georg Cantor de definir a teoria dos conjuntos, na proposta de David Hilbert de formalizar a matemática e nos trabalhos de Kurt Gödel e Alan Turing sobre a incompletude dos sistemas formais.
==
- REDIRECT Predefinição:Ver também==