Real-World Geometry
摘要
The Ph.D. thesis of Gwendolin Wilke lays the foundations of a “real-world geometry” that enables computers to perform geometric constructions from approximate inputs. The underlying assumption is that classical geometry is an idealized mental image of reality that actually approximates geometric situations we experience in our everyday lives. Thus, classical geometry and “real-world geometry” are assumed to be more or less similar, depending on the situation at hand. Quantifying this similarity allows for estimating “how wrong” a geometric construction is when put it in the wild. The approach thus not only aims at facilitating approximate geometric constructions but also provides an error calculus that informs a user when the difference between abstraction and reality becomes too big.