L’informatica è un ramo della matematica?

Ha.

Ho avuto una versione di questa domanda, quando ero una matricola al college, quando la UCSB non aveva ancora un dipartimento di CS.

Quando si guarda l'Amer. Math. Soc. della matematica, CS è 1 argomento (di circa 90-100). Quindi alcuni matematici la pensano così. Altri matematici desiderano il contrario (è una battuta che all'epoca era "Oh, circa 10.000 dollari all'anno").

CS è stata combattuta come disciplina nelle università e nei college fin dalla formazione. Nel caso dell'Univ. di CA, i dipartimenti di matematica. "l'hanno fatto per i soldi". E così i dipartimenti migliori sono stati presi dai programmi di EE. La Cal. State Univ. (CSU) invece, i dipartimenti di matematica erano più comuni e hanno vinto per lo più, ma hanno dipartimenti più deboli con più enfasi sull'applicazione e la formazione (sono chiamati originariamente scuole di insegnamento).

È una questione accademica ma con una grande posta in gioco. Ci sono esperti di gran lunga migliori di me per rispondere a questo, ma ho fatto amicizia con Knuth dopo il mio secondo incontro con lui quando ha onorato il suo consigliere di dottorato (Marshall Hall) al Caltech. Da quella conferenza scrisse un articolo che confrontava il pensiero algoritmico e matematico, pubblicato nel marzo 1985 in Amer. Math. Monthly, e riprodotto nel suo Selected Papers in Computer Science vol. 1. Grande libro da possedere. Leggete questo documento. Formate la vostra opinione.

Io avrei da ridire sulla rilevanza di certi vecchi argomenti nella teoria della computazione.