Palestras e Seminários
09/06/2017
16:10
Auditório Fernão Stella de Rodrigues Germano
Palestrante: Dione Andrade Lara (UFAL)
Seminários de Coisas Legais
Palestrante: Dione Andrade Lara (UFAL)
Resumo: Neste seminário falaremos de maneira intuitiva das sequências definidas em 1944 pelo lógico britânico (que não é o Bertrand Russell) R. L. Goodstein. Para ilustrar como é uma dessas sequências, considere o número 8, então:
1. Escreva 8 como soma de potências de 2, i.e, 8=2^3;
2. Toque a base 2 pela 3 e subtraia 1, i.e., 3^3-1=26;
3. Escreva 26 como soma de potências de 3, i.e, 26=2.3^2+2.3^1+2;
4. Toque a base 3 pela 4 e subtraia 1, i.e., 2.4^2+2.4^1+2-1=41;
5. Escreva 41 como soma de potências de 4 e repita o processo.
Essa sequência chega a algum lugar? Se iniciarmos esse processo com algum outro número natural o resultado seria diferente? Veja como Buzz Lightyear pode nos ajudar a responder a todas essas indagações.
