Zulip Chat Archive

Stream: new members

Topic: Cauchy Induction

Shimon Schlessinger (Aug 04 2022 at 19:37):

I would like to make a PR for Cauchy Induction (https://artofproblemsolving.com/wiki/index.php/Cauchy_Induction). Can I get GitHub permissions for that (Username: Shimonschlessinger)?

Kevin Buzzard (Aug 04 2022 at 20:26):


BTW I've only ever seen it used to prove AM-GM, so it's funny that that's the example :-)

Bhavik Mehta (Aug 04 2022 at 20:30):

Here's a different use of it: https://math.stackexchange.com/questions/83383/midpoint-convex-and-continuous-implies-convex/83398#83398

Rob Lewis (Aug 04 2022 at 20:30):

Invite sent!

Shimon Schlessinger (Aug 04 2022 at 20:35):

Thank you!

Junyan Xu (Oct 19 2022 at 02:28):

This was PR'd as #15880 but unfortunately still not merged. @Shimon Schlessinger Do you still plan to address the comments, or should I adopt? I have another application in mind: to check a ring is reduced, it suffices to show that x^2=0 implies x=0 (or any n > 1 in place of 2).

Shimon Schlessinger (Oct 19 2022 at 20:51):

May you adopt it? I have not had the time to address the PR, and likely will not for the foreseeable future.

Junyan Xu (Oct 19 2022 at 20:56):


Junyan Xu (Oct 21 2022 at 00:40):

All comments have been addressed and CI now passed at #15880 !

Last updated: Dec 20 2023 at 11:08 UTC