maths holy grail will not bring disaster to the internet

76
Em como fiz batota Os primos: de Erasthotenes a Gauss Riemann, o aluno de Gauss O Santo Graal da Matem´ atica ao trar´ a o desastre para a Internet Paula Cristina Valen¸ ca 14 de Mar¸ co de 2007 Paula Cristina Valen¸ ca O Santo Graal da Matem´ atica n˜ ao trar´ a o desastre para a Inter

Upload: paula-valenca

Post on 08-Jul-2015

470 views

Category:

Technology


0 download

DESCRIPTION

Dia do π (convidada), Universidade do Minho 2007 Uma apresentação para o público geral, tentando desmistificar a Hipótese de Riemann e a sua aplicação à área de Segurança de Informação, entre outras. (esta apresentação poderá ainda assim ser de dificil compreensão dado que falta toda a contextualização expressada durante a apresentação pela autora)

TRANSCRIPT

Page 1: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

O Santo Graal da Matematica nao trara o desastrepara a Internet

Paula Cristina Valenca

14 de Marco de 2007

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 2: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Em como fiz batota

mas o π e transcendente. . .

π? probabilidade de dois numeros aleatorios serem co-primos:6/π2. . .

π? probabilidade de um numero ser “square-free”: 6/π2. . .

ou podia falar da hipotese de Riemann e da distribuicao dosnumeros primos. A funcao chama-se π(x). . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 3: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Em como fiz batota

mas o π e transcendente. . .

π? probabilidade de dois numeros aleatorios serem co-primos:6/π2. . .

π? probabilidade de um numero ser “square-free”: 6/π2. . .

ou podia falar da hipotese de Riemann e da distribuicao dosnumeros primos. A funcao chama-se π(x). . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 4: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Em como fiz batota

mas o π e transcendente. . .

π? probabilidade de dois numeros aleatorios serem co-primos:6/π2. . .

π? probabilidade de um numero ser “square-free”: 6/π2. . .

ou podia falar da hipotese de Riemann e da distribuicao dosnumeros primos. A funcao chama-se π(x). . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 5: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Em como fiz batota

mas o π e transcendente. . .

π? probabilidade de dois numeros aleatorios serem co-primos:6/π2. . .

π? probabilidade de um numero ser “square-free”: 6/π2. . .

ou podia falar da hipotese de Riemann e da distribuicao dosnumeros primos. A funcao chama-se π(x). . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 6: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussOs primos, a tabela periodica

Primos. . . ? sim, numeros divisiveis so por 1 e eles proprios.Ok, e depois?

Theorem

Teorema Fundamental da Aritmetica Todo o numero inteiropositivo pode ser escrito de uma forma unica como o produto deprimos.

Ah, alicerces!

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 7: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 8: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 9: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 10: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 11: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 12: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 13: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 14: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 15: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 16: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 17: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 18: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 19: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 20: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 21: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 22: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 23: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 24: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 25: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussO “corte” de Eratosthenes

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 26: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussA formula magica

ha padroes?

ha alguma formula magica que me de todos os primos?

. . . e so alguns? Eu ouvi falar dos primos de Fermat (22n+ 1)

e de Mersenne. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 27: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussA formula magica

ha padroes?

ha alguma formula magica que me de todos os primos?

. . . e so alguns? Eu ouvi falar dos primos de Fermat (22n+ 1)

e de Mersenne. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 28: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussA formula magica

ha padroes?

ha alguma formula magica que me de todos os primos?

. . . e so alguns? Eu ouvi falar dos primos de Fermat (22n+ 1)

e de Mersenne. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 29: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussMudando de estrategia

Gauss e as suas tabelas de logaritmos e primos

e se eu contar o numero de primos ate x?

vou chamar “o numero de primos ate x” de π(x)!

. . .∼ xlog x ?

π(x)x/ log x → 1 !

. . . mas o erro ainda e grande. . .

. . .∼ Li(x) =∫ x2

dtlog t ?

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 30: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussMudando de estrategia

Gauss e as suas tabelas de logaritmos e primos

e se eu contar o numero de primos ate x?

vou chamar “o numero de primos ate x” de π(x)!

. . .∼ xlog x ?

π(x)x/ log x → 1 !

. . . mas o erro ainda e grande. . .

. . .∼ Li(x) =∫ x2

