Mudanças entre as edições de "Teorema da Mãe Infinita"
| (Uma revisão intermediária por um outro usuário não está sendo mostrada) | |||
| Linha 1: | Linha 1: | ||
| − | A teoria da mãe infinita foi enunciada pela primeira vez num fatídico dia, enquanto [[Thales David Domingues Aparecido|Thales]] estava numa monitoria discutindo o EP com o Monitor [[Fernando Valls Yoshida|Fernando]] no grupo de WhatsApp, quando [[Zake Marin Domit|Zake]] faz um comentário, retrucado então por [[Davi Gressler de Oliveira|Davi]], assim enunciando a possibilidade de | + | A teoria da mãe infinita foi enunciada pela primeira vez num fatídico dia, enquanto [[Thales David Domingues Aparecido|Thales]] estava numa monitoria discutindo o EP com o Monitor [[Fernando Valls Yoshida|Fernando]] no grupo de WhatsApp, quando [[Zake Marin Domit|Zake]] faz um comentário, retrucado então por [[Davi Gressler de Oliveira|Davi]], assim enunciando a possibilidade de provar por indução que sua mãe foi comida. No mesmo tempo, na primeira aula presencial optativa de 2021 no CM, estreada pela turma [[Turma 31|T31]], quando foi desenvolvida então a teoria por [[Pedro Pupo Candido|Pupo]] em auxilio de [[José Pedro Brito de Azevedo Faustino|Zé]] em LaTeX e assim, oficializada. |
===Enunciado=== | ===Enunciado=== | ||
| 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 atual tal como às 11h31min de 24 de agosto de 2024
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 provar por indução que sua mãe foi comida. 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.
