Teóricos da Lógica Computacional

Publicado em 29/05/2004

Teóricos da Lógica Computacional


David Hilbert


Nascimento: 23 de janeiro de 1862

Morte: 14 de fevereiro de 1943

O primeiro trabalho de David Hilbert foi a "teoria dos invariáveis". E em 1888 ele provou o seu teorema das bases. Vinte anos antes, o matemático Gordon provou o teorema das bases finitas para formar binários usando uma aproximação extremamente computacional. As tentativas de generalisar o trabalho de Gordon para sistemas com mais de duas variáveis falharam devido as grandes dificuldades computacionais. Primeiramente, Hilbert tentou seguir a aproximação de Gordon, mas, rapidamente, ele percebeu que uma nova linha de ataque era necessária. Ele descobriu uma completamente nova aproximação, a qual provou que o teorema das bases finitas é válido para qualquer número de variáveis, mas ele o fez de uma forma completamente abstrata.

Em 1893, Hilbert começou a trabalhar na teoria dos números algébricos. Esse trabalho é o mais influente na área após Euclides. Um estudo sistemático dos axiomas da Geometria Euclideana levou Hilbert a propor 21 axiomas e analisar suas importâncias.

Hilbert criou 23 problemas a serem resolvidos por matemáticos no futuro. Esses problemas incluíram a hipótese da continuidade, a boa ordenação dos números reais, a conjectura de Goldbach, a…

É esse o conteúdo que você precisa?
Faça seu login e saiba como ver o trabalho completo

O Zé Moleza facilita sua vida acadêmica ajudando você em suas pesquisas, e a economizar o seu tempo e o seu dinheiro nos seus trabalhos de faculdade. São mais de 26144 pesquisa acadêmicas entre elas, monografia, temas de monografias, TCC, modelos de monografias, trabalhos de universidades, resenha, Paper, Ensaio, Bibliografia, Trabalhos Escolares.

Dicas de como fazer: Capa de Monografia, capa de TCC, Regras da ABNT, como fazer monografia, como fazer Projeto Final, como fazer seminário, como fazer capas, referências bibliográficas, modelo de monografia.

O Zé Moleza NÃO faz a venda de monografia e É TOTALMENTE CONTRA a compra de monografia pronta e trabalhos prontos. O Zé Moleza NÃO auxilia a quem compra monografia, NÃO apóia a quem quer comprar Trabalhos Prontos, e NÃO APROVA a quem quer comprar TCC prontos, dando dicas de formatação, regras da ABNT, dando sugestões de temas para monografia, resumo de livros, projeto de pesquisa, projeto de mestrado, projeto de pós-graduação, trabalhos acadêmicos, incentivando o usuário a desenvolver por conta própria sua monografia.