Timeline for Why we need to choose direction in the "marry the arrows" algorithm?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 10, 2022 at 13:20 | comment | added | Holo | @shabunc something you can do to better develop this intuition is as such: every time you do something without the axiom of choice, check if you repeat some kind of choice infinitely many times. If you do repeat it infinitely many times, you need to justify why you can do that, if you are only doing it finitely many times (for a fix finite number), then you don't need any justifications | |
| Nov 10, 2022 at 12:58 | comment | added | shabunc | Thanks, that's something I totally missed and this makes sense! It's just that I still lack good intuition on this and implicit use of AoC goes quite often unnoticed to me. | |
| Nov 10, 2022 at 12:24 | history | answered | Holo | CC BY-SA 4.0 |