dtlog t ?

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 31: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussMudando de estrategia

Gauss e as suas tabelas de logaritmos e primos

e se eu contar o numero de primos ate x?

vou chamar “o numero de primos ate x” de π(x)!

. . .∼ xlog x ?

π(x)x/ log x → 1 !

. . . mas o erro ainda e grande. . .

. . .∼ Li(x) =∫ x2

dtlog t ?

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 32: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussMudando de estrategia

Gauss e as suas tabelas de logaritmos e primos

e se eu contar o numero de primos ate x?

vou chamar “o numero de primos ate x” de π(x)!

. . .∼ xlog x ?

π(x)x/ log x → 1 !

. . . mas o erro ainda e grande. . .

. . .∼ Li(x) =∫ x2

dtlog t ?

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 33: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussMudando de estrategia

Gauss e as suas tabelas de logaritmos e primos

e se eu contar o numero de primos ate x?

vou chamar “o numero de primos ate x” de π(x)!

. . .∼ xlog x ?

π(x)x/ log x → 1 !

. . . mas o erro ainda e grande. . .

. . .∼ Li(x) =∫ x2

dtlog t ?

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 34: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussMudando de estrategia

Gauss e as suas tabelas de logaritmos e primos

e se eu contar o numero de primos ate x?

vou chamar “o numero de primos ate x” de π(x)!

. . .∼ xlog x ?

π(x)x/ log x → 1 !

. . . mas o erro ainda e grande. . .

. . .∼ Li(x) =∫ x2

dtlog t ?

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 35: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a GaussMudando de estrategia

Gauss e as suas tabelas de logaritmos e primos

e se eu contar o numero de primos ate x?

vou chamar “o numero de primos ate x” de π(x)!

. . .∼ xlog x ?

π(x)x/ log x → 1 !

. . . mas o erro ainda e grande. . .

. . .∼ Li(x) =∫ x2

dtlog t ?

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 36: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a Gausstestemos. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 37: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a Gausstestemos. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 38: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a Gausstestemos. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 39: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a Gausstestemos. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 40: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a Gausstestemos. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 41: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a Gausstestemos. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 42: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a Gausstestemos. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 43: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a Gausstestemos. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 44: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a Gausstestemos. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 45: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Os primos: de Eratosthenes a Gausstestemos. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 46: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussA misteriosa funcao Zeta de Riemann. . .

ζ(s) =∞∑

n=1

1

ns, Re(s) > 1 (1)

ζ(1) =∑ 1

n - series harmonianas, →∞ζ(2) =

∑ 1n2 - serie de Basel , converge. . . para π2/6 (disse o

Euler!)

ζ(s) converge!

. . . e e igual a∏

p1

(1−p−s)

. . . e depois?

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 47: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussA misteriosa funcao Zeta de Riemann. . .

ζ(s) =∞∑

n=1

1

ns, Re(s) > 1 (1)

ζ(1) =∑ 1

n - series harmonianas, →∞

ζ(2) =∑ 1

n2 - serie de Basel , converge. . . para π2/6 (disse oEuler!)

ζ(s) converge!

. . . e e igual a∏

p1

(1−p−s)

. . . e depois?

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 48: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussA misteriosa funcao Zeta de Riemann. . .

ζ(s) =∞∑

n=1

1

ns, Re(s) > 1 (1)

ζ(1) =∑ 1

n - series harmonianas, →∞ζ(2) =

∑ 1n2 - serie de Basel , converge. . . para π2/6 (disse o

Euler!)

ζ(s) converge!

. . . e e igual a∏

p1

(1−p−s)

. . . e depois?

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 49: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussA misteriosa funcao Zeta de Riemann. . .

ζ(s) =∞∑

n=1

1

ns, Re(s) > 1 (1)

ζ(1) =∑ 1

n - series harmonianas, →∞ζ(2) =

∑ 1n2 - serie de Basel , converge. . . para π2/6 (disse o

Euler!)

ζ(s) converge!

. . . e e igual a∏

p1

(1−p−s)

. . . e depois?

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 50: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussA misteriosa funcao Zeta de Riemann. . .

ζ(s) =∞∑

n=1

1

ns, Re(s) > 1 (1)

ζ(1) =∑ 1

n - series harmonianas, →∞ζ(2) =

