Re: the missing umlaut on Gödel's gravestone

[Annatala Wolf]

Given the essential and culturally sensitive sociological purposes of a
grave site, I don't believe it is appropriate to treat a grave or memorial
as a simple historical document. If they accidentally placed Gödel's name
on the wrong tombstone, or if the initial carver had added a tiny racial
slur that had gone unnoticed, I doubt anypony would suggest that such a
thing should remain to document its own existence. Gödel was a human being
and is entitled to dignity even in death. His name should be properly
spelled.


On Wed, Dec 23, 2020 at 7:01 PM Kennedy, Juliette <
juliette.kennedy at helsinki.fi> wrote:

> What I know about this is that the Gödel Archive at the IAS may not have
> been consulted on the alteration of Gödel's headstone. As to the
> advisability of the alteration, it is possible that Adele Gödel, who
> outlived Gödel, assented to the plan of the headstone (including the
> typography), if she did not even participate in its design.
>
> I don't think it should have been changed in any case. The headstone is
> (or rather *was*) a historical document.
>


-- 
/* Annatala Wolf, Lecturer
 * Department of Computer Science and Engineering
 * The Ohio State University
 */
enum E{A;System s;String t="/* Annatala Wolf, Lecturer%n * Department of
Computer Science and Engineering%n * The Ohio State University%n */%nenum
E{A;System s;String
t=%c%s%1$c;{s.out.printf(t,34,t);s.exit(0);}}";{s.out.printf(t,34,t);s.exit(0);}}
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20201223/48f4b552/attachment.html>