Domingo, Novembro 30, 2003
HA, agora sim, o Google está me fazendo jus com a propaganda ali em cima (do Blogspot):
"Related Searches:
• set theory • proof • mathematics • axiom • ask dr math • discrete math • calculus • logic • venn diagram • lambda calculus"
publicado por shinji-kun ?s 16:35
Quinta-feira, Novembro 27, 2003
The proof of Gödel's Incompleteness Theorem is so simple, and so sneaky, that it is almost embarassing to relate. His basic procedure is as follows:
1. Someone introduces Gödel to a UTM, a machine that is supposed to be a Universal Truth Machine, capable of correctly answering any question at all.
2. Gödel asks for the program and the circuit design of the UTM. The program may be complicated, but it can only be finitely long. Call the program P(UTM) for Program of the Universal Truth Machine.
3. Smiling a little, Gödel writes out the following sentence: "The machine constructed on the basis of the program P(UTM) will never say that this sentence is true." Call this sentence G for Gödel. Note that G is equivalent to: "UTM will never say G is true."
4. Now Gödel laughs his high laugh and asks UTM whether G is true or not.
5. If UTM says G is true, then "UTM will never say G is true" is false. If "UTM will never say G is true" is false, then G is false (since G = "UTM will never say G is true"). So if UTM says G is true, then G is in fact false, and UTM has made a false statement. So UTM will never say that G is true, since UTM makes only true statements.
6. We have established that UTM will never say G is true. So "UTM will never say G is true" is in fact a true statement. So G is true (since G = "UTM will never say G is true").
7. "I know a truth that UTM can never utter," Gödel says. "I know that G is true. UTM is not truly universal."
Think about it - it grows on you ...
Pergunte ao Google!
publicado por shinji-kun ?s 17:17
In 1931, the Czech-born mathematician Kurt Gödel demonstrated that within any given branch of mathematics, there would always be some propositions that couldn't be proven either true or false using the rules and axioms ... of that mathematical branch itself. You might be able to prove every conceivable statement about numbers within a system by going outside the system in order to come up with new rules and axioms, but by doing so you'll only create a larger system with its own unprovable statements. The implication is that all logical system of any complexity are, by definition, incomplete; each of them contains, at any given time, more true statements than it can possibly prove according to its own defining set of rules.
Gödel's Theorem has been used to argue that a computer can never be as smart as a human being because the extent of its knowledge is limited by a fixed set of axioms, whereas people can discover unexpected truths ... It plays a part in modern linguistic theories, which emphasize the power of language to come up with new ways to express ideas. And it has been taken to imply that you'll never entirely understand yourself, since your mind, like any other closed system, can only be sure of what it knows about itself by relying on what it knows about itself.
publicado por shinji-kun ?s 17:06
Terça-feira, Novembro 25, 2003
Estou experimentando com o Spirit e dentro em breve terei um parser muito veloz para as mensagens do RFC 2812. Foda que a representação ABNF da mensagem no RFC é ruim demais e tive que adaptar. É o caminho para a luz -- e para um ircd, talvez.
O Spirit é muito maneiro e com certeza vai servir como parser quando o Projeto Arco estiver mais complexo.
Morra de inveja, .NET, porque não dá pra usar o Spirit e você ao mesmo tempo.
(Eu tentei hoje à tarde com Managed C++ e o compilador deu pau.)
Essa semana, prova de Cálculo III, portanto, me esqueçam no IRC e no ICQ.
<o>
publicado por shinji-kun ?s 22:36
Segunda-feira, Novembro 24, 2003
Puta que pariu, se as propagandas do Google em cima do meu blog são selecionadas por contexto, porque diabos tem ali "Apetite em excesso? Reduza o seu apetite naturalmente e fique mais magra(o)" ?
publicado por shinji-kun ?s 23:55
Domingo, Novembro 23, 2003
BrasNET hackeada toda hora.
BrasIRC não existe mais.
Essa VirtuaLife é ridícula e inacessível quase todo o tempo.
Pra ter um IRC decente nós temos que montar o nosso próprio.
publicado por shinji-kun ?s 19:28
Álgebra Linear rul3z.
publicado por shinji-kun ?s 16:43
Quinta-feira, Novembro 20, 2003
<video_girl> É dia da Consciência Negra também, não?
<shinji-kun> É, a terrível Consciência Negra que comanda as hordas do mal.
publicado por shinji-kun ?s 22:59
Cara, eu tive uma revelação, agora.
Pensa só.
Pensa no estado de Caos que está o Rio de Janeiro, governado por evangélicos -- aqueles que falam o tempo todo sobre o Apocalipse e o Fim dos Dias.
Morte e violência sem controle.
E então é declarado um novo feriado -- o dia dos zumbis.
PH34R!
publicado por shinji-kun ?s 22:45
A propósito, em consideração a um recente comentário sobre a importância de um herói nacional, eu só tenho o seguinte a dizer:
talvez eu considerasse esse tal zumbi um herói nacional se fosse um morto-vivo cidadão da República Federativa dos Palmares.
E para os interestaduais que não compreendem a situação, sim, hoje é feriado no Rio de Janeiro -- Dia dos Zumbis.
publicado por shinji-kun ?s 22:42
Sinto muito por vocês de fora do Rio de Janeiro que não aproveitaram o maravilhoso feriado que foi o Dia do Zumbi.
As hordas do mal agradecem o apoio do governo local.
publicado por shinji-kun ?s 19:57
PAZ!
Valeu pelo toque, Seraphim.
publicado por shinji-kun ?s 18:26
Que espécie de heresia é essa?
Como assim "eca"?
O que diriam os chineses e a sua milenar tradição?
:-/
publicado por shinji-kun ?s 16:14
Quarta-feira, Novembro 19, 2003
Chá de hortelã.
publicado por shinji-kun ?s 23:39
Correndo o risco de ofender a quem for, depois de mais um comentário sobre como a trilogia Matrix é "fraca", exponho aqui a minha opinião:
se você não gostou, quem sabe na sua próxima vida.
Sacou?
publicado por shinji-kun ?s 22:25
Impressionante. É extremamente prazeiroso ter esboços de boas noções e perceber que a humanidade não está para trás -- muito pelo contrário.
publicado por shinji-kun ?s 00:33
Terça-feira, Novembro 18, 2003
Kasparov empatou com Fritz!
publicado por shinji-kun ?s 22:09
Por acaso eu já mencionei que ler Foucault está revirando meu cérebro?
Eu não sinto tanto que o esteja estudando quanto que esteja bombardeando minha mente com ele.
É impressionante o quanto está implícito no simples ato de falar, quão impregnado de significado.
Me lembra João: Primeiro era o Verbo.
A riqueza das relações entre os verbos e os julgamentos, entre os nomes e as semelhanças, é tal que As Palavras e as Coisas vai pedir uma releitura ou duas.
Para as questões mais práticas: apesar da complexidade da linguagem que nós usamos agora, essa complexidade é constituída de camadas que crescem sobre os processos mais básicos da própria linguagem; processos esses que podem ser traçados para trás até construções simples de sujeito, predicado, objeto para trás até as relações entre um nome e um outro nome através de um julgamento, mais para atrás até o mero ato de trazer à luz da consciência uma idéia ou indicar uma existência ou uma ocorrência particular através de um nome ou de um verbo exclamado para quem possa ouvir.
Tal que se nos propusemos a interagir com nossos computadores através da fala, nada mais apropriado que construir essa relação lingüística como ela foi construída entre nós.
Creio que, do mesmo modo, sob o ponto de vista de que somos máquina à qual um dia a fala foi ensinada, pela mesma razão acordar para os fundamentos da forma mestra de expressão como uma ferramenta prática para a realização final: Conhece-te a ti mesmo implica Sejas capaz de descrever-te a ti mesmo.
publicado por shinji-kun ?s 00:40
Domingo, Novembro 16, 2003
Kasparov kickin' ass.
publicado por shinji-kun ?s 23:20
Excelente citação, gostaria de saber o autor.
The big question I have about talking computers is: Who's going to program them? I raise this question because a lot of programmers are young guys, which means they might be good at understanding computers, but might not have developed the social skills necessary to tell a computer how to talk to humans, especially female humans...
publicado por shinji-kun ?s 19:19
Quinta-feira, Novembro 13, 2003
Com toda a cerveja fim de semana passado, era fatal que um novo projeto surgisse.
Lo and behold!
Fora o meu projeto final, que está engatinhando nos seus inícios, consegui finalmente coagir meu irmão mais velho a um projeto em comum -- vamos fazer nossos computadores falarem.
Considero a primeira tarefa transformar discurso humano em informação de máquina, o que basicamente significa compilar português; o que por sua vez significa basicamente que eu preciso aprender (ou ser capaz de fornecer uma) especificação o mais formal possível da gramática e da sintaxe do português.
Já andei sondando pessoas conhecidas sobre o assunto, mas agora as coisas estão indo mais pra frente, portanto quem puder me ajudar com esse assunto, seja com sua expertise, seja com recomendação de material, sinta-se bem vindo.
Estou agora experimentando com o quanto do assunto eu sei e uma gramática simples em ABNF.
Se à despeito da tendência natural das coisas e do meu histórico esse projeto chegar a produzir algum resultado visível, será um ponto de amarração para todas as minhas últimas linhas de pesquisa, desde o propósito do significado até Foucault.
PH34R MY L33T L1NGU1S71C 5K1LLZ!
publicado por shinji-kun ?s 00:48
Quarta-feira, Novembro 12, 2003
Foucault está se provando uma leitura muito desafiadora.
Me parece realmente muito difícil usar signos para transmitir significados sobre a relação entre signos e significados.
publicado por shinji-kun ?s 01:14
Terça-feira, Novembro 11, 2003
Não.
publicado por shinji-kun ?s 22:22
Segunda-feira, Novembro 10, 2003
Cá estou eu, no trabalho, com uma puta vontade de ler Megatokyo.
publicado por shinji-kun ?s 10:40
Quarta-feira, Novembro 05, 2003
Me digam o que lhes ocorre ao ler esse trecho.
[quote]
"uma certa enciclopédia chinesa" onde será escrito que "os animais se dividem em: a) pertencentes ao imperador, b) embalsamados, c) domesticados, d) leitões, e) sereias, f) fabulosos, g) cães em liberdade, h) incluídos na presente classificação, i) que se agitam como loucos, j) inumeráveis, k) desenhados com um pincel muito fino de pêlo de camelo, l) et cetera, m) que acabam de quebrar a bilha, n) que de longe parecem moscas"
[/quote]
publicado por shinji-kun ?s 00:20
