2 ms·
I'm of the mind we should be teaching predicate and temporal logic, formal methods, and critical thinking before teaching languages. Though if you were to star
by agentultra 11y ago
I'm of the mind we should be teaching predicate and temporal logic, formal methods, and critical thinking before teaching languages.
Though if you were to start with a language C might be a good one just to show you how sloppy thinking leads to incorrect behavior and poor performing programs.
- ArkyBeagle 11y agoI think you are absolutely right. This will (apparently) never happen. I actually had a conversation with the mathematics department chairman about this after I took the formal logic course as a junior in college. "Why wasn't this the first course I took?" I made A's on all subsequent math courses; I'd been a lot B's and C's up to then. He didn't say he knew why we don't. Now, this is a smallish college that started as a normal school - a teacher's college - and still is a teacher's college. The only graduate courses there were in education. I think we all actually know why. We cargo cult these things to a deep level. I don't think it's intentional; I think that very few people know what rigor and formalism are. It's painful to learn.