# Tag Info

5

Aside from any particular book, I'd say that you need a human being reviewing and giving feedback on your proofs. This is a type of writing for consumption by other people. One of the main things is that a proof should be clear, explanatory, and insightful. Partly this criteria depends on the level of expertise of the expected audience. Now, I'm not entirely ...

1

I can start with how it was/is done in Russia. Logic was taught in Russian gymnasiums as a separate subject in late 19th century. When Bolsheviks came to power they pulled logic out of the curriculum. Logic was reinstated in Soviet schools in late 1940s only to be abolished again by the end of 1950s when Khruschev took over. AFAIK, there is no separate logic ...

3

I learned more from Lakatos than any other source about what constitutes a proof, and: the roller-coaster ride adjusting definitions to clarify the proof claim, perhaps realizing that a hidden lemma has a counterexample, the need to reformulate the proof statement in light of these ups-and-downs, and on and on.           Proofs ...

5

As a general introduction, the book Theorems, Corollaries, Lemmas, and Methods of Proof by Richard J. Rossi can be useful. For example, how to prove that a sequence converges? A detailed explanation is given on pages 168-170. As a general rule, to get better we have to do a lot of proofs. A lot of sentences to be proved can be found in problem books on the ...

7

A great start to doing proofs is working through Daniel Velleman's How to Prove it: A Structured Approach, 2nd Edition.. I've used it many times in teaching, usually as a supplementary text.

4

Daniel Solow, How to Read and Do Proofs. Wiley, 6th Edition, 2013.

2

At my school, UIUC (https://illinois.edu/), we have a dedicated proofs course for CS majors (CS 173: Discrete Mathematics) and a dedicated proofs course for math majors (Math 347: Fundamental Mathematics). CS majors will typically take CS 173 in the first or second semester of their first year, and Math majors will take Math 347 before the end of their ...

4

This answer is meant to supplement Daniel R. Collins' answer, which is excellent—my goal is to draw a little more distinction between the "levels" of education and training in the US. Short Answer In the United States, "proofs based" courses (and formal proofs in general) are typically regarded as topics in "higher mathematics", ...

0

I think, in the US, it is the norm for classes focusing on proofs to be nominally at the 3rd-year level. This is because the third year of college is generally the first year that students have committed to their academic specialty. More advanced students can still take those classes in the first or second year. This may end up being the norm for students ...

-1

Yes.from the first day we learned proofs. But i dunno which approach i correct. We had a course called fundementals of mathematics which introduced us to mathematical proof and college level math. Also in every course including calculus we used to study proofs for every theorem. But it was frustrating and hard for us as freshmen and led to disappointment for ...

1

I'm in Scotland and did rigorous proofs in the first year of my degree (Physics) as I sat the full first year maths syllabus. Although, in the final year of high school we were introduced to some simple proofs such as sqrt(2) irrational, and had discussed logic and different proof methods such as contradiction and proof by induction.

4

From my experience in French Classes Préparatoires, we learn proofs during year one without a specific course about it, just while we learn calculus and linear algebra, starting on day one (we actually start a bit in high school). Maths in these classes are very rigorous, and everything that is taught gets proven (with few exceptions), even requiring to re-...

2

I can only speak to my personal experience, but during my time in Undergrad there was a dedicated proof writing class ("Introduction to Higher Mathematics") that was coded as a 330 course. All courses coded above 330 required 330 as a prerequisite, while everything below it did not. Courses below 330 were Calculus 1, 2, 3; Linear Algebra, and (I ...

5

In the UK, students usually learn proofs in the first year of a mathematics degree. My experience is similar to Sumyrda's answer. They also gain some exposure to proof techniques before university in A-Level Mathematics and Further Mathematics, which include proof by contradiction, trig proofs, elementary algebraic proof and proof by induction.

19

From day one. In my experience in Germany, proofs are taken seriously from day one, or even before that. We had a voluntary prep course before the first semester that was half a repetition of calculus (which is a part of the high school curriculum here) and half an introduction to proofs. And the very first homework assignments in analysis and linear algebra ...

11

In my experience (U.S.), that's on the boundary between 2nd and 3rd year -- either the end of sophomore year or the start of junior year. Two years ago I did a survey of Associate in Science (2-year) Mathematics degree programs. It's not common to have a dedicated only-proofs course, but I think many use a Discrete Mathematics course as a vehicle where proof-...

2

Naval Academy has their proofs class spring of sophomore year. It is required for either applied math or pure math. https://www.usna.edu/MathDept/_files/documents/majorMatrices/SMA.pdf https://www.usna.edu/MathDept/_files/documents/majorMatrices/SMP.pdf They have it before linear algebra.

1

The context isn't entirely clear so I'll assume this is about teaching. Then, I support Pedro's answer but also want to add that doing both verbal and symbolic versions may be a good idea. For example: Theorem. A polynomial has a higher order than another if and only if its degree is higher. In other words, for any two polynomials $P$ and $Q$, we have: P=o(...

11

Is there any better alternative to the three-dot notation? The usual general advice is to use words instead of symbols. The best notation is no notation; whenever it is possible to avoid the use of a complicated alphabetic apparatus, avoid it. A good attitude to the preparation of written mathematical exposition is to pretend that it is spoken. Pretend that ...

Top 50 recent answers are included