Pessoal que gosta de teoria, uni-vos!
Não sei exatamente como a coisa funciona, mas estão querendo criar um site pra discutir coisas de teoria da computação no mesmo estilo que o Stack Overflow.
Só que pro site entrar no ar, tem que passar por umas fases de definição e ter uma certa quantidade de pessoas interessadas... Participem ou pelo menos ajudem a divulgar =)
Tem um "referrer" na URL e não sabia o que eu ganho com isso. Fui verificar e descobri que ganho "pontos de reputação"... sejá lá a utilidade disso.
terça-feira, 29 de junho de 2010
segunda-feira, 28 de junho de 2010
O problema da parada
Hoje estava lendo sobre o Problema da Parada e percebi um pouco mais a profundidade desse resultado, a partir de alguns exemplos. Resolvi escrever aqui sobre ele. Para quem não conhece o problema, ele pode ser encarado da seguinte forma:
Problema da Parada
Entrada: um programa "P" com sua respectiva entrada "E".
Saída: Sim, se o programa "P" para de rodar com a entrada "E". Não, caso contrário.
Em outras palavras, dado um programa, você quer saber se ele para de rodar ou não. Pra descobrir isso, você precisa de um outro programa. Mas, como Alan Turing mostrou, não existe um programa que resolva o Problema da Parada. Não vou entrar na argumentação de porque ele não existe, mas sim em uma outra coisa que nunca havia me dado conta, de quão importante é esse resultado.
Considere, por exemplo, o Último Teorema de Fermat. Caso existisse um programa que resolvesse o problema da parada, teríamos uma prova quase trivial para o Último Teorema de Fermat. Considere o programa P abaixo:
Programa P
Para toda tripla (x, y, n) de inteiros, x > 0, y > 0, n > 2.
Verifique se existe z inteiro satisfazendo:
Se existe z, pare.
Note que esse programa só parará de rodar caso exista um contra-exemplo para o Último Teorema de Fermat. Portanto, utilizando a solução do Problema da Parada com o programa P como entrada, teríamos como verificar a validade do Último Teorema de Fermat. Da mesma forma, esse mesmo argumento poderia ser utilizado para provar (ou refutar) diversas conjecturas e resultados por aí.
Claro que, mesmo se existisse, a solução para o Problema da Parada poderia ser ineficiente, ou seja, poderia ser necessário muito tempo para que o programa rodasse e uma resposta fosse dada. Mas esse tempo ainda seria finito e, portanto, podemos praticamente afirmar que seria apenas uma "questão de tempo" até termos uma resposta. Note que o programa P serviria para refutar o Último Teorema de Fermat caso ele não fosse verdadeiro mas, por outro lado, apenas com ele, nunca poderíamos ter certeza de que o teorema é verdadeiro, pois nesse caso ele teria que testar uma infinidade de triplas e, portanto, nunca pararia. Assim, de fato, a solução do Problema da Parada seria um resultado importantíssimo.
terça-feira, 15 de junho de 2010
Exame de qualificação
Semana que vem, dia 22, às 10:00, ocorrerá meu exame de qualificação. É um passo acadêmico e burocrático do doutorado, onde você deve apresentar para uma banca aquilo que você fez e aquilo que pretende fazer no restante do doutorado. Na banca, além do meu orientador, Jayme Szwarcfiter (já digito sem ter que copiar!), estarão também o professor Valmir Barbosa, um (excelente) professor titular da Coppe, UFRJ, e o professor Eduardo Laber, da PUC-Rio.
Normalmente o exame de qualificação ocorre no meio do doutorado, ou seja, depois de 2 anos de ingresso, mas, no meu caso, acabou tendo que ser diferente. O Jayme tem um projeto de pesquisa com uma universidade da Alemanha, que prevê, dentre outras coisas, bolsas de doutorado sanduíche. Assim, surgiu a possibilidade de passar um tempinho lá. Devido ao calendário acadêmico alemão, seria interessante que eu fosse em outubro próximo. Assim, acabei tendo que correr pra defender o exame de qualificação mais cedo, com apenas 1 ano de doutorado. A parte boa é que isso acabou imprimindo um ritmo mais intenso no doutorado, que me impede de procrastinar como de costume ;-)
Agora é correr pra conseguir fazer tudo certo e a tempo pra conseguir satisfazer o calendário da burocracia da Capes e não ter que adiar a viagem.
sexta-feira, 9 de abril de 2010
Primeiro de Abril
Brincadeirinha de primeiro de abril que achei por aí... Atrasado, mas sempre em tempo :)
segunda-feira, 15 de março de 2010
Bateria de balde
Revivendo os mortos, ou melhor o blog... Na verdade, estou só dando uma desfibrilação nele =P
quinta-feira, 11 de fevereiro de 2010
terça-feira, 26 de janeiro de 2010
Viagem ao Chile - Parte 2
Acabou que não continuei com os posts da viagem. A razão foi simples: tomava muito tempo e preferi fazer isso quando estivesse de volta ao Brasil. Depois na volta corri atrás de algumas coisas e agora tive a disposição de tentar contar o que aconteceu no resto da viagem.
O post anterior contou como foi o sábado que, na prática, foi o primeiro dia em Santiago. No domingo, era dia de ir pra Valparaíso, local onde seria realizado o curso. Mas como só iríamos à tarde, aproveitamos o dia para terminar de visitar a cidade.
O dia começou com uma visita ao Museu de arte precolombiana, citado em diversos lugares como um dos pontos de visita obrigatória para turistas. Nele, há objetos de civilizações existentes antes da chegada dos europeus, encontrados em diversas partes da América Latina. Como todo museu, não adianta descrever, só visitando pra saber como realmente é. Do acervo, achei interessante alguns tecidos e teares encontrados.
O Museu fica em um dos cantos da Plaza de Armas, um dos pontos mais famosos de Santiago. A praça, com uma área bem arborizada é cercada por prédios históricos, como a Catedral Metropolitana de Santiago.
Dali, seguindo mais uma vez as recomendações para turistas em Santiago, fomos ao último lugar que faltava de nossa lista, citado, principalmente pela gastronomia: o Mercado Central. É basicamente um grande mercado de frutos do mar, que aparentemente são muito presentes na culinária local, mas também tem restaurantes (cuja especialidade não poderia ser outra). Comi um Pastel de Choclo, que é uma espécia de "Escondidinho", mas com milho ao invés de aipim. Sob o aipim, tinha carne, frango, linguiça e ovo cozido. Foi uma surpresa bastante agradável, pra quem achou que ia comer um negócio qualquer só pra não ficar com fome. Bebemos Pisco Sour, uma espécie de caipirinha a base de Pisco, um destilado local, e com clara de ovo. Experimentamos também um vinho chileno Carmen Rhin, sugestão do garçon. Aliás, fomos muito bem atendidos lá, no Donde Augusto.
Na volta do almoço, passamos pelo Museu de Arte Contemporânea (aquelas artes sem sentido). Se não fosse tão sem sentido e não estivéssemos com tanto sono, teria sido mais divertido.
De lá fomos para o albergue nos preparar pra ida a Valparaíso. Para chegar lá, pegamos o metrô até um terminal rodoviário, um ônibus para a cidade e, para chegar ao albergue, tomamos um taxi.
A chegada no albergue foi meio esquisita: a cidade inteira é em morro, com um aspecto "estranho" pra quem está acostumado a ver as favelas do Rio. O nosso albergue era em uma ruazinha semi-pavimentada. Mas depois da primeira impressão da rua, The Yellow House se mostrou um lugar bem legal para se ficar hospedado. Martin, o dono, era um executivo australiano que cansou daquela vida, se casou com uma chilena e administra do hostel desde então. Por seu australiano e falar inglês nativamente, acaba sendo um ótimo anfitrião para os que não falam espanhol. Ele foi muito receptivo, dando todos os tipos de dicas que se pode imaginar. Falou de pontos turísticos, meios de transporte, lojas próximas, deu dicas de segurança (depois de ouvi-lo fiquei com a impressão de que seria assaltado a qualquer momento), etc. Tirando a ausência de televisão, o conforto do quarto fez com que nos sentissemos em um hotel (até pelo preço, ligeiramente salgado pra um albergue). Em todos os sentidos, o albergue era muito melhor que o de Santiago. A localização era muito boa pra quem estava fazendo o curso, por ficar a cerca de 50 metros do Instituto de Sistemas Complejos de Valparaiso. Coincidentemente, Israel, o único brasileiro no curso que não era da UFRJ, ficou neste mesmo albergue. A diversidade de nacionalidades dos hóspedes era bem interessante.
Valparaiso é uma cidade portuária. É onde fica o maior (ou segundo maior) porto do Chile. Uma vez que a cidade fica num morro, de frente para o mar, a área portuária é visível de grande parte da cidade.
O porto é aproveitado tanto para atividades comerciais quanto para passeios turísticos. Durante nossa estadia lá, dois cruzeiros estiveram atracados, e a todo instante saem passeios de barco, mostrando a cidade de outro ponto de vista, além de poder-se ver de perto os navios de cruzeiro e embarcações militares.
Além do mar, a cidade tem outros atrativos, como alguns museus incluindo como uma das casas do poeta Pablo Neruda, que visitamos em um dos dias. Por ser repleta de morros, os ascensores (elevadores) são muito comuns na cidade, para levar as pessoas das partes mais baixas às partes mais altas.
Próximo de Valparaiso, fica Viña del Mar, uma cidade um pouco maior, com hotéis de luxo, cassinos, condomínios à beira da praia e um grande shopping center. Em uma das tardes fomos visitar a cidade e aproveitamos pra fazer algumas compras. Algumas marcas lá eram bem familiares a nós brasileiros, como Petrobrás, Itaú, Brahma e Azaléia.
O curso em si foi bem legal. Era dividido em 3 partes: uma de teoria dos jogos, outra de otimização e uma terceira de teoria topológica de grafos. Acho os três temas interessantes, mas infelizmente viajei muito no de teoria dos jogos. Os outros dois foram bem legais, sendo o terceiro o que valeu mais a pena pra minha área de estudo atual. Dependendo dos temas, quem sabe não apareço em uma próxima edição? :)
O post anterior contou como foi o sábado que, na prática, foi o primeiro dia em Santiago. No domingo, era dia de ir pra Valparaíso, local onde seria realizado o curso. Mas como só iríamos à tarde, aproveitamos o dia para terminar de visitar a cidade.
O dia começou com uma visita ao Museu de arte precolombiana, citado em diversos lugares como um dos pontos de visita obrigatória para turistas. Nele, há objetos de civilizações existentes antes da chegada dos europeus, encontrados em diversas partes da América Latina. Como todo museu, não adianta descrever, só visitando pra saber como realmente é. Do acervo, achei interessante alguns tecidos e teares encontrados.
O Museu fica em um dos cantos da Plaza de Armas, um dos pontos mais famosos de Santiago. A praça, com uma área bem arborizada é cercada por prédios históricos, como a Catedral Metropolitana de Santiago.
Dali, seguindo mais uma vez as recomendações para turistas em Santiago, fomos ao último lugar que faltava de nossa lista, citado, principalmente pela gastronomia: o Mercado Central. É basicamente um grande mercado de frutos do mar, que aparentemente são muito presentes na culinária local, mas também tem restaurantes (cuja especialidade não poderia ser outra). Comi um Pastel de Choclo, que é uma espécia de "Escondidinho", mas com milho ao invés de aipim. Sob o aipim, tinha carne, frango, linguiça e ovo cozido. Foi uma surpresa bastante agradável, pra quem achou que ia comer um negócio qualquer só pra não ficar com fome. Bebemos Pisco Sour, uma espécie de caipirinha a base de Pisco, um destilado local, e com clara de ovo. Experimentamos também um vinho chileno Carmen Rhin, sugestão do garçon. Aliás, fomos muito bem atendidos lá, no Donde Augusto.
Na volta do almoço, passamos pelo Museu de Arte Contemporânea (aquelas artes sem sentido). Se não fosse tão sem sentido e não estivéssemos com tanto sono, teria sido mais divertido.
De lá fomos para o albergue nos preparar pra ida a Valparaíso. Para chegar lá, pegamos o metrô até um terminal rodoviário, um ônibus para a cidade e, para chegar ao albergue, tomamos um taxi.
A chegada no albergue foi meio esquisita: a cidade inteira é em morro, com um aspecto "estranho" pra quem está acostumado a ver as favelas do Rio. O nosso albergue era em uma ruazinha semi-pavimentada. Mas depois da primeira impressão da rua, The Yellow House se mostrou um lugar bem legal para se ficar hospedado. Martin, o dono, era um executivo australiano que cansou daquela vida, se casou com uma chilena e administra do hostel desde então. Por seu australiano e falar inglês nativamente, acaba sendo um ótimo anfitrião para os que não falam espanhol. Ele foi muito receptivo, dando todos os tipos de dicas que se pode imaginar. Falou de pontos turísticos, meios de transporte, lojas próximas, deu dicas de segurança (depois de ouvi-lo fiquei com a impressão de que seria assaltado a qualquer momento), etc. Tirando a ausência de televisão, o conforto do quarto fez com que nos sentissemos em um hotel (até pelo preço, ligeiramente salgado pra um albergue). Em todos os sentidos, o albergue era muito melhor que o de Santiago. A localização era muito boa pra quem estava fazendo o curso, por ficar a cerca de 50 metros do Instituto de Sistemas Complejos de Valparaiso. Coincidentemente, Israel, o único brasileiro no curso que não era da UFRJ, ficou neste mesmo albergue. A diversidade de nacionalidades dos hóspedes era bem interessante.
Valparaiso é uma cidade portuária. É onde fica o maior (ou segundo maior) porto do Chile. Uma vez que a cidade fica num morro, de frente para o mar, a área portuária é visível de grande parte da cidade.
O porto é aproveitado tanto para atividades comerciais quanto para passeios turísticos. Durante nossa estadia lá, dois cruzeiros estiveram atracados, e a todo instante saem passeios de barco, mostrando a cidade de outro ponto de vista, além de poder-se ver de perto os navios de cruzeiro e embarcações militares.
Além do mar, a cidade tem outros atrativos, como alguns museus incluindo como uma das casas do poeta Pablo Neruda, que visitamos em um dos dias. Por ser repleta de morros, os ascensores (elevadores) são muito comuns na cidade, para levar as pessoas das partes mais baixas às partes mais altas.
Próximo de Valparaiso, fica Viña del Mar, uma cidade um pouco maior, com hotéis de luxo, cassinos, condomínios à beira da praia e um grande shopping center. Em uma das tardes fomos visitar a cidade e aproveitamos pra fazer algumas compras. Algumas marcas lá eram bem familiares a nós brasileiros, como Petrobrás, Itaú, Brahma e Azaléia.
O curso em si foi bem legal. Era dividido em 3 partes: uma de teoria dos jogos, outra de otimização e uma terceira de teoria topológica de grafos. Acho os três temas interessantes, mas infelizmente viajei muito no de teoria dos jogos. Os outros dois foram bem legais, sendo o terceiro o que valeu mais a pena pra minha área de estudo atual. Dependendo dos temas, quem sabe não apareço em uma próxima edição? :)
Assinar:
Postagens (Atom)
Postagens
