#hostoryofai — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #hostoryofai, aggregated by home.social.
-
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.
https://gallica.bnf.fr/ark:/12148/bpt6k65658c#HostoryOfAI #ISE2024 #lecture #logics #knowledgerepresentation @enorouzi @sourisnumerique @fizise #AIart