buracos indicavam os uns e, areas naofuradas, indicavam os zeros. O sistema esta longe de ser umcomputador, mas ilustrou que as maquinas poderiam ser controladaspelo sistema binario.EngenhoanaliticoAda Lovelace,primeira programadora.Foi com CharlesBabbage que o computador moderno comecou a ganhar forma, atravesde seu trabalho no engenhoanalitico. O equipamento descrito originalmente em 1837,mais de um seculo antes de seu sucessor, nunca foi construido comsucesso, mas possuia todas as funcoes de um computador moderno. Odispositivo de Babbage se diferenciava por ser programavel, algoimprescindivel para qualquer computador moderno.Durante sua colaboracao, a matematicaAda Lovelacepublicou os primeiros programasde computador em uma serie de notas para o engenho analitico[2].Por isso, Lovelace e popularmente considerada como a primeiraprogramadora.Nascimento da Ciencia da ComputacaoAntes da decadade 1920, computador era um termo associado a pessoas querealizavam calculos, geralmente liderados por fisicos. Milhares decomputadores eram empregados em projetos no comercio, governo esitios de pesquisa. Apos a decada de 1920, a expressao maquinacomputacional comecou a ser usada para referir-se a qualquermaquina que realize o trabalho de um profissional, especialmenteaquelas de acordo com os metodos da Tesede Church-Turing.O termo maquina computacional acabou perdendo espaco parao termo reduzido computador no final da decadade 1940, com as maquinas digitais cada vez mais difundidas. AlanTuring, conhecido como pai da Ciencia da Computacao, inventoua Maquinade Turing, que posteriormente evoluiu para o computador moderno.TrabalhoteoricoOs fundamentos matematicos da Ciencia da Computacao modernacomecaram a ser definidos por KurtGodel com seu teoremada incompletude (1931).Essa teoria mostra que existem limites no que pode ser provado oudesaprovado em um sistema formal; isso levou a trabalhos posteriorespor Godel e outros teoricos para definir e descrever tais sistemasformais, incluindo conceitos como recursividadee calculolambda.Em 1936 AlanTuring e AlonzoChurch independentemente, e tambem juntos, introduziram aformalizacao de um algoritmo, definindo os limites do que pode sercomputador e um modelo puramente mecanico para a computacao. Taistopicos sao abordados no que atualmente chama-se Tesede Church-Turing, uma hipotese sobre a natureza de dispositivosmecanicos de calculo. Essa tese define que qualquer calculopossivel pode ser realizado por um algoritmo sendo executado em umcomputador, desde que haja tempo e armazenamento suficiente para tal.Representacao visual da Maquinade TuringTuring tambem incluiu na tese uma descricao da Maquinade Turing, que possui uma fita de tamanho infinito e um cabecotepara leitura e escrita que move-se pela fita. Devido ao seu caraterinfinito, tal maquina nao pode ser construida, mas tal modelo podesimular a computacao de qualquer algoritmo executado em umcomputador moderno. Turing e bastante importante para a Ciencia daComputacao, tanto que seu nome e usado para o PremioTuring e o testede Turing. Ele contribuiu para a quebra do codigo da Alemanhapela Gra-Bretanha[3]na SegundaGuerra Mundial, e continuou a projetar computadores e programasde computador pela decadade 1940; cometeu suicidio em 1954.[4][5].Shannon e a teoria da informacaoAte a decadade 1930, engenheiros eletricistas podiam construir circuitoseletronicos para resolver problemas logicos e matematicos, mas amaioria o fazia sem qualquer processo, de forma particular, sem rigorteorico para tal. Isso mudou com a tese de mestrado de ClaudeShannon de 1937, A Symbolic Analysis of Relay and SwitchingCircuits. Enquanto tomava aulas de Filosofia, Shannon foi expostoao trabalho de George Boole, e percebeu que poderia aplicar esseaprendizado em conjuntos eletro-mecanicos para resolver