Uma lógica para estudar o arco-íris

{Imaginário Puro}


Num sistema feito com lógica clássica, se uma afirmação se revela verdadeira e falsa ao mesmo tempo, o sistema trava. Contudo, pesquisadores têm usado a lógica paraconsistente, com a qual um sistema não trava diante de uma afirmação verdadeira e falsa, para criar máquinas mais inteligente e até óculos para deficientes visuais.



{1}/ Para além da lógica convencional

Uma mulher (vamos chamá-la de Andresa) está lendo ao ar livre, mas levanta os olhos do livro e nota um arco-íris. Ela repara nas faixas coloridas: o arco-íris começa (ou termina) numa faixa vermelha, que vai clareando até virar uma faixa amarela. Andresa acha que o meio da primeira faixa é vermelho, e que o meio da segunda faixa é amarelo, mas e as transições? Em que ponto exato ocorre a transição do vermelho para o amarelo, isto é, em que ponto exato o vermelho deixa de ser vermelho e o…

Ver o post original 2.507 mais palavras

Anúncios

Deixe um comentário

Preencha os seus dados abaixo ou clique em um ícone para log in:

Logotipo do WordPress.com

Você está comentando utilizando sua conta WordPress.com. Sair / Alterar )

Imagem do Twitter

Você está comentando utilizando sua conta Twitter. Sair / Alterar )

Foto do Facebook

Você está comentando utilizando sua conta Facebook. Sair / Alterar )

Foto do Google+

Você está comentando utilizando sua conta Google+. Sair / Alterar )

Conectando a %s