On: There's more to mathematics than rigour and proofs...

[arketyp]

This is true but I think it's iterative, cyclic. It applies to any art and craft, really. You alternate between perceiving and projecting, receiving and creating.

[zeroonetwothree → arketyp]

Any skill really. You alternate between theory and practice.

For example in sports you play for fun, then do some coaching to get better, then play for fun using your new skills and so on.