∑ 1n2 - serie de Basel , converge. . . para π2/6 (disse o

Euler!)

ζ(s) converge!

. . . e e igual a∏

p1

(1−p−s)

. . . e depois?

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 51: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussA misteriosa funcao Zeta de Riemann. . .

ζ(s) =∞∑

n=1

1

ns, Re(s) > 1 (1)

ζ(1) =∑ 1

n - series harmonianas, →∞ζ(2) =

∑ 1n2 - serie de Basel , converge. . . para π2/6 (disse o

Euler!)

ζ(s) converge!

. . . e e igual a∏

p1

(1−p−s)

. . . e depois?

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 52: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussOlha o π !

Probabilidade de dois numeros aleatorios serem co-primos?1/ζ(2)

Probabilidade de um numero aleatorio ser square-free? 1/ζ(2)

. . . mas que tem isto a ver com o outro π, o π(x)?

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 53: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussOlha o π !

Probabilidade de dois numeros aleatorios serem co-primos?1/ζ(2)

Probabilidade de um numero aleatorio ser square-free? 1/ζ(2)

. . . mas que tem isto a ver com o outro π, o π(x)?

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 54: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussOlha o π !

Probabilidade de dois numeros aleatorios serem co-primos?1/ζ(2)

Probabilidade de um numero aleatorio ser square-free? 1/ζ(2)

. . . mas que tem isto a ver com o outro π, o π(x)?

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 55: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussRiemann e as suas abstraccoes

. . . se o grafico diz uma coisa, e a equacao diz outra, em quemacreditar?

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 56: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussRiemann e as suas abstraccoes

extender a definicao para Re(s) < 1

ζ(s) = 2sπs−1Γ(1− s)ζ(1− s)sin(πs/2) (2)

zeros triviais quando sin(πs/2) = 0: −2,−4,−6, . . .

Re(s) < 0? simples!

0 ≤ Re(s) ≤ 1? a tira crıtica. . . onde todos os zeros naotriviais estao

Desafio para a audiencia: prove que todos os zeros temRe(s) = 1/2, isto e, sao da forma s = 1/2 + it, para um tqualquer. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 57: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussRiemann e as suas abstraccoes

extender a definicao para Re(s) < 1

ζ(s) = 2sπs−1Γ(1− s)ζ(1− s)sin(πs/2) (2)

zeros triviais quando sin(πs/2) = 0: −2,−4,−6, . . .

Re(s) < 0? simples!

0 ≤ Re(s) ≤ 1? a tira crıtica. . . onde todos os zeros naotriviais estao

Desafio para a audiencia: prove que todos os zeros temRe(s) = 1/2, isto e, sao da forma s = 1/2 + it, para um tqualquer. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 58: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussRiemann e as suas abstraccoes

extender a definicao para Re(s) < 1

ζ(s) = 2sπs−1Γ(1− s)ζ(1− s)sin(πs/2) (2)

zeros triviais quando sin(πs/2) = 0: −2,−4,−6, . . .

Re(s) < 0? simples!

0 ≤ Re(s) ≤ 1? a tira crıtica. . . onde todos os zeros naotriviais estao

Desafio para a audiencia: prove que todos os zeros temRe(s) = 1/2, isto e, sao da forma s = 1/2 + it, para um tqualquer. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 59: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussRiemann e as suas abstraccoes

extender a definicao para Re(s) < 1

ζ(s) = 2sπs−1Γ(1− s)ζ(1− s)sin(πs/2) (2)

zeros triviais quando sin(πs/2) = 0: −2,−4,−6, . . .

Re(s) < 0? simples!

0 ≤ Re(s) ≤ 1? a tira crıtica. . . onde todos os zeros naotriviais estao

Desafio para a audiencia: prove que todos os zeros temRe(s) = 1/2, isto e, sao da forma s = 1/2 + it, para um tqualquer. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 60: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussRiemann e as suas abstraccoes

extender a definicao para Re(s) < 1

ζ(s) = 2sπs−1Γ(1− s)ζ(1− s)sin(πs/2) (2)

zeros triviais quando sin(πs/2) = 0: −2,−4,−6, . . .

Re(s) < 0? simples!

0 ≤ Re(s) ≤ 1? a tira crıtica. . . onde todos os zeros naotriviais estao

