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: Dec 20 2023 at 11:08 UTC