Faleceu em 19 de Abril de 2013, aos 80 anos, o matematico norte-americano Kenneth Appel, um dos dois caras que provaram o "Teorema das Quatro Cores". Esse teorema e algo de formulacao e conceitualizacao muito simples mas de demonstracao extremamente complexa. A sua formulacao e a seguinte: "Dado um mapa plano qualquer, dividido em regioes, apenas quatro cores serao suficientes para colori-lo de forma que as regioes vizinhas nunca partilhem de uma a mesma cor". O uso de tao poucas cores era algo que todos percebiam facilmente (bastava tentar pintar um mapa qualquer) mas ninguem havia conseguido provar matematicamente que isso valeria sempre, para qualquer tamanho e formato de mapa, transformando-o em tema de pesquisa para uma area da matematica chamada de topologia. O fato e que esse problema, que foi formulado no inicio do seculo XIX, sempre atazanou matematicos do mundo todo, ate que em 1976 foi demonstrado por Appel e seu parceiro Wolfgang Haken, que se utilizaram de um computador IBM S/360 (maquina super potente para aquela epoca), alias foi uma das primeiras vezes em que se usaram computadores para provar teoremas matematicos. Agora voce ja sabe porque precisa comprar apenas aquela menor caixa de lapis de cor para a materia de geografia da escola do seu filho.Link para a noticia no NY Times Dentre as diversas inovacoes tecnologicas que foramintroduzidas ao longo da historia das redes de computadores, talvez a maiscelebrada tenha sido a tecnica de transmissao de dados porcomutacao de pacotes (packet switching), que surgiu em meados nos anos sessenta. Nas redes de computadores baseadas nessa tecnica, a informacao e dividida empequenas partes (pacotes) antes de ser enviada. Cada pacote carrega o enderecode origem e o de destino, sendo que os pacotes viajam pela rede como unidadesindependentes de informacao, podendo tomar rotas diferentes ate o computador dedestino, onde sao reordenados e checados e a informacao e entao reconstituida.A comutacao de pacotes permite que diversos usuarios compartilhem um mesmocanal de comunicacao. A rede de pacotes mais conhecida e sem duvida a Internet que todos utilizamos hoje, mas um capitulo especial na historia das pesquisas com as redes de pacotes ocorreu no inicio dos anos setenta com o uso de ondas de radio para fazer comunicacao de dados, quando na University of Hawaii,com o apoio da ARPA e da marinha norte-americana, foi construida a ALOHANET, uma redeexperimental que interligava os computadores espalhados pelo campus noarquipelago do Oceano Pacifico. E foi justamente essa rede (ALOHANET) queserviu de inspiracao a Robert Metcalfe, entao estudante de doutorado daUniversidade de Harvard que desenvolvia uma tese sobre redes de pacotes. Parasatisfazer a banca da Universidade, Metcalfe precisava desenvolver alguns aspectosteoricos na sua pesquisa. Como era amigo de Stephen Crocker,gerente de programa da ARPA, recebeu deste algunsdocumentos sobre a rede havaiana. Metcalfe concentrou-se em melhorar odesempenho da rede atraves de novos algoritmos de retransmissao de pacotes, quese transformou na base de sua tese, intitulada PacketCommunications (1973). Enquanto trabalhava na tese, empregou-se no Centro de Pesquisas da Xerox (Xerox PARC), onde estava sendo desenvolvida a worksation Alto, um novo tipo computador, para o qual Metcalfe projetou, em