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