>>12745405People like you give this view a bad name.
>>12745409>>12745542>>12746343P vs. NP is a rephrasing of the expressibility of first order logic, asking whether or not second order languages can express languages that first order logic equipped with a least fixed point combinator cannot. The connections between modern CS and classical mathematics are deep and reach from the foundations to more trendy fields, but these discussions are always ruined by schizoposting, much like how the connection between CS and physics (good amount of work on this by studying Ising model) is fairly deep but needs to be studied further, but nobody thinks it's cool because Stephen Wolfram shits up the discussion by talking about muh fractals and muh emergence from simple algorithms.
>>12746326Sort of? It's closer to say that CS is what the constructivist pulls out when he's fighting a finitist, ie. he's trying to convince the finitist that we can make sense of infinite structures in "clear, tangible" terms. if that makes sense. Engineering is a different tradition of the physicist applying models to making devices and doing tasks, while CS is somewhere in the middle of being a pure study and being an abstract form of engineering (whose standards will likely mature since people in CS are either completely genius or dumb as a sack of bricks - no in-between)
