Logic thread

I really enjoyed Mendelson's book. That's as far as I got into logic, though.

>intro to proofs
Such a thing doesn't even exist in my country. You're supposed to learn how to prove things during your school years. Now that I think about it, the whole Geometry course was mainly about it.

Then "elementary formal logic" isn't a logic course. Now fuck off, brainlet fucktard who wasn't even taken a logic course.

>Hai guise look at my proof theory and formal logic textbook!! is rly good. Wat? My course is highschool level material? well but the title of the course has the words "Sets" and "logic" in it so i guess it took a logic course guise.

Yep, this guy's a joke. Just like these "intro to proofs" courses.

What are you so angry about?

So is comoutability a subfield of logic or a separate thing? Obviously they're (very) connected

>course has logic in the name
>'b-b-b-but it's not a real logic course because I took a logic course in grad school that was really hard and there's no way some dumb little undergrad could know logic! REEEEEEE!'

What's really hilarious is that you're being this illogical emotional stereotype throwing a temper tantrum and asserting logical fallacies, while discussing a course in logic ;)

You don't know logic. You know truth tables, you know how the meaning of some connectives and quantifiers. That's it. That's what you know. You do not know logic.

I took actual courses in logic not just "intro to proof" courses where one sees elementary logic.

I've taken basic, intermediate and advance courses in logic. I took a course in set theory where we covered topics such as weakly inaccessible cardinals, Ramsey theory and so on.

I took a course in recursion theory where we covered godels incompleteness theorems.

The lower level logic courses covered godels soundness theorems and the like.

I even did research in logic and intended to go to graduate school for a PhD in math logic.

Logic turns out not to be a popular field in mathematics, despite its connection to other areas (all of undergraduate mathematics) and interesting results in comparability.

Most math departments for some reason don't have many logicians (outside of places like Berkeley, Wisconsin, etc.)

I decided to go for a PhD in CS instead and focus on the more pure math side of CS.

Math logic is still one of my favorite areas of pure mathematics though.

Comparability was meant to be "computability"*

okay im not these guys and im not gonna be all patronising: but in mathematics, what we mean by "logic" as a field of study has a very specific meaning. take a look at some of these papers:
arxiv.org/list/math.LO/recent

its not just us being all "haha we know more logic". the logic people do is about as different to the logic youve done as number theory is from multiplying and adding numbers.
you might USE logic, but you havent STUDIED it.