#metamathematics — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #metamathematics, aggregated by home.social.
-
The #metamathematics - isn't it #metalogical?!?
- a setting of the #ontology of mathematics or #metalogics -
Now that I have tried to take a look behind or in front of physics in the form of #metaphysics, a #fundamental consideration of #mathematics as “metamathematics” is now due. In this context, I will of course also address the well-known #fundamental crisis of mathematics.
More at: https://philosophies.de/index.php/2023/05/24/die-metamathematik/
-
CW: Formal methods errors in computer science
ACM Communications 4/23 paper by Bentkamp et al
"Today, even if most mathematicians do not consciously use logic on a daily basis, they can feel reassured to know that their definitions and arguments can be encoded in it" p82Nope. Nope. And Nope.
#formalLogic
#MetaMathematics
#ComputerScience -
CW: Interesses / Interests - Hashtags, part 1
-
Whenever I read mathematics, no matter what kind it is, I always think that I don't understand it unless I could, in principle, teach a computer how to perform it.
I'm not exactly an intuitionist, but this attitude of mine does mean that I don't like the #AxiomOfChoice very much. What good are objects that are literally undescribable?
The only solution around that is to mechanise the #metamathematics instead of the mathematics and that always feels so unsatisfying and distanced to me.
