7 relações: Grau de Turing, Harvey Friedman, Lenore Blum, Leo Harrington, Lista de palestrantes do Congresso Internacional de Matemáticos, Richard Arnold Shore, Theodore Allen Slaman.
Grau de Turing
Em ciência da computação e lógica matemática o grau de Turing ou grau de insolubilidade de um conjunto de números naturais mede o nível de insolubilidade algorítmica do conjunto.
Novo!!: Gerald Sacks e Grau de Turing · Veja mais »
Harvey Friedman
Harvey Martin FriedmanHandbook of Philosophical Logic, ISBN 0-7923-7018-X, p. 38 é um matemático (ramo da lógica simbólica) da Universidade do Estado de Ohio (Ohio State University) em Columbus, Ohio.
Novo!!: Gerald Sacks e Harvey Friedman · Veja mais »
Lenore Blum
Lenore Carol Blum (Nova Iorque) é uma matemática, lógica e cientista da computação estadunidense, que trabalha com complexidade computacional.
Novo!!: Gerald Sacks e Lenore Blum · Veja mais »
Leo Harrington
Leo Anthony Harrington é um matemático estadunidense.
Novo!!: Gerald Sacks e Leo Harrington · Veja mais »
Lista de palestrantes do Congresso Internacional de Matemáticos
Esta é uma lista de palestrantes do Congresso Internacional de Matemáticos, composta por Plenary Speakers e Invited Speakers.
Novo!!: Gerald Sacks e Lista de palestrantes do Congresso Internacional de Matemáticos · Veja mais »
Richard Arnold Shore
Richard Arnold Shore é um lógico matemático estadunidense.
Novo!!: Gerald Sacks e Richard Arnold Shore · Veja mais »
Theodore Allen Slaman
Theodore Allan Slaman é um matemático estadunidense.