Tah-dah

Inaugurado o novo blog agora mais fácil de mexer (pra mim pelo menos) e que todos podem comentar sem precisar de um login. Informo também que deixarei o myspace em breve.

Peço desculpas aos cometários que se perderam durante a transição… mas sintam-se livres para deixar novos aqui =)

PS: Com quem eu to falando? Meu blog tem 3 leitores, no máximo.

Sobre o voto obrigatório

Eu até poderia colocar minha opinião aqui, mas acho que esse texto muito bem escrito já diz tudo.

Agora meus comentários minhas perguntas.

(Perguntas 1)
Se 60, 75 ou 80% das pessoas são a favor do voto facultativo, por que isso não muda? Se for por falta de vontade dos políticos, por que não conseguimos pressionar eles? Qual seria uma maneira eficiente para pressioná-los nesse caso?

(Perguntas 2)
Por que não existem movimentos políticos mais? Parece clichê, mas será que as pessoas estão *realmente* ocupadas demais pra isso? Ninguém que eu conheça parece ter tempo pra sair nas ruas e fazer protestos…

(Perguntas 3)
Por que as pessoas andam mais ocupadas? Talvez por que a cobrança sobre elas seja maior. Mas por que a cobrança aumentaria? Talvez, para sobreviver nesse mundo competitivo. Por que ele ficou competitivo? Talvez por que agora a competição é mundial, e não local, já que vc entra na internet e consegue encontrar 5 jeitos de fazer uma coisa que vc está tentando fazer, com soluções todas melhores que as suas… Uma pessoa essa semana me sugeriu que com a facilidade de acesso à informação nós somos cobrados mais. Não me pareceu besteira.

Mas eu to divagando…

Matemática

1. Números transcendentais
    Um número transcendental é um número possivelmente complexo que não é raiz de *nenhum* polinômio com coeficientes inteiros. =)

2. Teorema dos quatro quadrados de Lagrange  
    Todo número natural pode ser escrito como a soma de quatro quadrados. TODO número natural… o.O

3. Teorema de Fermat sobre a soma de dois quadrados
    Dado um número primo ímpar p, temos:  p = x^2 + y^2 <=> p = 1 mod 4

PS: Arrumar um jeito pra escrever as fórmulas com a notação bonitinha.

Sobre funções computáveis

The most amazin fact: “All the attempts at formalizing the intuitive notion of computable function yield exactly the same class of functions.” [1]

Paradigma 1: Máquina de Turing
– Possui uma fita dividida em quadrados (potencilamente infinita – pode ser estendida para a direita ou esquerda quando necessário).
– Possui uma cabeça de leitura que observa um quadrado, lê ou escreve algo no quadrado corrente ou se move para um dos quadrados vizinhos.
– Cada quadrado pode conter um símbolo (1) ou estar vazio (0).
– Operações básicas:
  1. Escreve o símbolo 1 no quadrado corrente.
  2. Apaga o símbolo que ocorre no quadrado corrente.
  3. Move para o quadrado à direita.
  4. Move para o quadrado à esquerda.

Paradigma 2
: Função recursiva primitiva
– Todas as funções computáveis são resultado da aplicação de duas operações básicas em três funções básicas que são obviamente computáveis.
– Funções iniciais:
  1. Z(n) = 0 –> zero
  2. S(n) = sucessor de n na sequência de números naturais –> sucessor
  3. P(i,k) (x1, x2, …, xk) = xi –> projeção
– Operações básicas:
  1. Composição de funções
  2. Recursão primitiva:
      * para funções de uma variável: f(0) = d
                                                          f(n+1) = h( f(n), n )
      * para funções de mais de uma variável: f(0, x1, x2, … xk) = g(x1, x2, … xk)
                                                                        f(n+1, x1, x2, … xk) = h( f(n, x1, x2, … xk), n, x1, x2, … xk )

Dentre outros paradigmas…
Bacana pensar que essas duas definições super diferentes (uma bem operacional e outra bem matemática) vão resultar na mesma classe de funções. Isso pode ser um indicativo que eles estão na direção certa (se é que existe uma direção natural pré-definida pra seguir).

[1] Computability 3ed. Epstein, R. L. and Carnielli, W. A.

Sobre P = NP

Estava lendo esses dias esse artigo aqui da ACM sobre o estado atual da arte na tentativa de provar se P é igual ou diferente de NP, e algumas observações me fizeram perceber algo que não tinha reparado antes.

Todos nós sabemos que a segurança da criptografia de chave pública (utilizada para transferir dados de modo seguro por uma rede de computadores) se baseia fortemente na dificuldade de fatorar números grandes em primos (também grandes). E existe toda a lenda de que se alguém provar que P=NP, toda a segurança vai por água abaixo, o que nos leva a supor que o problema de fatorar números seja NP-completo. Entretanto, no artigo citado o autor afirma que não se sabe se esse problema é NP e acredita-se realmente que ele não seja. Então eu me pergunto porque existe esse alarde todo sobre a segurança da criptografia quando se fala sobre P = NP. Tá faltando alguma coisa… se P for igual a NP significaria que todos os problemas poderiam ser resolvidos em tempo polinomial? Até aqueles que não se sabe a que classe pertencem?

Eu to perdendo algum detalhe…

Sobre sacolinhas plásticas

Durante uma discussão na grad se a atitude de não usar sacolinhas plásticas é válida ou não para ajudar a resolver o problema do meio ambiente, surgiu o argumento que na verdade o problema está na população mundial que não pára de crescer. Então fui pesquisar sobre o crescimento da população e descobri que ele têm diminuído. Talvez ele seja negativo um dia, mas isso não é motivo pra eu parar de tentar ser ecologicamente correta. Afinal de contas, eu gostaria que o mundo melhorasse dentro dos próximos 10 ou 20 anos, quando ainda estarei aqui lúcida (assim eu espero!).

Enfim, o mais legal foi que eu achei isso aqui: http://esa.un.org/unpp/index.asp?panel=2
Com um monte de dados de um monte de países, ou continentes ou o mundo todo.