![](https://secure.gravatar.com/avatar/d4bd34a45c928e8356f38323ff84763e.jpg?s=120&d=mm&r=g)
17 Oct
2018
17 Oct
'18
3:01 a.m.
Am Tue, 16 Oct 2018 09:07:38 +0200 schrieb Arthur Reutenauer:
I quite liked the idea of the font itself deciding on its size, of its own free will ;-)
;-) That's an application of Gödel's incompleteness theorems: with some level of complexity and lookups strange loops und true but unproveable statements about the font appear and then it clearly has its how free will. Or shorter: you no longer can really understand what it is doing ... -- Ulrike Fischer http://www.troubleshooting-tex.de/