In the mountains, I love exploring nature and climbing any little hidden corner.
My academic interests include mathematics ( #mathematics) and mathematical logic ( #mathematicallogic #logic), particularly model theory ( #modeltheory), category theory ( #categorytheory), higher-order logic and metalogic ( #metalogic), as well as the philosophy of mathematics and logic ( #philosophyofmathematics #philosophyoflogic), epistemology and ontology of them.
What I see for the #future:
- #metadata, #metalogic, #metaprogramming dominance; #adaptive "#living logics" #act as #tutors and #guides for all #types of #agent, #seeking any #form of #knowledge
- #metamathematical #metagames replace traditional #finance as agents compete to optimize cooperativity and cooperate to perform novel, useful, and desirable acts
- #representation and #replication subsume #politics, as the #cost of #discernment and #differentiation #grow with #population
JxHxBxR
⎯ΘωΘ⟶