Post #1452826
2026-04-08 22:41 UTC
This was a fun chat. I see I stated that the rotations of the square form a non-commutative group. What's the proper penance for that?
https://youtu.be/sbQi6HjyBHM
Replies (4)
-
@screwlisp@gamerplus.org 2026-04-08 22:48
@andrejbauer Bauer, Andrej. "Five stages of accepting constructive mathematics." Bulletin of the American Mathematical Society 54.3 (2017): 481-498. [modelled on the psychology of trauma because] > learning constructive mathematics is a traumatic event in one's life
-
@byorgey@mathstodon.xyz 2026-04-09 01:16
@andrejbauer Pick a random multiset of rotations of the square, with cardinality five. Now stand in one spot, and perform every possible permutation of the rotations by rotating in place.
-
@highergeometer@mathstodon.xyz 2026-04-09 02:20
@andrejbauer The intro is great 😁
-
@oantolin@mathstodon.xyz 2026-04-09 04:00
@andrejbauer You can always claim you meant rotations of 3-dimensional Euclidean space preserving a square.