PARADOXOS E

MATEMTICA
Hugo Araujo Rodrigues

Para pensar:
H um barbeiro numa aldeia que faz a barba a todas as

pessoas que no se barbeiam a si prprias e apenas a

essas. Quem faz a barba ao barbeiro?

Definio de Paradoxo
para - oposto de, contrrio a;
doxa - opinio.
Um paradoxo uma declarao aparentemente

verdadeira que leva a uma contradio lgica, ou a uma

situao que contradiz a intuio comum.

Alguns Paradoxos Contra Intuitivos

O problema de Monty Hall
Teorema Banarch-Tarski
Lei de Benford

Paradoxo de Zeno
Um arqueiro est distante 2 metros do alvo. Admita que a

flecha ao ser lanada percorra sempre a metade do

caminho restante. A flecha alcanara o alvo?
Herclito x Parmnides

Paradoxo de Zeno

Soma de PG

S = 1 + + +... = 2

Teoria dos Conjuntos

Cantor (1874)
Podemos formar conjuntos a partir de propriedades
Nmeros Ordinais
Conjuntos equipotentes
Nmeros Cardinais

Paradoxos da Teoria de Conjuntos

Burali-Forti
Qual e o nmero ordinal do conjunto de todos os ordinais?
Cantor
Qual e o nmero cardinal do conjunto de todos os conjuntos?

Russell
Seja M o conjunto de todos os conjuntos que no pertenam a si
mesmo. M pertence a si mesmo ?

Paradoxo do Russell
M = {x M x x}
x=M
MMMM

Paradoxo do barbeiro
H um barbeiro numa aldeia que faz a barba a todas as

pessoas que no se barbeiam a si prprias e apenas a

essas. Quem faz a barba ao barbeiro?
M = {x M x x}

Reformulao da Teoria de conjuntos

Russel
Zermelo-Fraenkel
Von Neumann-Bernays-Gdel

Paradoxo do mentiroso
Um homem diz que est mentindo. Ele diz a verdade ?
Esta Afirmao falsa.
A sentena seguinte verdadeira.
A sentena anterior falsa.

Paradoxo do mentiroso
Varias Solues
Teorema da Incompletude de Gdel

Fim !!