# For those of us who have trouble with theorems, where should we ask questions?

While I am learning a lot from others here at the Computer Science site, I must admit that I don't get as much out of some questions and answers since I typically don't understand the theorems to the level necessary. I am currently reading How To Prove It - A Structured Approach which is starting to make the theorems easier to read, but still does not get me to the point of being able to understand the theorems to the point that they add great insight to the question or answer.

So I started to think about the kinds of questions I would ask related to the theorems and realized that they can be broken down into two sets; one about theorems in general and one about the specific theorem in the question or answer.

As such I am looking for advice and/or comment on

1. If I want to drill down into details to understand a theorem presented, should I ask a new question at the site or ask a question in a comment of the question or answer presenting the theorem?

Sorry I can't post the LaTeX markup because it doesn't work in meta.

What does a -> v0 -> ... -> vN -> b mean?

It appears that you are redefining the way of ordering the vertices, but I still don't understand how the vertices can be ordered. Latter you state that greater than or equal is not valid for ordering which gets back to what does this mean?

2. If I want to ask a question about understanding theorems in general, should there be a new Stack Exchange site for theorems and people who want to know more about writing and understating theorems, or should the question be asked within a specific site?

Sorry I can't post the LaTeX markup because it doesn't work in meta.

There is a period between the "There exist a c that is an element of the vertexes" and "a is less than or equal to c". What does the period mean? I would be expecting either a comma to mean conjuction or or to mean disjunction, but not a period. I don't see how this could be converted to logical statements.

• Can you give an example for both 1. and 2., please?
– Raphael Mod
Jul 30 '12 at 18:59
• @Raphael Done. See edits. If you agree with how I am posing the question, I will post them in the main CS site to see how it goes. Comments welcome. Jul 31 '12 at 1:07
• @GuyCoder: In these cases, you could simply write a comment after each such question or answer and ask for an explanation of the unclear notation. In this case the use of a full stop in the answer and the question is non-standard and asking for a clarification could help other users as well. Jul 31 '12 at 10:38
• Regarding your question 2, just replace the full stop (".") with a colon (":") and the notation should be clear. "There is a c in V such that ..." Jul 31 '12 at 10:40
• I agree. Questions regarding syntax are best directed at the original poster.
– Raphael Mod
Jul 31 '12 at 16:29