I think we actually agree. I too feel that computer science these days is gibberish relying on the form but not substance of mathematical proofs to convey super

I think we actually agree. I too feel that computer science these days is gibberish relying on the form but not substance of mathematical proofs to convey superior status, whereas "why" systems worked back then didn't require mathemtical _gibberish_ to explain, but were actually very well rooted in mathematical reasoning.