![Cliff Pickover on X: "Verena Huber-Dyson, mathematician and logician, May 6, 1923—March 12, 2016. Info: https://t.co/BbMFDTA4Ic https://t.co/dlrma6gOlf" / X Cliff Pickover on X: "Verena Huber-Dyson, mathematician and logician, May 6, 1923—March 12, 2016. Info: https://t.co/BbMFDTA4Ic https://t.co/dlrma6gOlf" / X](https://pbs.twimg.com/media/CgvpS98WIAEBiSf.jpg)
Cliff Pickover on X: "Verena Huber-Dyson, mathematician and logician, May 6, 1923—March 12, 2016. Info: https://t.co/BbMFDTA4Ic https://t.co/dlrma6gOlf" / X
![Julia Robinson Math Festival on X: ""It is so much easier to do mathematics than to philosophize about it. My group theoretic musings, the doodles, have been a refuge all my life" - Julia Robinson Math Festival on X: ""It is so much easier to do mathematics than to philosophize about it. My group theoretic musings, the doodles, have been a refuge all my life" -](https://pbs.twimg.com/media/E4vx5IWWQAELvcg.jpg)
Julia Robinson Math Festival on X: ""It is so much easier to do mathematics than to philosophize about it. My group theoretic musings, the doodles, have been a refuge all my life" -
![John Brockman on X: "Verena Huber-Dyson RIP "It is so much easier to do mathematics than to philosophize about it"https://t.co/rsXmxDOso2 https://t.co/pxI4AYbYTa" / X John Brockman on X: "Verena Huber-Dyson RIP "It is so much easier to do mathematics than to philosophize about it"https://t.co/rsXmxDOso2 https://t.co/pxI4AYbYTa" / X](https://pbs.twimg.com/media/CdhM4W6XEAEKY50.jpg)
John Brockman on X: "Verena Huber-Dyson RIP "It is so much easier to do mathematics than to philosophize about it"https://t.co/rsXmxDOso2 https://t.co/pxI4AYbYTa" / X
![Goedels Theorems: a Workbook on Formalization (Teubner-Texte zur Mathematik) : Huber-Dyson, Verena: Foreign Language Books - Amazon.co.jp Goedels Theorems: a Workbook on Formalization (Teubner-Texte zur Mathematik) : Huber-Dyson, Verena: Foreign Language Books - Amazon.co.jp](https://m.media-amazon.com/images/I/51RZmLKoGzL._AC_UF1000,1000_QL80_.jpg)