09 - Prouving - Prouver - Démontrer - 09

1: 3000 years of research

Does doubt exist in mathematics? Can one be satisfied with a collection of presumptions if they are 99% correct?
Demonstration is the basis of a mathematician's activity and is, in fact, its originality.
The first proofs were simple, written in a few lines and comprehensible to someone with a high school diploma.
Today we have proofs which represent hundreds of pages, which require the use of computers and which are verfiable by only a small number of specialists.
The complexity of the world poses mathematicians with more and more questions. To answer them they must work out models which must then be proved to be relevant.

2 From Pythagoras to Wiles

How can one demonstrate hypotheses that seem to be true? Do integers such as X2 + Y2 = Z2 exist? or such as Xn + Yn = Zn where n is more than 2?
The Greeks were the first to try to resolve these problems. Then Pythagoras gave his name to the theorem "The square of the hypotenuse...", while Euclid provided the oldest known proof.
Fermat later formulated that this result was not generalizable. Wiles demonstrated this conjecture in 1994! He used the most recent research in many areas of mathematics to produce his result.
Mathematicians regularly strive to make known the big problems which still have to be resolved.
  • Pythagoras (6th cent. bc) • Euclid (3rd cent. bc)
  • Pierre de Fermat (1601-1665)
  • Andrew Wiles (Cambridge, 1953)

3 True but unprovable!

Can we always prove something that we know to be true?
In 1931, Kurt Gödel, in a genuine coup de théâtre, answered in the negative with his famous so-called "incompleteness" theorem.
He proved that the two notions of truth and provability do not coincide by discovering a formula about integers which is true but unprovable in elementary arithmetic.
Still more surprising, Gödel also showed, in the same spirit, that it is possible inside arithmetic neither to refute nor to prove that one will never arrive at a contradiction.
Elementary arithmetic is moreover undecidable. As a consequence, it is for instance impossible to write a computer programme that would check whether or not a given formula about integers is true.
  • Kurt Gödel (1906-1978)

Themes : << 1 < 2 < 3 < 4 < 5 < 6 < 7 < 8 9 10 >>

Diary

Presentations 2o1o

In West Africa


Burkina Faso, April-June:
Ouagadougou, Koudougou
& Bobo Dioulasso

In Europa


Cordoba in Spain
in September-October
with SAEM Thales <=

In Asia


Korea until October
1 year, 6 cities with
Natesystem & Kidp <=

In Latin America

Santiago de Chile
in Janury-February 2010

Presentations 2oo9


Brazil, 10 cities from
Recife to Belo Horizonte<=
Turkey<=
Eskişehir, Izmir & Ankara,
with Anadolu University
Senegal, 4 cities
and Benin (Cotonou)<=
Presentations 2oo8
In Latin America
• Argentina <=
Buenos Aires + 3 cities
• Paraguay:<=
Asunción & Villarrica
• Chile: Santiago (Mim)<=
• Colombia: Bogotá<=
• Mexico & Monterrey<=
In Asia
• Philippines with
Atenao Univ. de Manila<=
• Pakistan with PSF: <=
Islamabad-Peshawar-Lahore
• India: 4 cities <=
(100 000 visitors)
In Europa
• Portugal ''6 months-7 cities
Presentations 2oo7
Euler 2oo7:<=
• Basle 10 000 visitors
• Singapore 35 000 visitors
• Chile: Santiago (Mim)<=
• Clermont-Ferrand
• Varsovia & Cracovia
• Cambodia (4 cities)<=
• Beyrouth & Saďda
with Libanon CNRS
• Vietnam (2 cities)
Presentations 2oo6
Laos (5 cities)
Bangkok (NSM)
Madrid - Icm2oo6 <=
Lyon Museum
Namibie, Windhoek &...
12 towns in 2 mouths

Presentations 2oo4-2oo5
Mozambique Maputo
South Afrika 6 towns
Beijing B. H. S&T Hall
Athens in Megaron
Orléans, Paris
Copenhagen (Icmi10)

Page last modified on 05/08/2007 15:42