home.social
Sign in Create account

#formallogic — Public Fediverse posts

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

  1. Hacker News @[email protected] ·

    Carnap – A formal logic framework for Haskell

    carnap.io/

    #HackerNews #Carnap #Haskell #formalLogic #programming #language #innovation

    #hackernews #carnap #haskell #formallogic #programming #language
  2. PC @[email protected] ·

    In #Academics including #Math and #ComputerScience one of the biggest things I learned was to be #Methodical. #Proofs and #ComputerPrograms require clear thought. Knowing #FormalLogic was extremely valuable, one of my favorite classes in #college.

    In the #ModernWorld of #AI lending a hand to any possible human #intellectual endeavor, I wonder if people will become less likely to learn and practice formal logic.

    #AIWorries

    #aiworries #intellectual #ai #modernworld #college #formallogic