Zulip Chat Archive
Stream: new members
Topic: Euclidian geometry
Shun Nakatani (Dec 28 2022 at 03:34):
Hello, I’m new here and I’d like to work on Euclidian geometry, namely, Tarski’s axioms.
Is anyone already working on this topic?
Alistair Tucker (Dec 28 2022 at 08:11):
If you search for Tarski on this Zulip you should find some links to previous work e.g. in this thread or this one.
Last updated: May 02 2025 at 03:31 UTC