Skip to main content
Process journal of learning by Attila Vajda

some things

2025 mai 07 #

Alright I set out to write blog posts, recycling older entries is an idea.

I'm learning at the moment

"I'm learning …at the moment", "I noticed", "I struggle with …"

“I returned to ___ after a break.” #

“I’m learning ___ at the moment.” #

monadic propositional logic, general propositional logic, writing trees of propositional logic. What is valid? Valid is when if all the premises are true, the conclusion is true.

“I’m struggling with” #

with yet seeing the pattern of when to negate statements, in arguments. I don't yet know what soundness is.

I learnt #

I learnt from Keith Devlin on Introduction to Mathematical Thinking on Coursera, that communication is important in writing proofs. I knew communication was important, but through an analysis of a proof I saw what it is like an other mathematician might read a proof, and it helps if there is clear structure to the proof, so that it is not a "whodunnit" or a mystery. Well, to me often mathematics learning seemed like a mystery, but recently I started to see that there is structure to everything, and it is possible to learn the basic building blocks of mathematical things,

the difiniton of work, I still don't understand what energy is and change of energy are.