FYI: Google Lens works really well with Schwabhauser

[David A. Wheeler]

FYI:

Wolfram Schwabhauser wrote an amazing rigorous book on geometry
that is the basis of much of the geometry work in set.mm.
However, as suggested by its title "Metamathematische Methoden
in der Geometrie", it's in German, and many of us
(including me!) don't speak German.

I've recently discovered that the Google Lens mobile application is
an *amazingly* good solution to being able to read the book.
Point the camera at a page, and it shows the translation superimposed on the text.
It's awesome when you want to see the original images and just the
translated text superimposed. I'm sure there are problems, but I recently
had a question about page 109 and some of its preceding pages, and
Google Lens made the text far easier to use.

I thought others might want to know!

--- David A. Wheeler

[Jim Kingdon]

I think there is a certain amount of overlap between the Schwabhauser
book and Tarski, Alfred; Givant, Steven (1999), "Tarski's system of
geometry", The Bulletin of Symbolic Logic 5 (2): 175–214,
[[doi:10.2307/421089]], MR1791303, ISSN 1079-8986 which is in English. I
think there used to be a non-paywalled copy floating around but I don't
really remember details about that.

Not that I really remember what I got from the Givant paper and what I
got from GeoCoq, back when I was doing this stuff more actively.