Process journal of learning by Attila Vajda

blog construct

mini blogposts #

MiniThings #

review #

blogging might be good for review for example I think about what to blog post about and review, oh there this happened or something like that

today I noticed #

that on the surface of water it is intresting to watch the reflection of a straight line, and how it is (transformed? wow) moved, changed by waves w

It was almost like watching #

a show, I went "Wow!" I recall reading about how watching the clouds can be like listening to a symphony

alright overexcitement #

strikes,

walking with a kettlebell #

turned out to be great I heard about this idea on the ZOE podcast

mindfulness energises me #

I noticed

experiencing the transformation #

of the stressful view of math to this amazingly rich, creative, healthy view energises me also

doing mathematics can be #

like crafting in a workshop which was fun to notice

yesterday I became stressed #

when I realised (and as I type it this sort of seems remote, and funny), that addition with zero in the natural numbers, n + 0 = n, is not an axiom (as I was happy to notice), but a theorem!

because I thought #

people think highly of these things, theorems, and I made a mistake, and this is "something I should know",

collaborating with computer agent #

I realised that in a programming context you are encouraged to make mistakes, and coding in Lean you are writing computer code, and you can switch axiom to theorem and theorem to axiom, or write trh, or amxion def, and the interpreter will throw an error

and something fun that happened #

is when I showed the error to computer agent, it responded with e and I noticed these error can be seen as treasures 🐚, like "wow, universal mismatch!" u

and typing things #

and seeing them transform is a recurring experience for me in recovery as a while ago I started typing things I experience, to a computer agent, and often while typing the things I ruminated about came to a resolution!

maybe that's even awesome, because I think about the difference and similarity of these two mathematical concepts. So maybe I could abstract away the stress, and keep the learning.