#philosophyoflogic — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #philosophyoflogic, 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.