#philosophyofmathematics — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #philosophyofmathematics, 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.
-
Rovaniemellä syntynyt suomalainen matemaatikko Jouko Väänänen on päivittänyt SEP-entryään toisen asteen logiikasta, https://plato.stanford.edu/entries/logic-higher-order/
Jos ketä mietityttää, kuinka toisen asteen logiikka oikeastaan vertautuu vahvuuden puolesta ensimmäiseen asteeseen ja joukko-oppiin matematiikan perustana, eikä formaalikieli muutenkaan tyrki, niin tuossa olisi tarjolla jännittävää tarinaa ja juonen käänteitä (lapin) toviksi.
#matematiikka #mathematics #logiikka #logic #sep #philosophyOfMathematics #rovaniemi #lappi