Leggi la risposta di William Thurston alla domanda Cosa deve fare un matematico? su mathoverflow. Solo per convincerti che è una lettura obbligata, lasciami citare.
Il prodotto della matematica è la chiarezza e la comprensione. Non teoremi, da soli. Esiste, ad esempio, una vera ragione per cui anche risultati così famosi come l'ultimo teorema di Fermat, o la congettura di Poincaré, contano davvero? La loro reale importanza non è nelle loro affermazioni specifiche, ma il loro ruolo nel sfidare la nostra comprensione, presentando sfide che hanno portato a sviluppi matematici che hanno aumentato la nostra comprensione.
Il mondo non soffre di un eccesso di chiarezza e comprensione (per dirla in parole povere). Come e se la matematica specifica possa portare a migliorare il mondo (qualunque cosa significhi) di solito è impossibile da prendere in giro, ma la matematica collettivamente è estremamente importante.
Ho una grande simpatia per la tua domanda. Ho conseguito un dottorato di ricerca in logica applicata nell'ambito dell'informatica e alla fine ho vissuto una crisi di utilità. Sembrava che le competenze più forti e le conoscenze più profonde che avessi, tutto ciò per cui mi ero allenato, erano completamente irrilevanti per ottenere un lavoro non accademico. Quando Matt Welsh, membro di facoltà presso Havard, pubblicò di partire per Google, ci fu una discussione in cui David Patterson di UC Berkeley fece il seguente commento:
Non penso che la maggior parte dei sistemi che le persone andranno all'industria per i soldi né quelli che vanno al mondo accademico in modo che possano essere chiamati professori. Siamo fortunati ad aver scelto un campo dove ci sono grandi lavori nell'industria e nel mondo accademico.
Leggendo questo, ho sentito che fare un dottorato in informatica teorica era l'antitesi della sua affermazione. Ora ho fatto domanda per lavori di ingegneria (non di ricerca) nel settore e ho scoperto che c'è posto per noi là fuori.
- Gli algoritmi sono importanti e rilevanti nel settore. Diversi problemi nel settore richiedono buoni algoritmi. Sono inoltre necessarie una solida ingegneria e infrastruttura per far funzionare le cose. Il numero di colli di bottiglia nelle prestazioni per risolvere efficacemente problemi reali non finisce mai. Se sei bravo ad analizzare il tempo e il consumo di memoria di un sistema reale e migliorarlo, c'è molto lavoro per te.
- La chiarezza nella risoluzione dei problemi è un'abilità preziosa. Hai una formazione per arrivare all'essenza matematica di un problema e ignorare il bagaglio distratto. Potresti anche essere in grado di implementare una buona soluzione o implementare una riduzione a un modulo che può essere risolto in modo efficiente.
- L'estetica ha valore. Questo commento si basa su un'esposizione limitata ma dopo aver esaminato il codice che è stato aperto da luoghi come Google e Facebook, vedo che sono stati fatti sforzi per esercitare l'igiene logica. Se ti interessa l'estetica matematica, mi aspetto che potresti avere una disciplina simile quando programmi e la mia impressione è che tale disciplina sia valutata.
- La randomizzazione è al suo massimo potere in un sistema reale. Ci sono così tante situazioni che vanno dalla progettazione del protocollo agli usi dei filtri Bloom e alla progettazione intelligente dei meccanismi di memorizzazione nella cache che si basano sulla randomizzazione per scalare. Per me vedere la randomizzazione in azione è affascinante quanto vederla in un teorema e ancor più soddisfacente.
Ci sono molte persone con poteri che derivano da una formazione teorica in informatica che hanno avuto carriere industriali di successo. Non sto concludendo che è questa conoscenza specifica che li ha resi di successo, ma sicuramente non li ha impediti.
- A metà degli anni '70, un laureando all'università di Havard e un assistente professore scrissero un documento intitolato Bounds per l'ordinamento per inversione del prefisso . Quando Christos Papadimitriou chiamò lo studente per informarlo che il documento era stato accettato da Matematica discreta, William H Gates si era già trasferito ad Albuquerque per fondare un'azienda.
- Ashok K. Chandra , coautore della conferenza del 1979 e della successiva rivista del 1981 Alternation è nel settore.
- The Algorithms and Theory Group in Google ha molti formidabili teorici che, per quanto posso dire, lavorano anche su problemi applicati.
Questa è solo una lista casuale e minuscola. Il mio obiettivo non è quello di essere comprensivo, ma di sottolineare che ci sono teorici ovunque. Spero che ti piaccia programmare, perché è un'abilità indispensabile, e credo che sia uno dei pochi comuni denominatori tra gli informatici. Naturalmente, non userete tutto ciò che sapete su base giornaliera. Ma non mi aspetto che ciò accada anche se rimani nel mondo accademico, a meno che tu non continui a lavorare esattamente sulla stessa serie di problemi per anni e anni. Se pensavi diversamente, prova la Guida illustrata al dottorato di Matthew Might .