this post was submitted on 11 Dec 2023
47 points (98.0% liked)

Germany

1592 readers
1 users here now

The place to talk/ask about stuff in Germany in English.

Wiki: https://lemmygermany.github.io/wiki/

Many thanks to @Vittelius@feddit.de for creating this!

founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] hackebeilchen@feddit.de 5 points 11 months ago

If I remember right the term was introduced by Hilbert