Vladimir Alexandrovich Voevodsky Winner of the 2002 Fields Medal passed away earlier this year. Way too early. Explore his UNIVALENT FOUNDATIONS (2014), where he stated:
I think it was at this moment that I largely stopped doing what is called “curiosity-driven research” and started to think seriously about the future. … It soon became clear that the only real long-term solution to the problems that I encountered is to start using computers in the verification of mathematical reasoning.
Some of the folks who mattered … the Brightest Candles of all
We’re on the path to some seriously extreme computing. One hopes that this will be put to good, strike that, great use.
Where can Advanced Intelligence help?
Research in the 1980s revealed that on average only one in 20 ‘symptom episodes’ led to a medical consultation, a pattern that was termed the ‘iceberg of illness’.
from: Fungal Disease in Britain and the United States 1850-2000: Mycoses and Modernity
By A. Homei, M. Worboys