Sobre o Episódio
Neste episódio falarei um pouco sobre a história da resolução do 10º problema de Hilbert — o problema das equações diofantinas — com um breve destaque para a matemática Julia Robinson.
Figuras Citadas
- Julia Hall Bowman Robinson
- Martin Davis
- Hilary Putnam
- Yuri Matiyasevich
- Alan Turing, Kurt Gödel e Alonzo Church (mencionados rapidamente).
Vídeos Recomendados
- Trailer do documentário "Julia Robinson and Hilbert's Tenth Problem"
- Trecho do episódio 4 do documentário "A História da Matemática", da BBC (A parte sobre Julia Robinson vai até aproximadamente 43:50). A playlist completa do documentário pode ser vista neste link.
Referências
- FEFERMAN, Solomon. Julia Robinson - Biographical Memoirs, VOLUME 63. THE NATIONAL ACADEMY PRESS, 1994.
- HILBERT, David. Mathematical Problems. Lecture delivered before the International Congress of Mathematicians at Paris in 1900.
- REID, Constance. The Autobiography of Julia Robinson. The College Mathematics Journal, Vol. 17, No. 1, (1986), pp. 3-21.
- SMITH, Peter. The MRDP Theorem. 2011.
- WOOD, Carol. Julia Robinson and Hilbert’s Tenth Problem - Film Review. Notices of the AMS, 2008.
Artigos Técnicos
- DAVIS, M. Hilbert's Tenth Problem is Unsolvable. AMM, Vol. 80, No. 3 (Mar., 1973), pp. 233-269.
- FERREIRA, Marcelo. O Décimo Problema de Hilbert (Dissertação de Mestrado). Universidade Federal de Uberlândia, 2010.
- JONES, J. P.; MATIYASEVICH, Y. V. Proof of Recursive Unsolvability of Hilbert's Tenth Problem. AMM, Vol. 98, No. 8 (Oct., 1991), 689-709.
- SADOVNIKOV, Anton. Undecidable problems about polynomials - Around Hilbert’s 10th Problem.