Desafio para a audiencia: prove que todos os zeros temRe(s) = 1/2, isto e, sao da forma s = 1/2 + it, para um tqualquer. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 61: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussRiemann e as suas abstraccoes

extender a definicao para Re(s) < 1

ζ(s) = 2sπs−1Γ(1− s)ζ(1− s)sin(πs/2) (2)

zeros triviais quando sin(πs/2) = 0: −2,−4,−6, . . .

Re(s) < 0? simples!

0 ≤ Re(s) ≤ 1? a tira crıtica. . . onde todos os zeros naotriviais estao

Desafio para a audiencia: prove que todos os zeros temRe(s) = 1/2, isto e, sao da forma s = 1/2 + it, para um tqualquer. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 62: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussImagens talvez ajudem. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 63: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussImagens talvez ajudem. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 64: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussImagens talvez ajudem. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 65: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussImagens talvez ajudem. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 66: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussE depois?!

Riemann mostra que ha uma expressao que relaciona π(x) eζ(s) precisamente!

daı, definiu 2 funcoes, R(x) e R ′ω(x). . .

R(x) e parecida com Li(x). . .

R ′ω(x) e o erro, calculado com base nos zeros ω de ζ(s)

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 67: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussE depois?!

Riemann mostra que ha uma expressao que relaciona π(x) eζ(s) precisamente!

daı, definiu 2 funcoes, R(x) e R ′ω(x). . .

R(x) e parecida com Li(x). . .

R ′ω(x) e o erro, calculado com base nos zeros ω de ζ(s)

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 68: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussE depois?!

Riemann mostra que ha uma expressao que relaciona π(x) eζ(s) precisamente!

daı, definiu 2 funcoes, R(x) e R ′ω(x). . .

R(x) e parecida com Li(x). . .

R ′ω(x) e o erro, calculado com base nos zeros ω de ζ(s)

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 69: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de GaussE depois?!

Riemann mostra que ha uma expressao que relaciona π(x) eζ(s) precisamente!

daı, definiu 2 funcoes, R(x) e R ′ω(x). . .

R(x) e parecida com Li(x). . .

R ′ω(x) e o erro, calculado com base nos zeros ω de ζ(s)

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 70: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de Gaussuma melhor aproximacao do erro

sem a hipotese de Riemann?∼ O(x exp(−A log(x)3/5/(log log(x)1/5)))

com a hipotese de Riemann? ≤ C√

x log x

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 71: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Riemann, o aluno de Gaussuma melhor aproximacao do erro

sem a hipotese de Riemann?∼ O(x exp(−A log(x)3/5/(log log(x)1/5)))

com a hipotese de Riemann? ≤ C√

x log x

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 72: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Mas falemos de coisas praticas

RSA e a dificuldade de factorizar n = pq, p, q primos de 512bits. . .

testar se um numero e primo?

a hipotese generalisada. . . a diferenca entre procurar ao calhae procurar por ordem. . . um numero gerador

matrizes aleatorias e o GUE. . . mas nao me perguntem. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 73: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Mas falemos de coisas praticas

RSA e a dificuldade de factorizar n = pq, p, q primos de 512bits. . .

testar se um numero e primo?

a hipotese generalisada. . . a diferenca entre procurar ao calhae procurar por ordem. . . um numero gerador

matrizes aleatorias e o GUE. . . mas nao me perguntem. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 74: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Mas falemos de coisas praticas

RSA e a dificuldade de factorizar n = pq, p, q primos de 512bits. . .

testar se um numero e primo?

a hipotese generalisada. . . a diferenca entre procurar ao calhae procurar por ordem. . . um numero gerador

matrizes aleatorias e o GUE. . . mas nao me perguntem. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 75: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Mas falemos de coisas praticas

RSA e a dificuldade de factorizar n = pq, p, q primos de 512bits. . .

testar se um numero e primo?

a hipotese generalisada. . . a diferenca entre procurar ao calhae procurar por ordem. . . um numero gerador

matrizes aleatorias e o GUE. . . mas nao me perguntem. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet

Page 76: Maths Holy Grail will not bring disaster to the Internet

Em como fiz batotaOs primos: de Erasthotenes a Gauss

Riemann, o aluno de Gauss

Perguntas

E uma boa noite de sono. . .

Paula Cristina Valenca O Santo Graal da Matematica nao trara o desastre para a Internet