>>11825846I mean there are. The human genome project wasn’t that long ago, and that was an effort from both biologists and computer scientists (academics, not codemonkeys).
On that note, computer science has had many big breakthroughs in its own theory and in interdisciplinary research. The protein folding problems are a mix of complexity, physics, and learning algorithms. Complexity is part of quantum Hamiltonian research in condensed matter physics.
If you look at the people who organized the HoTT book, they’d be characterized as “great mathematicians”
Just because they don’t have a biopic since they’re still fucking alive doesn’t mean they don’t exist. On the other hand, Ramsey was an amazing mathematician and has no biopic.
