haja tempo e armazenamento suficiente para tal.Turing tambem incluiu na tese uma descricao da Maquina de Turing, que possui uma fita de tamanho infinito e um cabecote para leitura e escrita que move-se pela fita. Devido ao seu carater infinito, tal maquina nao pode ser construida, mas tal modelo pode simular a computacao de qualquer algoritmo executado em um computador moderno. Turing e bastante importante para a ciencia da computacao, tanto que seu nome e usado para o Premio Turing e o teste de Turing. Ele contribuiu para as quebras de codigo da Gra-Bretanha[3] na Segunda Guerra Mundial, e continuou a projetar computadores e programas de computador pela decada de 1940; cometeu suicidio em 1954.[4][5].*Shannon e a teoria da informacaoAte a decada de 1930, engenheiros eletricistas podiam construir circuitos eletronicos para resolver problemas logicos e matematicos, mas a maioria o fazia sem qualquer processo, de forma particular, sem rigor teorico para tal. Isso mudou com a tese de mestrado de Claude Shannon de 1937, A Symbolic Analysis of Relay and Switching Circuits. Enquanto tomava aulas de Filosofia, Shannon foi exposto ao trabalho de George Boole, e percebeu que poderia aplicar esse aprendizado em conjuntos eletro-mecanicos para resolver problemas. Shannon desenvolveu a teoria da informacao no artigo de 1948: A Mathematical Theory of Communication[6], cujo conteudo serve como fundamento para areas de estudo como compressao de dados e criptografia.[7]*Realizacoes para a sociedadeApesar de sua pequena historia enquanto uma disciplina academica, a ciencia da computacao deu origem a diversas contribuicoes fundamentais para a ciencia e para a sociedade. Esta ciencia foi responsavel pela definicao formal de computacao e computabilidade, e pela prova da existencia de problemas insoluveis ou intrataveis computacionalmente.[8] Tambem foi possivel a construcao e formalizacao do conceito de linguagem de computador, sobretudo linguagem de programacao, uma ferramenta para a expressao precisa de informacao metodologica flexivel o suficiente para ser representada em diversos niveis de abstracao.[9]Para outros campos cientificos e para a sociedade de forma geral, a ciencia da computacao forneceu suporte para a Revolucao Digital, dando origem a Era da Informacao.[8] A computacao cientifica e uma area da computacao que permite o avanco de estudos como o mapeamento do genoma humano (ver Projeto Genoma Humano).*Pessoas notaveisAlgumas das pessoas mais importantes da computacao foram agraciadas com o Premio Turing.*Precursores Blaise Pascal, desenvolveu a calculadora mecanica e tem seu nome em uma linguagem de programacao; Charles Babbage, projetou um computador mecanico, a maquina analitica; Ada Lovelace, considerada a primeira pessoa (e mulher) programadora, deu nome a uma linguagem de programacao;*PioneirosCquote1.svg Ciencia da computacao tem tanto a ver com o computador como a Astronomia com o telescopio, a Biologia com o microscopio, ou a Quimica com os tubos de ensaio. A Ciencia nao estuda ferramentas, mas o que fazemos e o que descobrimos com elas. Alan Turing, participou do projeto Colossus e foi um dos cerebros que decifra a Enigma. Tambem inventou um tipo teorico de maquina super-simples capaz de realizar qualquer calculo de um computador digital, a Maquina de Turing John von Neumann, descreveu o computador que utiliza um programa armazenado em memoria, a