13 relações: Alan Turing, Antinomia jurídica, David Hilbert, Georg Cantor, JSTOR, Kurt Gödel, Lógica, Matemática, Paradoxo, Século XX, Sentença, Teoria dos conjuntos, Tese.
Alan Turing
Alan Mathison Turing (Londres, 23 de junho de 1912 Wilmslow, Cheshire, 7 de junho de 1954) foi um matemático, cientista da computação, lógico, criptoanalista, filósofo e biólogo teórico britânico.
Novo!!: Antinomia e Alan Turing · Veja mais »
Antinomia jurídica
Antinomia jurídica é uma contradição real ou aparente entre normas dentro de um sistema jurídico, dificultando-se, assim, sua interpretação e reduzindo a segurança jurídica no território e tempo de vigência daquele sistema.
Novo!!: Antinomia e Antinomia jurídica · Veja mais »
David Hilbert
David Hilbert (Königsberg, — Göttingen) foi um matemático alemão.
Novo!!: Antinomia e David Hilbert · Veja mais »
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor (São Petersburgo, 3 de março de 1845 – Halle, 6 de janeiro de 1918) foi um matemático alemão nascido no Império Russo.
Novo!!: Antinomia e Georg Cantor · Veja mais »
JSTOR
JSTOR (acrônimo para Journal Storage) é um sistema online de arquivamento de revistas acadêmicas sediado nos Estados Unidos, fundada em 1995.
Novo!!: Antinomia e JSTOR · Veja mais »
Kurt Gödel
Kurt Friedrich Gödel (Brünn, 28 de abril de 1906 — Princeton, 14 de janeiro de 1978) foi um filósofo, matemático e lógico austríaco, naturalizado norte-americano.
Novo!!: Antinomia e Kurt Gödel · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Antinomia e Lógica · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Antinomia e Matemática · Veja mais »
Paradoxo
Um paradoxo é uma declaração aparentemente verdadeira que leva a uma contradição lógica, ou a uma situação que contradiz a intuição comum.
Novo!!: Antinomia e Paradoxo · Veja mais »
Século XX
O século XX iniciou em 1 de janeiro de 1901 e terminou em 31 de dezembro de 2000.
Novo!!: Antinomia e Século XX · Veja mais »
Sentença
Uma sentença judicial, nos termos do Código de Processo Civil brasileiro (Lei nº. 13.105/2015), é o pronunciamento por meio do qual o juízo, com base nos artigos 485 e 487 do Código de Processo Civil, põe fim à fase cognitiva do procedimento comum, bem como extingue a execução.
Novo!!: Antinomia e Sentença · Veja mais »
Teoria dos conjuntos
conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.
Novo!!: Antinomia e Teoria dos conjuntos · Veja mais »
Tese
Cerimônia de doutorado na Universidade de Leiden, 7 de julho de 1721. Uma tese (literalmente 'posição', do grego θέσις) é uma proposição intelectual.
Novo!!: Antinomia e Tese · Veja mais »