the missing umlaut on G?del's gravestone

[Michael Barany]

Does anyone with an IAS connection know any of the other sides of the story of how a random lawyer / skincare entrepreneur / Godel fan with an "Eternal Past Conjecture" that looks ripped from the crackpot files of 20th century mathematical archives managed to get permission ot alter a gravestone because he disagreed with the typography? Seems incredible to me that, as he reports it, he could have done so with the IAS's support.

(Note, contra Martin Davis's summary, that the umlaut was not "missing" but rather engraved in a style --- presumably approved by the executors who arranged the original burial --- that the headstone vigilante, and probably many on this list, found unfamiliar.)

Michael

And so it came to pass that at 17:00 on Sunday the 20 of December in the year 2020, fom-request at cs.nyu.edu did declare: 
> Date: Sat, 19 Dec 2020 09:09:49 -0800
> From: Martin Davis <martin.david.davis at gmail.com>
> To: fom at cs.nyu.edu
> Subject: the missing umlaut on G?del's gravestone
> Message-ID:
> <CA+cpueJTs0f-aWVgtJZt7u8=NuMki77J9j603jt=8fCBGp9h9g at mail.gmail.com>
> Content-Type: text/plain; charset="utf-8"
> 
> Andrew Hartford's story telling how he got the missing umlaut  placed on
> the gravestone for Kurt and Adele G?del'
> https://andrewhartford.medium.com/on-arguments-and-arguants-reason-reasoning-and-reasoners-46036a26a848
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20201221/bcc88c4f/attachment.html>