"To sum it all up I see mathematical activity as
a jumping ahead and then plodding along
to chart a path by rational toil."
— Verena Huber-Dyson, Feb. 15, 1998
"VERENA HUBER-DYSON, mathematician and logician,
died yesterday [March 12, 2016] in Bellingham, Washington,
at the age of 92. She was Emeritus Professor of the
Philosophy Department, University of Calgary, Alberta."
— John Brockman at edge.org, March 13, 2016
Some posts from earlier this month are related to mathematical
activity, Bellingham, jumping ahead, and plodding along:
"The process of plodding is being analyzed by proof theory,
a prolific branch of meta mathematics. Still riddled with questions
is the jumping." — Huber-Dyson, loc. cit.
Still riddled — "Why IS a raven like a writing desk?"