![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" -
![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:large)
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
![Gödel's Theorems; a Workbook on Formalization by Verena HUBER-DYSON - Paperback - 1991 - from Attic Books (SKU: 134299) Gödel's Theorems; a Workbook on Formalization by Verena HUBER-DYSON - Paperback - 1991 - from Attic Books (SKU: 134299)](https://d3525k1ryd2155.cloudfront.net/h/767/868/1446868767.0.x.jpg)