Comments by "" (@jboss1073) on "Ramanujan's easiest hard infinity monster (Mathologer Masterclass)" video.

This is classical mathematics. Constructive mathematics does not admit infinity. It is much more real and closer to reality because of that. There is no point in being "a genius" about classical mathematics since it cannot be applied. Any applied mathematics is necessarily constructive and does not admit infinities. All classical mathematics conclusions regarding infinities are dubious at best and plainly wrong at worst.
1
@Mathologer You wish you could prove my comment it foolish but your analytical tools do not permit you such endeavor. Too bad. I have theorem provers. Good luck to anyone playing with infinities and thinking this makes them a genius. Nothing, not even the simplest theorem featuring infinity, has ever been proven constructively, and there is constructive proof it will never happen. Classical mathematics is a dead-end. Stop covering dead-end mathematics and start showing people what real, constructive, categorical mathematics can do, and watch everyone fall in love with mathematics. No one is going to fall in love with idolizing "geniuses" who were playing with unverifiable things. Give it up and join the winning club. Constructive mathematics is the only real mathematics. Anything else is training wheels.
1
@christianbarnay2499 Right, and absolutely everything related to functions analysis cannot be constructively proven because it is defined by limits to infinitely bit or infinitely small values. Know your trade-offs. You want analysis, you lose provability. You lose the law of excluded middle, you gain provability with constructive mathematics.
1
@christianbarnay2499 By provable I mean constructible - provable by constructive mathematics standards. "Proof" is a very loose term in classical mathematics.
1
@christianbarnay2499 With infinitesimal precision as classical mathematics pretends to construct, yes it is impossible.
1