I believe the greatest pursuit in life is continuous discovery - seeking The Reason. It is all about intuition and reasoning  to me. This is what attracted me to studying Logic, then Computability. Mathematical Logic attempts to abstract intuitive reasoning, while Computability abstracts intuitive arithmetic, and from these abstractions, we could see beyond the provable and beyond the computable!

When I look at Gödel's primitive recursive functions, I see the zero function as a symbol for there is nothing, and the successor function as from nothing there can be something then more things, and the projections as we can make a choice.

Away from all that, call it philosophy, I am what they call a "latte dad". My wholesome hobbies include drawing, calligraphy, and riding the convertible or the mtb with my son. My chad hobbies include lifting heavy, dancing salsa, and smoking cigars.