Hacker News new | ask | show | jobs
by bra4you 2366 days ago
https://en.wikipedia.org/wiki/Plankalk%C3%BCl
1 comments
wanderingstan 2366 days ago
Even in German, appears the term was closer to "formal system", not "programming language".

"Kalkül is the German term for a formal system—as in Hilbert-Kalkül, the original name for the Hilbert-style deduction system—so Plankalkül refers to a formal system for planning.[2]"

link
1wd 2365 days ago
Kalkül is calculus. (E.g. Lambda-Kalkül)
link
guerrilla 2365 days ago
A calculus is a formal system.
link