Why no one other than computer scientists seems give a shit about lambda calculus? It basically solved the ancient problem of unifying logic and mathematics, still no actual mathematician seems to give a fuck about it, they do not even mention it when talking about the foundation of mathematics. Why?
Are they salty because it was discovered by someone not from their field?