Mudanças entre as edições de "Teorema da Mãe Infinita"
(→*) |
|||
Linha 24: | Linha 24: | ||
para esse teorema, mas me falta espaço na página, assim fica como exercı́cio | para esse teorema, mas me falta espaço na página, assim fica como exercı́cio | ||
para o leitor. | para o leitor. | ||
+ | |||
+ | Já foi provado por alunos do curso. | ||
[[Categoria: Teorias moleculentas]] | [[Categoria: Teorias moleculentas]] |
Edição das 12h02min de 15 de julho de 2023
A teoria da mãe infinita foi enunciada pela primeira vez num fatídico dia, enquanto Thales estava numa monitoria discutindo o EP com o Monitor Fernando no grupo de WhatsApp, quando Zake faz um comentário, retrucado então por Davi, assim enunciando a possibilidade de Thales comeu sua mãe por indução. No mesmo tempo, na primeira aula presencial optativa de 2021 no CM, estreada pela turma T31, quando foi desenvolvida então a teoria por Pupo em auxilio de Zé em LaTeX e assim, oficializada.
Enunciado
Demonstração
Caso Base: Eu comi uma mãe (mãe 1);
Passo Indutivo: É verdade que eu comi a mãe k);
Dado que mães conversam entre si, caso eu tenha comido a mãe k, certamente ela comentaria com a mãe k+1, que, após saber do meu incrı́vel desempenho*, certamente seria alvo fácil para minha comida.
Dessa forma, como comi a mãe 1, certamente comi a mãe 2, e assim por diante, de modo que comi infinitas mães.
Corolário
Segue o teorema que, em particular, comi a sua mãe.
*
* Teorema do meu incrível desempenho - Tenho uma prova incrı́vel para esse teorema, mas me falta espaço na página, assim fica como exercı́cio para o leitor.
Já foi provado por alunos do curso.