Quantcast

Got Homework?

Connect with other students for help. It's a free community.

  • across
    MIT Grad Student
    Online now
  • laura*
    Helped 1,000 students
    Online now
  • Hero
    College Math Guru
    Online now

Here's the question you clicked on:

55 members online
  • 0 replying
  • 0 viewing

UnkleRhaukus Group Title

which subtopic of maths does logic go in/

  • one year ago
  • one year ago

  • This Question is Closed
  1. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Metamath (for mathematical logic)

    • one year ago
  2. UnkleRhaukus Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    if you say so

    • one year ago
  3. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Don't u believe me?:-)

    • one year ago
  4. UnkleRhaukus Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    i dont really know what defines metamath

    • one year ago
  5. ParthKohli Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    It comes under Pure Mathematics. @estudier is telling you to ask them in the Meta-math group.

    • one year ago
  6. ParthKohli Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Mathematical logic per se is a study which comes under Pure Mathematics.

    • one year ago
  7. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Roughly speaking it is the use of math to talk about math.

    • one year ago
  8. UnkleRhaukus Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    what ever you reckon

    • one year ago
  9. ParthKohli Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Because they have no mathematical logic group, meta-math is the best group to ask in. In fact, Meta-math is an appropriate description of mathematical logic, because it's mathematics about mathematics.

    • one year ago
  10. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    To 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.

    • one year ago
  11. UnkleRhaukus Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    but logic about logic is maths

    • one year ago
  12. ParthKohli Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Yeah... it's sort of a conclave thing.

    • one year ago
  13. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    One thing I noticed missing is a Miscellaneous/Other category or a category for Recreational Mathematics

    • one year ago
  14. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Anyway, that is not the question here, sorry...

    • one year ago
  15. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    I 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)

    • one year ago
  16. UnkleRhaukus Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    well 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

    • one year ago
  17. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Where would you post it instead? Algebra? (I don't disagree with u, metamath only includes mathematical logic usually)

    • one year ago
  18. UnkleRhaukus Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    probability, statistics, discrete math

    • one year ago
  19. UnkleRhaukus Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    geometry

    • one year ago
  20. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Exactly which sort of logic are we talking about?

    • one year ago
  21. UnkleRhaukus Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    where do you think is best for this question \[(1,2)\cap[2,3)=\]

    • one year ago
  22. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Set Theory = Metamath Applications of Set theory = The area in which it is being applied.

    • one year ago
  23. UnkleRhaukus Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    im talking about these operators \(\neg,\land,\lor,\Rightarrow,\Leftrightarrow,\exists,\forall,|\)

    • one year ago
  24. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Again, you have to distinguish between the theory and the applications

    • one year ago
  25. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    The theory is that of formal systems (First order logic and in general, nth order logics).

    • one year ago
  26. UnkleRhaukus Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    well 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

    • one year ago
  27. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Yes, these are all connected...

    • one year ago
  28. UnkleRhaukus Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    \[\{,(,[,\cup,\cap,\]

    • one year ago
  29. UnkleRhaukus Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    i feel there should be a single subtopic that can accommodate all these, maybe it is just maths

    • one year ago
  30. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    propositional logic - simple declarative propositions, first-order logic - covers predicates and quantification as well

    • one year ago
  31. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    These are then used in ZFC (a formal mathematical system) to prove things using the language of sets

    • one year ago
  32. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    At a very abstract level, I would call this metamath. Otherwise, it would depend on where it was being applied.

    • one year ago
  33. UnkleRhaukus Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    yeah

    • one year ago
  34. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    However it does seem to be to be very algebraic in nature.

    • one year ago
  35. UnkleRhaukus Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    my main reason for disliking metamath as the best option, is that the OS group dosent have much history of use of these symbols

    • one year ago
  36. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    Basically, I agree, we could get along fine without this subgroup and instead maybe have one called "Proofs, Logic and Sets" or something like that.

    • one year ago
  37. lgbasallote Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    logic is under discrete mathematics......

    • one year ago
  38. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    I 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.

    • one year ago
  39. lgbasallote Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    if you consider logic to be under mathematics, then it's under discrete mathematics. Otherwise, you might as well consider logic to be under philosophy

    • one year ago
  40. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 0

    If 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.

    • one year ago
  41. shadowfiend Group Title
    Best Response
    You've already chosen the best response.
    Medals 1

    That'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.

    • one year ago
  42. swissgirl Group Title
    Best Response
    You've already chosen the best response.
    Medals 1

    Well 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.

    • one year ago
  43. estudier Group Title
    Best Response
    You've already chosen the best response.
    Medals 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. :-)

    • one year ago
  44. swissgirl Group Title
    Best Response
    You've already chosen the best response.
    Medals 1

    As usual I didnt follow the joke lol

    • one year ago
    • Attachments:

See more questions >>>

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
  • 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.

This is the testimonial you wrote.
You haven't written a testimonial for Owlfred.