I schwören Früher gab es ein T-Shirt zum Verkauf, das die unsterblichen Worte enthielt:

Welchen Teil von

machst dunicht verstehen?

In meinem Fall wäre die Antwort ... alles!

Insbesondere sehe ich in Haskell-Papieren oft solche Notationen, aber ich habe keine Ahnung, was das alles bedeutet. Ich habe keine Ahnung, welcher Zweig der Mathematik es sein soll.

Ich erkenne natürlich die Buchstaben des griechischen Alphabets und Symbole wie "∉" (was normalerweise bedeutet, dass etwas kein Element einer Menge ist).

Auf der anderen Seite habe ich noch nie "⊢" gesehen (Wikipedia behauptet, es könnte "Partition" bedeuten). Ich bin auch mit der Verwendung des Vinculums hier nicht vertraut. (Normalerweise bezeichnet es einen Bruch, aber das tut es nichterscheinen hier der Fall sein.)

Wenn mir jemand sagen könnte, wo ich anfangen soll, um zu verstehen, was dieses Meer von Symbolen bedeutet, wäre das hilfreich.