Fórum PiR2
Gostaria de reagir a esta mensagem? Crie uma conta em poucos cliques ou inicie sessão para continuar.

Paradoxo do barbeiro

2 participantes

Ir para baixo

Paradoxo do barbeiro Empty Paradoxo do barbeiro

Mensagem por abelardo Ter 20 Set 2011, 01:02

Alguém poderia explicar o paradoxo do barbeiro de autoria atribuída a Bertrand Russell de forma clara? Já vi alguns artigos, mas não ficou muito claro para mim.
abelardo
abelardo
Grupo
Velhos amigos do Fórum

Grupo Velhos amigos do Fórum

Mensagens : 777
Data de inscrição : 12/03/2011
Idade : 29
Localização : Sertânia, Pernambuco, Brasil

Ir para o topo Ir para baixo

Paradoxo do barbeiro Empty Re: Paradoxo do barbeiro

Mensagem por Euclides Ter 20 Set 2011, 01:13

Paradoxo do barbeiro
Origem: Wikipédia, a enciclopédia livre.


O paradoxo do barbeiro é um paradoxo que relaciona lógica matemática e teoria de conjuntos. O paradoxo considera uma aldeia onde, todos os dias, um barbeiro faz a barba de todos os homens que não se barbeiam sozinhos e não faz a barba de quem se barbeia sozinho. Isso vale para todos que estão na aldeia. Ora tal aldeia não pode existir:

Se o barbeiro é um homem que não se barbeia sozinho, então ele deve fazer a barba a si mesmo imediatamente, tornando-se um homem que se barbeia sozinho.

Se agora ele é um homem que se barbeia sozinho, então ele deve parar imediatamente de fazer a própria barba, tornando-se um homem que não se barbeia sozinho.

A regra resulta num paradoxo, pois o barbeiro ao mesmo tempo deve e não deve fazer a própria barba, não podendo se decidir sem quebrar a regra.

O paradoxo costuma ser atribuído a Bertrand Russell, um matemático britânico que em 1901 elaborou o paradoxo de Russell para demonstrar a natureza auto-contraditória da teoria de conjuntos de Georg Cantor. O paradoxo é também usado no teorema da incompletude de Gödel bem como na prova da indecidibilidade do problema de paragem de Alan Turing.

____________________________________________
In memoriam - Euclides faleceu na madrugada do dia 3 de Abril de 2018.
assinatura 1
Lembre-se de que os vestibulares têm provas de Português também! Habitue-se a escrever corretamente em qualquer circunstância!

O Universo das coisas que eu não sei é incomensuravelmente maior do que o pacotinho de coisas que eu penso que sei.
Euclides
Euclides
Fundador
 Fundador

Mensagens : 32508
Data de inscrição : 07/07/2009
Idade : 71
Localização : São Paulo - SP

Ir para o topo Ir para baixo

Ir para o topo


 
Permissões neste fórum
Você não pode responder aos tópicos