Hal Prince

@_joaogui1 I really like the Budiansky biography.

@mietek Check out The Annotated Gödel.

I wish for an annotated guide to Gödel’s incompleteness theorems, written in modern logical notation, by someone familiar with type theory.

@julioccneto No digital. Lots of carefully formatted equations; couldn't imagine that they would work well on small screen. The fact that I am old is just a coincidence.

@TheHalPrince Cannot believe it! No digital format? I'll read it and tell you about it!!

Who's going to write that marvelous book named "the annotated godel"??? Anyone, please?