A few days ago I got into Mathematical Logic[0] and learned how to reason about
problems through using various branches of mathematical ideas like
proof theory, model theory e.t.c.
I found this abstract way of thinking about problems clear, & organised.
"Mathematical Logic" is diffrent from the kind of Math I was taught,
which was a top down approach to solving problems.
"Mathematical Logic" seems to be able to derive solutions to problems in
a ground up fashion where a solution can somtimes elegantly present its self
as long as you apply correct mathematical properties.
What other techniques do you hackers use to improve your abstract thinking?
I found this abstract way of thinking about problems clear, & organised. "Mathematical Logic" is diffrent from the kind of Math I was taught, which was a top down approach to solving problems.
"Mathematical Logic" seems to be able to derive solutions to problems in a ground up fashion where a solution can somtimes elegantly present its self as long as you apply correct mathematical properties.
What other techniques do you hackers use to improve your abstract thinking?
[0]: https://en.wikipedia.org/wiki/Mathematical_logic