• Aucun résultat trouvé

Mathematics in english

N/A
N/A
Protected

Academic year: 2022

Partager "Mathematics in english"

Copied!
1
0
0

Texte intégral

(1)

European section Oral examination

Mathematics in english

1 Document

From Algebra by M. Artin, Appendix, Section 2

Exactly what mathematicians consider an appropriate way to present a proof is not clearly dened. It isn't customary to give proofs which are complete in the sens that every step consists in applying a rule of logic to the previous step. Writing such a proof would take too long, and the main points wouldn't be emphasized. On the other hand, all dicult steps of the proof are supposed to be included. Someone reading the proof should be able to ll in as many details as needed to understand it. How to write a proof is a skill that can be learned only by experience.

We will discuss three important techniques used to construct proofs : dicho- tomy, induction and contradiction.

The word dichotomy means division into parts. It is used to subdivide a pro- blem into smaller, more easily managed pieces.[...]

Induction is the main method for proving a sequence of statementsPn, indexed by positive integers. To prove Pn for all n, the principle of induction requires us to do two things : (i) prove that P1 is true, and (ii) prove that if, for some integer k >1, Pk is true, thenPk+1 is also true.[...]

Proofs by contradiction proceed by assuming that the desired conclusion os false and deriving a contradiction from this assumption.[...]

2 Questions

1. According to the author, is it possible or desirable to write a complete proof for every mathematical statement ?

2. What parts of a proof can be omitted ?

3. How can the skill of writing of a proof be learned, according to M. Artin ? 4. What are the three main techniques of proof ?

5. Explain shortly each technique.

Sujet 2004-04 Techniques of proofs

1

Références

Documents relatifs

tlaps is based on a hierarchical proof language that results in a clear proof structure and enables independent checking of the different proof obligations that arise in a proof..

However, in addition to a “raw” translation from Alloy to Coq, we wanted our tool to provide some support to ease the proof in Coq of the assertions of an Alloy model.. Such a

< wich is not modified by this this rule, and the occurrence of also is in the formula : < which is also not modifed by this rule. Observe that the formu- la of this

Based on this reasoning, it was expected that the Stepladder technique, in which the entry of members to a group is structured so that every member is forced to participate during

In cooperation with Yves Bertot and Loïc Pottier (2003), they have designed an interface between the Coq proof assistant and the GeoPlan dynamic

The main goal of this research is to bring up a simple and cheap method to fabricate nanopores in silicon substrate, using only a two-step etching process, including a

Process parameters are optimized to have a dose- dependent developing rate (Figure 1, right), which is the condition to precisely control grayscale

To this aim, we make use of a non- monotonic extension of the Description Logic ALC based on the com- bination of a typicality operator and the well established nonmonotonic