3 ms·
> An actual research mathematician would have a good grounding in all of it except for maybe logic. That is unfortunate since logic is important Really? I too
by hdjjhhvvhga 5y ago
> An actual research mathematician would have a good grounding in all of it except for maybe logic. That is unfortunate since logic is important
Really? I took two courses in discrete math and both started with logic. How can you move on to proofs without logic? I can't imagine a "research mathematician" without a sound basis in it.
- throwaway81523 5y agoI mean mathematical logic, where you study proofs as mathematical objects, among other things. The topic used to be called "metamathematics". An old fashioned intro class would usually build up the machinery to prove Gödel's incompleteness theorem, do a little model theory, maybe some set theory, etc. I think a lower level discrete math class wouldn't touch any of this. See: https://en.wikipedia.org/wiki/Mathematical_logic https://en.wikipedia.org/wiki/Mathematical_logic