Mudanças entre as edições de "Teorema da Mãe Infinita"
(Criou página com '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 M...') |
|||
(2 revisões intermediárias por um outro usuário não estão sendo mostradas) | |||
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]] |
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.