A community for students. Sign up today!
Here's the question you clicked on:
 0 viewing

This Question is Closed

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0Metamath (for mathematical logic)

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0Don't u believe me?:)

UnkleRhaukus
 2 years ago
Best ResponseYou've already chosen the best response.0i dont really know what defines metamath

ParthKohli
 2 years ago
Best ResponseYou've already chosen the best response.0It comes under Pure Mathematics. @estudier is telling you to ask them in the Metamath group.

ParthKohli
 2 years ago
Best ResponseYou've already chosen the best response.0Mathematical logic per se is a study which comes under Pure Mathematics.

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0Roughly speaking it is the use of math to talk about math.

UnkleRhaukus
 2 years ago
Best ResponseYou've already chosen the best response.0what ever you reckon

ParthKohli
 2 years ago
Best ResponseYou've already chosen the best response.0Because they have no mathematical logic group, metamath is the best group to ask in. In fact, Metamath is an appropriate description of mathematical logic, because it's mathematics about mathematics.

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0To be honest, I am not so sure that we really need this section in OS. At least, I think that there would not be so many members of that group.

UnkleRhaukus
 2 years ago
Best ResponseYou've already chosen the best response.0but logic about logic is maths

ParthKohli
 2 years ago
Best ResponseYou've already chosen the best response.0Yeah... it's sort of a conclave thing.

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0One thing I noticed missing is a Miscellaneous/Other category or a category for Recreational Mathematics

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0Anyway, that is not the question here, sorry...

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0I think it is a good idea to ask the question in the metamath group "What is metamath?" (And pin the thread, except u can't do that)

UnkleRhaukus
 2 years ago
Best ResponseYou've already chosen the best response.0well so far i have some reason to post logic questions in the subtopic metamath, however i can think of equally valid reasons to post logic question in other subtopics, so i still am not convinced that metamath is the best section to post in

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0Where would you post it instead? Algebra? (I don't disagree with u, metamath only includes mathematical logic usually)

UnkleRhaukus
 2 years ago
Best ResponseYou've already chosen the best response.0probability, statistics, discrete math

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0Exactly which sort of logic are we talking about?

UnkleRhaukus
 2 years ago
Best ResponseYou've already chosen the best response.0where do you think is best for this question \[(1,2)\cap[2,3)=\]

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0Set Theory = Metamath Applications of Set theory = The area in which it is being applied.

UnkleRhaukus
 2 years ago
Best ResponseYou've already chosen the best response.0im talking about these operators \(\neg,\land,\lor,\Rightarrow,\Leftrightarrow,\exists,\forall,\)

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0Again, you have to distinguish between the theory and the applications

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0The theory is that of formal systems (First order logic and in general, nth order logics).

UnkleRhaukus
 2 years ago
Best ResponseYou've already chosen the best response.0well im doing a course you see, and we have covered all the above operators , then some stuff on proof, ( like proof of \(\sqrt{2}\not\in\mathbb Q\}\) and now we are starting some set theory

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0Yes, these are all connected...

UnkleRhaukus
 2 years ago
Best ResponseYou've already chosen the best response.0\[\{,(,[,\cup,\cap,\]

UnkleRhaukus
 2 years ago
Best ResponseYou've already chosen the best response.0i feel there should be a single subtopic that can accommodate all these, maybe it is just maths

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0propositional logic  simple declarative propositions, firstorder logic  covers predicates and quantification as well

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0These are then used in ZFC (a formal mathematical system) to prove things using the language of sets

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0At a very abstract level, I would call this metamath. Otherwise, it would depend on where it was being applied.

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0However it does seem to be to be very algebraic in nature.

UnkleRhaukus
 2 years ago
Best ResponseYou've already chosen the best response.0my main reason for disliking metamath as the best option, is that the OS group dosent have much history of use of these symbols

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0Basically, I agree, we could get along fine without this subgroup and instead maybe have one called "Proofs, Logic and Sets" or something like that.

lgbasallote
 2 years ago
Best ResponseYou've already chosen the best response.0logic is under discrete mathematics......

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0I have seen people say that logic (and set theory/proofs) is a part of discrete math but I fail to see why that should be, logic, proof and set theory is applied across all of mathematics.

lgbasallote
 2 years ago
Best ResponseYou've already chosen the best response.0if you consider logic to be under mathematics, then it's under discrete mathematics. Otherwise, you might as well consider logic to be under philosophy

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0If it is the theory of mathematical logic then it is definitely metamathematics, the applications could be anywhere but to me the usage seems most like algebra (symbolic manipulation according to some rules). There are a lot of things under the heading "logic", it depends what u mean and whether you are talking about applications or theory.

shadowfiend
 2 years ago
Best ResponseYou've already chosen the best response.1That's a good question. Keep in mind that if you can't find a valid subtopic, you can absolutely just post it directly in math. That said, you're right that set theory and formal logic could probably use some sort of subtopic. I feel like lumping proofs in there is random and unnecessary, however (despite the fact that proofs often rely on formal logic). Perhaps a logic & sets topic? The correlation there is stronger, I feel.

swissgirl
 2 years ago
Best ResponseYou've already chosen the best response.1Well Discrete math is basically compromised of Logic, Set Theory, Relations, Cardinality, Functions such as mapping a function onto or one to one and sometimes graph theory. So I guess you would ask a logic question in the Discrete math section.

estudier
 2 years ago
Best ResponseYou've already chosen the best response.0@swissgirl Well (deleted) math is basically compromised of Logic, Set Theory, Relations, Cardinality, Functions such as mapping a function onto or one to one and sometimes graph theory. So I guess you would ask a logic question in the (deleted) math section. :)

swissgirl
 2 years ago
Best ResponseYou've already chosen the best response.1As usual I didnt follow the joke lol
Ask your own question
Ask a QuestionFind more explanations on OpenStudy
Your question is ready. Sign up for free to start getting answers.
spraguer
(Moderator)
5
→ View Detailed Profile
is replying to Can someone tell me what button the professor is hitting...
23
 Teamwork 19 Teammate
 Problem Solving 19 Hero
 Engagement 19 Mad Hatter
 You have blocked this person.
 ✔ You're a fan Checking fan status...
Thanks for being so helpful in mathematics. If you are getting quality help, make sure you spread the word about OpenStudy.