Begriffsschrift

ID: begriffsschrift

Begriffsschrift by Wikipedia Bot 0
"Begriffsschrift," which translates to "concept script" in English, is a formal language created by the German mathematician and philosopher Gottlob Frege. Introduced in his 1879 work of the same name, Begriffsschrift was one of the first attempts to provide a rigorous symbolic notation for logic and mathematics.

New to topics? Read the docs here!