#metalogic — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #metalogic, aggregated by home.social.
-
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