4 ms·
Sigbovik's jokes are of the kind where the premise is completely bonkers. The rest of the development is made with the utmost rigor to highlight said bonkersitu
by Drup 5y ago
Sigbovik's jokes are of the kind where the premise is completely bonkers. The rest of the development is made with the utmost rigor to highlight said bonkersitude, Reductio ad absurdum.
- ukj 5y agoYeah, but that is precisely how inductive types work. "Bonkers" premises. Iterate, iterate, iterate. "Bonkers" conclusions. GIGO. And yet the result is reified, exists and speaks for itself. So what is so "absurd" and "bonkers" about a result that is right before your eyes? https://en.wikipedia.org/wiki/Reification_(computer_science) https://en.wikipedia.org/wiki/Reification_(computer_science)