Sunday, January 11, 2015
It's the 1920s
And you are deciding what research to fund. Your decision is heavily weighted in favor of promoting the growth of important technology, with the (possibly erroneous) idea that this will promote human well-being. What do you fund? What will have the largest payoff? In retrospect, the answer is pretty clear: you would fund logic work on the foundations of mathematics. Without Frege, Russell-Whitehead, Hilbert, Godel, Turing, von Neumann there would be no computer, no world wide web, no computational biology or neuroscience etc. Here is a history of this period that I just finished reading (what is it with those Dysons?). It is not too hard to imagine that the fundamental work that made our modern world possible (and here Godel and Turing are the lynchpins) would have been considered too irrelevant and recondite to be taken seriously by todays science bureaucrats. But without this work on the foundations of mathematics modern computation (computers, web, apps, you name it) would not exist today. So the next time the NSF or NIH or whoever asks you about the wider relevance of your work (actually asking for techno payoffs in a roundabout way) remind them how hard it is to predict the relevance of basic research and remind them that the payoffs can be bigger than it is possible to imagine, let alone envisage.