Log24

Thursday, April 7, 2016

Plan 9 Continues (Very Slowly)

Filed under: General — m759 @ 1:00 PM

From the American Mathematical Society today —

Verena Huber-Dyson (1923-2016) 
Thursday April 7th 2016

Huber-Dyson, who worked in group theory and logic, died March 12 at the age of 92. She was born to Swiss parents in Naples and grew up in Athens but moved with her family to Switzerland in 1940 because of the war. Huber-Dyson received her PhD from the University of Zurich in 1947 and moved to the U.S. in 1948 for a post-doctoral fellowship at the Institute for Advanced Study. She held positions at many universities around the world and taught courses on the foundation of mathematics as a philosophy professor at the University of Calgary from 1973 to 1988. Her son, George Dyson, said that her last words were, "This will all go smoothly. Let's get going." She was an AMS member since 1949. Read more about her life.      

See also Huber-Dyson in this  journal.

Sunday, March 27, 2016

Review

Filed under: General — m759 @ 11:00 PM

Huber-Dyson's Dec. 1981 review of Hofstadter's 'Gödel, Escher, Bach'

See also Krapp in this  journal.

Saturday, March 19, 2016

To Sum It

Filed under: General — m759 @ 2:45 PM

"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?"

Powered by WordPress