home.social
Sign in Create account

#metamathematics — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #metamathematics, aggregated by home.social.

  1. vy @[email protected] ·
    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" p82

    Nope. Nope. And Nope.
    #formalLogic
    #MetaMathematics
    #ComputerScience

    #formallogic #metamathematics #computerscience
  2. Joana de Castro Arnaud @[email protected] ·
    CW: Interesses / Interests - Hashtags, part 1

    #programação #programming #JavaScript #Python #compilador #interpretador #compiler #interpreter #typetheory #softwaredesign

    #matemática #mathematics #math #TeoriaDasCategorias #Lógica #Fundações #Metamatemática #Googologia #categorytheory #logic #foundations #metamathematics #googology

    #googology #metamathematics #foundations #logic #categorytheory #googologia
  3. ⎯ΘωΘ⟶ @[email protected] ·

    W++ #wPlusPlus #metadata #metalogic #metaprogramming #metamaterial #metalogic #metamathematics

    #metamathematics #metamaterial #metaprogramming #metalogic #metadata #wplusplus