Conversation

it would take awhile to elaborate more fully on what i mean but here's a chunk of it: all the visual / geometric proofs take for granted that whatever "area" means it's something that's preserved under translations and rotations. it's unclear exactly what is needed for this
6
26
Replying to
here's the first proof, that derives the pythagorean theorem from the impossibility of perpetual motion (and, implicitly, that the concept of torque is meaningful and behaves nicely wrt rotations). i cannot claim to really understand what is going on here
Image
Image
Image
9
7
49
Show replies
i mean, yes, i know how to define areas using *shudder* lebesgue measure and prove that they're invariant, but it's conceptually unsatisfying to do things that way. why did we think that was going to work? because we have some *pretheoretic* understanding of area. what's *that*?
2
2
Show replies