| Blog GTI - Melhores entradas recentes |
 Syndicate weBLogs |
20/12/2007
Vídeos de Filosofia na Web, da UNISINOS, inclusive com a possibilidade de participar de eventos/aulas que estejam acontecendo ao vivo, em videoconferência.
Confira em: http://www.humanas.unisinos.br/info/filoweb/
Confira em: http://www.humanas.unisinos.br/info/filoweb/
20/12/2007
O Programa "Sempre Um Papo" é considerado um dos mais respeitados projetos de incentivo ao hábito da leitura do país, já que coloca frente a frente autor e leitor para uma conversa descontraída. Um espaço para a troca de idéias, onde todos aprendem e ensinam, simultaneamente.
Confira no site: http://www.sempreumpapo.com.br/capa/frame.php
Confira no site: http://www.sempreumpapo.com.br/capa/frame.php
23/10/2007
O PROBLEMA DA PARADA
Fonte: http://www.overmundo.com.br/blogs/paradoxos-e-a-impossibilidade-de-representar-tudo
(Autor: Murilo Ferraz Franco)
"Uma coisa que sempre me intrigou na lógica é que temos que provar tudo, até coisas idiotas, como P implica P (é óbvio que se P é verdade então P é verdade), mas não há espaço para questionar a noção de "verdadeiro" e "falso". De onde chegaram a esses dois valores? por que P pode assumir só esses valores e não um "quase verdadeiro" ou coisa do gênero?
É por isso que a lógica não pode representar tudo. Um dos problemas mais famosos na computação é o problema da parada, apresentado por Alan Turing. Por meio de um paradoxo, de formulação semelhante ao famoso paradoxo de Russel, Turing prova que não é possível para uma máquina de Turing (máquina teórica inventada por ele que, modificada por Von Neumann, forma a arquitetura dos computadores modernos) resolver todos os problemas (ou representar todas as linguagens).
O problema é bastante complexo e mistura lógica, filosofia, linguística, matemática e computação. Basicamente o problema é esse: se você cria um conjunto A com todos os conjuntos B que não pertencem a si mesmos, A está nesse conjunto ou não? Se A estiver, então não pertence a si mesmo e não deveria estar. Se não estiver, deveria estar por não pertencer a si mesmo. Um paradoxo. A pertence a ele mesmo? Verdadeiro e falso ao mesmo tempo.
O paradoxo de Russel é também popularmente descrito como o paradoxo do barbeiro de Sevilha. Existe em Sevilha um barbeiro que faz a barba de todas as pessoas que não fazem a própria barba e somente dessas. Ele faz a própria barba? Se sim, não poderia fazer, pois só faz a barba de quem não faz a própria barba. Se não, teria que fazer, pois faz a barba de todas as pessoas que não fazem a própria barba.
Com os computadores, esse problema ocorre porque computadores tratam linguagens formais e linguagens formais são conjuntos de palavras. O problema implica que não é possível fazer programas que testem se outros programas condizem com uma certa especificação formal, pois não é possível dizer se ele vai ou não parar e dar uma resposta. Pode ficar processando para sempre.
Muitos linguistas, filósofos, escritores, matemáticos, etc. trataram de problemas parecidos com esse. Até que ponto a lógica, a linguística ou a matemática estão fundamentadas de forma sólida? Quais os limites da representação dessas 'linguagens'?"
Fonte: http://www.overmundo.com.br/blogs/paradoxos-e-a-impossibilidade-de-representar-tudo
(Autor: Murilo Ferraz Franco)
"Uma coisa que sempre me intrigou na lógica é que temos que provar tudo, até coisas idiotas, como P implica P (é óbvio que se P é verdade então P é verdade), mas não há espaço para questionar a noção de "verdadeiro" e "falso". De onde chegaram a esses dois valores? por que P pode assumir só esses valores e não um "quase verdadeiro" ou coisa do gênero?
É por isso que a lógica não pode representar tudo. Um dos problemas mais famosos na computação é o problema da parada, apresentado por Alan Turing. Por meio de um paradoxo, de formulação semelhante ao famoso paradoxo de Russel, Turing prova que não é possível para uma máquina de Turing (máquina teórica inventada por ele que, modificada por Von Neumann, forma a arquitetura dos computadores modernos) resolver todos os problemas (ou representar todas as linguagens).
O problema é bastante complexo e mistura lógica, filosofia, linguística, matemática e computação. Basicamente o problema é esse: se você cria um conjunto A com todos os conjuntos B que não pertencem a si mesmos, A está nesse conjunto ou não? Se A estiver, então não pertence a si mesmo e não deveria estar. Se não estiver, deveria estar por não pertencer a si mesmo. Um paradoxo. A pertence a ele mesmo? Verdadeiro e falso ao mesmo tempo.
O paradoxo de Russel é também popularmente descrito como o paradoxo do barbeiro de Sevilha. Existe em Sevilha um barbeiro que faz a barba de todas as pessoas que não fazem a própria barba e somente dessas. Ele faz a própria barba? Se sim, não poderia fazer, pois só faz a barba de quem não faz a própria barba. Se não, teria que fazer, pois faz a barba de todas as pessoas que não fazem a própria barba.
Com os computadores, esse problema ocorre porque computadores tratam linguagens formais e linguagens formais são conjuntos de palavras. O problema implica que não é possível fazer programas que testem se outros programas condizem com uma certa especificação formal, pois não é possível dizer se ele vai ou não parar e dar uma resposta. Pode ficar processando para sempre.
Muitos linguistas, filósofos, escritores, matemáticos, etc. trataram de problemas parecidos com esse. Até que ponto a lógica, a linguística ou a matemática estão fundamentadas de forma sólida? Quais os limites da representação dessas 'linguagens'?"
25/06/2007
Olá, pessoal.
Segue link para o que podemos chamar de "computador do futuro":
http://link.brightcove.com/services/player/bcpid932579976?bclid=932553050&bctid=933742930
Abraços,
Romualdo.
Segue link para o que podemos chamar de "computador do futuro":
http://link.brightcove.com/services/player/bcpid932579976?bclid=932553050&bctid=933742930
Abraços,
Romualdo.
31/05/2007
IMAX - Viagem Cósmica
(Cosmic Voyage)
Indicado ao Oscar®, Viagem Cósmica combina imagens reais com gráficos gerados por computadores de última geração, focalizando a dimensão do ser humano no universo infinito. Um dos pontos altos dessa jornada é o zoom cósmico que utiliza potências matemáticas de base 10, variando desde a superfície da Terra até as maiores estruturas observáveis do Universo, e de volta às esferas subnucleares - um tour dirigido ao longo de 42 diferentes escalas de tamanho. Explore algumas das maiores teorias científicas, incluíndo algumas nunca antes filmadas do nascimento do cosmo e do sistema solar até a natureza dos buracos-negros e das superovas explosivas.
Link: http://www.2001video.com.br/detalhes_produto_extra_dvd.asp?produto=5434
(Cosmic Voyage)
Indicado ao Oscar®, Viagem Cósmica combina imagens reais com gráficos gerados por computadores de última geração, focalizando a dimensão do ser humano no universo infinito. Um dos pontos altos dessa jornada é o zoom cósmico que utiliza potências matemáticas de base 10, variando desde a superfície da Terra até as maiores estruturas observáveis do Universo, e de volta às esferas subnucleares - um tour dirigido ao longo de 42 diferentes escalas de tamanho. Explore algumas das maiores teorias científicas, incluíndo algumas nunca antes filmadas do nascimento do cosmo e do sistema solar até a natureza dos buracos-negros e das superovas explosivas.
Link: http://www.2001video.com.br/detalhes_produto_extra_dvd.asp?produto=5434
24/05/2007
Como Impulsionar a Área de TI
Autor/fonte do artigo: Carolyn Duffy Marsan, da NetworkWorld, do EUA (http://idgnow.uol.com.br/carreira/2007/0...)
Esse conjunto de dicas promete funcionar como um guia para executivos que querem melhorar as operações de tecnologia de suas organizações. Acompanhe as sugestões de analistas e CIOs da indústria e comércio, além de acadêmicos, com os passos que você pode dar para criar mais eficiência no departamento de TI:
1. Acorde
Não é suficiente manter a tecnologia alinhada com os negócios. Descubra como deixar o negócio em pé e em estado de alerta para as novas possibilidades (Johna Till Johnson, presidente da Nemertes Research).
2. Escute
Pergunte para seus parceiros de negócios que te dão suporte se existe um nível suficiente de comunicação e conectividade com o grupo de TI. Se não, corrija isso imediatamente (Paul Groce, parceiro e líder do grupo de práticas de CIO na Christian&Timbers).
3. Vá devagar
Mova-se em ritmo desacelerado quando reorganizar seu departamento. Reconheça que é mais do que somente mover as pessoas e linhas de informação. É o processo de governança; é o relacionamento que tem que existir entre a centralização e a descentralização dos grupos de TI (Jerry Luftman, professor distinto da Home School of Technology no Stevens Institute of Technology).
4. Construa
Avalie as fortalezas e fraquezas da sua equipe. A menos que você deseje fazer vendas em atacado mudar para individuais, voce está de certa forma restrito pelos recursos que tem (Jeff Ton, vice-presidente de processos corporativos, informação e tecnologia da Lauht Property Group).
5. Contrate um nerd
Combine a maioria das áreas técnicas – redes, servidores, sistemas operacionais, bases de dados – sob um diretor ou assistente de vice-presidente (Mike Jones, CIO da Children’s Health System e membro da diretoria executiv da Sociedade para o Gerenciamento da Informação (Society for Information Management).
6. Fale
Treine seus funcionários para usarem a linguagem de negócios para que melhorem suas capacidades de se comunicar com a corporação. Eu sei de uma empresas onde todos os funcionários no departamento de TI foram fazer treinamentos na área de vendas (Johna Till Johnson, presidente da Nemertes Research).
7. Dê assistência às pessoas
Apóie e aconselhe sua equipe. O sucesso da sua organização é completamente dependente das pessoas. A tecnologia não é o que vai fazer você ter sucesso, pois não é suficiente para você ser um líder. Voce tem que treinar todas as pessoas para serem líderes (Henry Eckstein, vice-presidente sênior e CIO da York Insurance Group).
8. Planeje adiante
Desenvolva um plano de sucessão. Trocar os candidatos a substituir sua posição no cargo de CIO por meio de trabalhos apropriados para prepará-los gera garantias, caso mude de idéia ao longo do caminho (Paul Groce, parceiro e líder do grupo de práticas de CIO na Christian&Timbers).
9. Agite
Não tenha medo de sacudir a companhia. Muitas vezes, somente essa agitação desperta muita excitação dentro da empresa (Jeff Ton, vice-presidente de processos corporativos, informação e tecnologia da Lauht Property Group).
10. Construa confiança
Confie nas pessoas que se reportam a você a menos que elas provem que não são de confiança. Mas considere que eles podem não confiar em você até que você prove o contrário (Henry Eckstein, vice-presidente sênior e CIO da York Insurance Group).
Autor/fonte do artigo: Carolyn Duffy Marsan, da NetworkWorld, do EUA (http://idgnow.uol.com.br/carreira/2007/0...)
Esse conjunto de dicas promete funcionar como um guia para executivos que querem melhorar as operações de tecnologia de suas organizações. Acompanhe as sugestões de analistas e CIOs da indústria e comércio, além de acadêmicos, com os passos que você pode dar para criar mais eficiência no departamento de TI:
1. Acorde
Não é suficiente manter a tecnologia alinhada com os negócios. Descubra como deixar o negócio em pé e em estado de alerta para as novas possibilidades (Johna Till Johnson, presidente da Nemertes Research).
2. Escute
Pergunte para seus parceiros de negócios que te dão suporte se existe um nível suficiente de comunicação e conectividade com o grupo de TI. Se não, corrija isso imediatamente (Paul Groce, parceiro e líder do grupo de práticas de CIO na Christian&Timbers).
3. Vá devagar
Mova-se em ritmo desacelerado quando reorganizar seu departamento. Reconheça que é mais do que somente mover as pessoas e linhas de informação. É o processo de governança; é o relacionamento que tem que existir entre a centralização e a descentralização dos grupos de TI (Jerry Luftman, professor distinto da Home School of Technology no Stevens Institute of Technology).
4. Construa
Avalie as fortalezas e fraquezas da sua equipe. A menos que você deseje fazer vendas em atacado mudar para individuais, voce está de certa forma restrito pelos recursos que tem (Jeff Ton, vice-presidente de processos corporativos, informação e tecnologia da Lauht Property Group).
5. Contrate um nerd
Combine a maioria das áreas técnicas – redes, servidores, sistemas operacionais, bases de dados – sob um diretor ou assistente de vice-presidente (Mike Jones, CIO da Children’s Health System e membro da diretoria executiv da Sociedade para o Gerenciamento da Informação (Society for Information Management).
6. Fale
Treine seus funcionários para usarem a linguagem de negócios para que melhorem suas capacidades de se comunicar com a corporação. Eu sei de uma empresas onde todos os funcionários no departamento de TI foram fazer treinamentos na área de vendas (Johna Till Johnson, presidente da Nemertes Research).
7. Dê assistência às pessoas
Apóie e aconselhe sua equipe. O sucesso da sua organização é completamente dependente das pessoas. A tecnologia não é o que vai fazer você ter sucesso, pois não é suficiente para você ser um líder. Voce tem que treinar todas as pessoas para serem líderes (Henry Eckstein, vice-presidente sênior e CIO da York Insurance Group).
8. Planeje adiante
Desenvolva um plano de sucessão. Trocar os candidatos a substituir sua posição no cargo de CIO por meio de trabalhos apropriados para prepará-los gera garantias, caso mude de idéia ao longo do caminho (Paul Groce, parceiro e líder do grupo de práticas de CIO na Christian&Timbers).
9. Agite
Não tenha medo de sacudir a companhia. Muitas vezes, somente essa agitação desperta muita excitação dentro da empresa (Jeff Ton, vice-presidente de processos corporativos, informação e tecnologia da Lauht Property Group).
10. Construa confiança
Confie nas pessoas que se reportam a você a menos que elas provem que não são de confiança. Mas considere que eles podem não confiar em você até que você prove o contrário (Henry Eckstein, vice-presidente sênior e CIO da York Insurance Group).
23/05/2007
Olá, pessoal!
Vale a pena conferir o bom humor do Google:
- Vídeo "Entrevista com Mr. Orkut"
- Google April Fool´s Day (PigeonRank, MentalPlex)
- Google Lights Out (S. Francisco)
Abraços,
Vale a pena conferir o bom humor do Google:
- Vídeo "Entrevista com Mr. Orkut"
- Google April Fool´s Day (PigeonRank, MentalPlex)
- Google Lights Out (S. Francisco)
Abraços,
22/05/2007
Segue link para uma interessante reportagem sobre Comunidades Virtuais:
http://www.tvnet.pt/arquivo/index.php?cat=17
http://www.tvnet.pt/arquivo/index.php?cat=17
11/05/2007
BREVE HISTORIA DE QUASE TUDO, UMA
Autor: BRYSON, BILL
Editora: COMPANHIA DAS LETRAS
Assunto: CIENCIAS/FILOSOFIA E HISTORIA
Sinopse:
Ao constatar que ignorava o porquê dos oceanos serem salgados, o renomado escritor e cronista Bill Bryson percebeu, com certo desagrado, que tinha pouquíssimo conhecimento sobre o planeta em que vivia. A indagação o propeliu à tarefa épica de entender - e explicar - tudo o que sabemos sobre o mundo.
Bryson parte da origem do universo e segue até os dias de hoje, tratando de assuntos relacionados à física, geologia, paleontologia e todas as outras disciplinas que considerava 'maçantes' na escola.
Antítese do texto didático tradicional, sua prosa foge dos jargões técnicos sem nunca abrir mão da profundidade. A preocupação do autor está em entender como os cientistas realizam suas descobertas.
Para compilar esta 'Breve história de quase tudo', Bryson consultou dezenas de obras e pesquisadores e montou o que pode ser considerado um guia de viagens pela ciência.
Autor: BRYSON, BILL
Editora: COMPANHIA DAS LETRAS
Assunto: CIENCIAS/FILOSOFIA E HISTORIA
Sinopse:
Ao constatar que ignorava o porquê dos oceanos serem salgados, o renomado escritor e cronista Bill Bryson percebeu, com certo desagrado, que tinha pouquíssimo conhecimento sobre o planeta em que vivia. A indagação o propeliu à tarefa épica de entender - e explicar - tudo o que sabemos sobre o mundo.
Bryson parte da origem do universo e segue até os dias de hoje, tratando de assuntos relacionados à física, geologia, paleontologia e todas as outras disciplinas que considerava 'maçantes' na escola.
Antítese do texto didático tradicional, sua prosa foge dos jargões técnicos sem nunca abrir mão da profundidade. A preocupação do autor está em entender como os cientistas realizam suas descobertas.
Para compilar esta 'Breve história de quase tudo', Bryson consultou dezenas de obras e pesquisadores e montou o que pode ser considerado um guia de viagens pela ciência.
10/05/2007
Google's Linux cluster currently processes over 150 million queries a day, searching a multi-terabyte web index for every query with an average response time of less than a quarter of a second, with near-100% uptime. In this discussion, Google Fellow Urs Hölzle will describe the software and hardware infrastructure that makes this performance possible, as well as provide an overview of the main problems facing a web search, software architecture, servers and compact rack hardware designs.
http://www.uwtv.org/programs/displayevent.aspx?rID=2879