Uma idéia bastante terna a qualquer geek que a conheça é a recursão e, por extensão, a auto-referência e a metalinguagem. E muitos gostam bastante de jogos. Então, o que acontece quando se faz um jogo cujas regras envolvem mudar as próprias regras? Aparentemente, Nomic.

Nomic é um jogo cuja única ação (a princípio, pelo menos) é sugerir e aprovar/reprovarar mudanças nas regras, e ganha quem primeiro chegar a 100 pontos. É uma idéia interessante, embora um tanto complexa para resumir em poucas palavras, ao que aparenta pelo conjunto de 29 regras necessário para começar uma sessão de jogo. Ou será que não? Que tal tentar uma partida de Nomic “puro”? Nessa versão destilada do jogo de Suber, há somente uma ou duas regras, o que permite jogar em qualquer lugar, mantendo as regras na memória, em vez de ter de lidar com muitos cartões, mesa, lápis e borracha.

Tomar parte em um jogo cujo andamento envolve mudar o próprio jogo pode ser uma experiência libertadora, e você pode descobrir mais sobre o modo de pensar daqueles que jogam com você. Ou não: isso pode se transformar em uma lambança imensa, dependendo da vontade dos participantes. De qualquer jeito, é uma experiência em auto-regulamentação, semelhante àquilo que acontece na legislatura.

Outro jogo que usa o conceito de mudar as próprias regras, embora o faça de modo controlado, é Fluxx, da Looney Labs. Trata-se de um jogo de cartas, que começa com cada um comprando e jogando uma única carta em seu turno. Entretanto, cartas de regras podem alterar significativamente o andar das coisas: você pode acabar tendo que comprar três cartas, jogar cinco (a primeira das quais escolhida aleatoriamente), com os turnos rodando no sentido inverso, e descartar até ficar com duas cartas, além do objetivo do jogo mudar.

Alguns outros jogos que merecem menção, embora não mudem as regras em si, mas por partilhar o espírito de reinvenção contínua, são Dvorak, no qual cartas - e seus efeitos - são definidas pelos jogadores, até mesmo durante o jogo e 1000 Blank Cards, um jogo no melhor espírito discordiano.

Posts Relacionados:

Assine nosso RSS feed!

Horas depois que fotógrafos obtiveram imagens de Gilberto Gil e Richard Stallman executando a “Free Software Song” em frente a um dos prédios do campus da Microsoft em Richmond, Washington, ontem à tarde, as bolsas pelo mundo vêm observando uma forte queda dos papéis da empresa.

Alguns atribuem esse efeito à voz melodiosa de RMS. Outros dizem que muitos programadores e engenheiros ficaram emocionados com a exortação à liberdade que a música representa, e decidiram passar a evangelizar para a Free Software Foundation durante o seu horário de trabalho. Analistas dizem que isso diminuirá tremendamente a produtividade da Microsoft.

Por outro lado, ações da Red Hat, SuSE GmbH e Mandriva têm desempenhado bem hoje nos mercados japonês, francês e alemão. Continuaremos observando as tendências das bolsas ao redor do mundo. Podemos voltar a qualquer momento com notícias da Bovespa e da Nasdaq, e se você quiser contribuir para a fiança de Stallman, pode fazê-lo pela página de doações da FSF.

Posts Relacionados:

Assine nosso RSS feed!

Como muitos de vocês devem saber, é possível fazer iogurte a partir de leite e de um pouco de iogurte. Imagine que temos tanto leite quanto for necessário. Então, se tivermos algum iogurte, podemos fazer uma leva de iogurte. Dessa leva, podemos reservar um pouco para a produção de outra leva, da qual podemos tirar um pouco para originar a terceira, e assim por diante.

De forma geral, se tivermos uma leva de iogurte, podemos produzir a próxima a partir de atividades simples, as quais temos recursos para realizar. Então conseguimos produzir qualquer número de levas de iogurte. Basta que tenhamos o iogurte original e que consigamos fazer a próxima leva a partir da anterior.

Se você conseguiu acompanhar esses iogurtes todos, você entendeu o princípio da indução finita (ainda que muito informalmente).

Na indução, temos um caso base, B, para o qual a fórmula que se quer provar verdadeira é de fato verdadeira (nos laticínios, trata-se do iogurte que deu origem aos outros). Se conseguirmos atestar que a fórmula é verdadeira para um natural N a partir da premissa de que é válida para (N-1), isto é, que conseguimos construir a próxima solução a partir da solução atual (em nossa analogia, fazer a próxima leva de iogurte), então podemos afirmar que o que queremos provar vale para todo natural maior do que B.

Da próxima vez, em O Iogurte Recursivo, a explicação será um pouco mais aprofundada e abordará recursão também.

Posts Relacionados:

Assine nosso RSS feed!

O “Lambda the Ultimate - Programming Languages Weblog” é um blog em inglês que versa sobre linguagens de programação, com ênfase nas linguagens funcionais - como Haskell, Scheme, Lisp e ML.

O foco principal é sobre paradigams das linguagens, embora não sejam de todo incomuns notícias sobre questões “mais práticas”, como implementação (interpretação e compilação) e facilidade de programação.

O conteúdo (fornecido por usuários) é rico em links para outros sites e, vez por outra, artigos acadêmicos e páginas detalhadas sobre o assunto em questão. Embora seja um pouco bagunçado - por ter informação demais - vale a pena conferir, se você tem interesse em entender e discutir a estrutura de linguagens de programação.
url: http://lambda-the-ultimate.org

Posts Relacionados:

Assine nosso RSS feed!