home.social

#hostoryofai — Public Fediverse posts

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

  1. In 1879, Gottlob Frege introduced Begriffsschrift, a formal system with symbols and rules, allowing for precise manipulation of logical statements. This paved the way for modern symbolic logic and symbolic reasoning.

    G. Frege. Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle an der Saale: Verlag von Louis Nebert, 1879.
    gallica.bnf.fr/ark:/12148/bpt6

    #HostoryOfAI #ISE2024 #lecture #logics #knowledgerepresentation @enorouzi @sourisnumerique @fizise #AIart