Giuseppe Peano


Quick Info

Born
27 August 1858
Cuneo, Piemonte, Kingdom of Sardinia (now Italy)
Died
20 April 1932
Turin, Italy

Summary
Giuseppe Peano was the founder of symbolic logic and his interests centred on the foundations of mathematics and on the development of a formal logical language.

Biography

Giuseppe Peano's parents worked on a farm and Giuseppe was born in the farmhouse 'Tetto Galant' about 5 km from Cuneo. He attended the village school in Spinetta then he moved up to the school in Cuneo, making the 5km journey there and back on foot every day. His parents bought a house in Cuneo but his father continued to work the fields at Tetto Galant with the help of a brother and sister of Giuseppe, while his mother stayed in Cuneo with Giuseppe and his older brother.

Giuseppe's mother had a brother who was a priest and lawyer in Turin and, when he realised that Giuseppe was a very talented child, he took him to Turin in 1870 for his secondary schooling and to prepare him for university studies. Giuseppe took exams at Ginnasio Cavour in 1873 and then was a pupil at Liceo Cavour from where he graduated in 1876 and, in that year, he entered the University of Turin.

Among Peano's teachers in his first year at the University of Turin was D'Ovidio who taught him analytic geometry and algebra. In his second year he was taught calculus by Angelo Genocchi and descriptive geometry by Giuseppe Bruno. Peano continued to study pure mathematics in his third year and found that he was the only student to do so. The others had continued their studies at the Engineering School which Peano himself had originally intended to do. In his third year Francesco Faà di Bruno taught him analysis and D'Ovidio taught geometry. Among his teachers in his final year were again D'Ovidio with a further geometry course and Francesco Siacci with a mechanics course. On 29 September 1880 Peano graduated as doctor of mathematics.

Peano joined the staff at the University of Turin in 1880, being appointed as assistant to D'Ovidio. He published his first mathematical paper in 1880 and a further three papers the following year. Peano was appointed assistant to Genocchi for 1881-82 and it was in 1882 that Peano made a discovery that would be typical of his style for many years, he discovered an error in a standard definition.

Genocchi was by this time quite old and in relatively poor health and Peano took over some of his teaching. Peano was about to teach the students about the area of a curved surface when he realised that the definition in Serret's book, which was the standard text for the course, was incorrect. Peano immediately told Genocchi of his discovery to be told that Genocchi already knew. Genocchi had been informed the previous year by Schwarz who seems to have been the first to find Serret's error.

In 1884 there was published a text based on Genocchi's lectures at Turin. This book Course in Infinitesimal Calculus although based on Genocchi's lectures was edited by Peano and indeed it has much in it written by Peano himself. The book itself states on the title page that it is:-
... published with additions by Dr Giuseppe Peano.
Genocchi seemed somewhat unhappy that the work came out under his name for he wrote:-
... the volume contains important additions, some modifications, and various annotations, which are placed first. So that nothing will be attributed to me which is not mine, I must declare that I have had no part in the compilation of the aforementioned book and that everything is due to that outstanding young man Dr Giuseppe Peano ...
Peano received his qualification to be a university professor in December 1884 and he continued to teach further courses, some for Genocchi whose health had not recovered sufficiently to allow him to return to the University.

In 1886 Peano proved that if f(x,y)f (x, y) is continuous then the first order differential equation dydx=f(x,y)\Large\frac{dy}{dx}\normalsize = f (x, y) has a solution. The existence of solutions with stronger hypothesis on ff had been given earlier by Cauchy and then Lipschitz. Four years later Peano showed that the solutions were not unique, giving as an example the differential equation dydx=3y2/3\Large\frac{dy}{dx}\normalsize = 3y^{2/3} , with y(0)=0y(0) = 0.

In addition to his teaching at the University of Turin, Peano began lecturing at the Military Academy in Turin in 1886. The following year he discovered, and published, a method for solving systems of linear differential equations using successive approximations. However Émile Picard had independently discovered this method and had credited Schwarz with discovering the method first. In 1888 Peano published the book Geometrical Calculus which begins with a chapter on mathematical logic. This was his first work on the topic that would play a major role in his research over the next few years and it was based on the work of Schröder, Boole and Charles Peirce. A more significant feature of the book is that in it Peano sets out with great clarity the ideas of Grassmann which certainly were set out in a rather obscure way by Grassmann himself. This book contains the first definition of a vector space given with a remarkably modern notation and style and, although it was not appreciated by many at the time, this is surely a quite remarkable achievement by Peano.

In 1889 Peano published his famous axioms, called Peano axioms, which defined the natural numbers in terms of sets. These were published in a pamphlet Arithmetices principia, nova methodo exposita which, according to [5] were:-
... at once a landmark in the history of mathematical logic and of the foundations of mathematics.
The pamphlet was written in Latin and nobody has been able to give a good reason for this, other than [5]:-
... it appears to be an act of sheer romanticism, perhaps the unique romantic act in his scientific career.
The Peano axioms are listed at THIS LINK.

Genocchi died in 1889 and Peano expected to be appointed to fill his chair. He wrote to Casorati, whom he believed to be part of the appointing committee, for information only to discover that there was a delay due to the difficulty of finding enough members to act on the committee. Casorati had been approached but his health was not up to the task. Before the appointment could be made Peano published another stunning result.

He invented 'space-filling' curves in 1890, these are continuous surjective mappings from [0,1] onto the unit square. Hilbert, in 1891, described similar space-filling curves. It had been thought that such curves could not exist. Cantor had shown that there is a bijection between the interval [0,1] and the unit square but, shortly after, Netto had proved that such a bijection cannot be continuous.

You can see some stages in the construction of this curve at THIS LINK.

Peano's continuous space-filling curves cannot be 1-1 of course, otherwise Netto's theorem would be contradicted. Hausdorff wrote of Peano's result in Grundzüge der Mengenlehre in 1914:-
This is one of the most remarkable facts of set theory.
In December 1890 Peano's wait to be appointed to Genocchi's chair was over when, after the usual competition, Peano was offered the post. In 1891 Peano founded Rivista di matematica, a journal devoted mainly to logic and the foundations of mathematics. The first paper in the first part is a ten page article by Peano summarising his work on mathematical logic up to that time.

Peano had a great skill in seeing that theorems were incorrect by spotting exceptions. Others were not so happy to have these errors pointed out and one such was his colleague Corrado Segre. When Corrado Segre submitted an article to Rivista di matematica Peano pointed out that some of the theorems in the article had exceptions. Segre was not prepared to just correct the theorems by adding conditions that ruled out the exceptions but defended his work saying that the moment of discovery was more important than a rigorous formulation. Of course this was so against Peano's rigorous approach to mathematics that he argued strongly:-
I believe it new in the history of mathematics that authors knowingly use in their research propositions for which exceptions are known, or for which they have no proof...
It was not only Corrado Segre who suffered from Peano's outstanding ability to spot lack of rigour. Of course it was the precision of his thinking, using the exactness of his mathematical logic, that gave Peano this clarity of thought. Peano pointed out an error in a proof by Hermann Laurent in 1892 and, in the same year, reviewed a book by Veronese ending the review with the comment:-
We could continue at length enumerating the absurdities that the author has piled up. But these errors, the lack of precision and rigour throughout the book take all value away from it.
From around 1892, Peano embarked on a new and extremely ambitious project, namely the Formulario Mathematico. He explained in the March 1892 part of Rivista di matematica his thinking:-
Of the greatest usefulness would be the publication of collections of all the theorems now known that refer to given branches of the mathematical sciences ... Such a collection, which would be long and difficult in ordinary language, is made noticeably easier by using the notation of mathematical logic ...
In many ways this grand idea marks the end of Peano's extraordinary creative work. It was a project that was greeted with enthusiasm by a few and with little interest by most. Peano began trying to convert all those around him to believe in the importance of this project and this had the effect of annoying them. However Peano and his close associates, including his assistants, Vailati, Burali-Forti, Pieri and Fano soon became deeply involved with the work.

When describing a new edition of the Formulario Mathematico in 1896 Peano writes:-
Each professor will be able to adopt this Formulario as a textbook, for it ought to contain all theorems and all methods. His teaching will be reduced to showing how to read the formulas, and to indicating to the students the theorems that he wishes to explain in his course.
When the calculus volume of the Formulario was published Peano, as he had indicated, began to use it for his teaching. This was the disaster that one would expect. Peano, who was a good teacher when he began his lecturing career, became unacceptable to both his students and his colleagues by the style of his teaching. One of his students, who was actually a great admirer of Peano, wrote:-
But we students knew that this instruction was above our heads. We understood that such a subtle analysis of concepts, such a minute criticism of the definitions used by other authors, was not adapted for beginners, and especially was not useful for engineering students. We disliked having to give time and effort to the "symbols" that in later years we might never use.
The Military Academy ended his contract to teach there in 1901 and although many of his colleagues at the university would have also liked to stop his teaching there, nothing was possible under the way that the university was set up. The professor was a law unto himself in his own subject and Peano was not prepared to listen to his colleagues when they tried to encourage him to return to his old style of teaching. The Formulario Mathematico project was completed in 1908 and one has to admire what Peano achieved but although the work contained a mine of information it was little used.

However, perhaps Peano's greatest triumph came in 1900. In that year there were two congresses held in Paris. The first was the International Congress of Philosophy which opened in Paris on 1 August. It was a triumph for Peano and Russell, who attended the Congress, wrote in his autobiography:-
The Congress was the turning point of my intellectual life, because there I met Peano. I already knew him by name and had seen some of his work, but had not taken the trouble to master his notation. In discussions at the Congress I observed that he was always more precise than anyone else, and that he invariably got the better of any argument on which he embarked. As the days went by, I decided that this must be owing to his mathematical logic. ... It became clear to me that his notation afforded an instrument of logical analysis such as I had been seeking for years ...
The day after the Philosophy Congress ended the Second International Congress of Mathematicians began. Peano remained in Paris for this Congress and listened to Hilbert's talk setting out ten of the 23 problems which appeared in his paper aimed at giving the agenda for the next century. Peano was particularly interested in the second problem which asked if the axioms of arithmetic could be proved consistent.

Even before the Formulario Mathematico project was completed Peano was putting in place the next major project of his life. In 1903 Peano expressed interest in finding a universal, or international, language and proposed an artificial language "Latino sine flexione" based on Latin but stripped of all grammar. He compiled the vocabulary by taking words from English, French, German and Latin. In fact the final edition of the Formulario Mathematico was written in Latino sine flexione which is another reason the work was so little used.

Peano's career was therefore rather strangely divided into two periods. The period up to 1900 is one where he showed great originality and a remarkable feel for topics which would be important in the development of mathematics. His achievements were outstanding and he had a modern style quite out of place in his own time. However this feel for what was important seemed to leave him and after 1900 he worked with great enthusiasm on two projects of great difficulty which were enormous undertakings but proved quite unimportant in the development of mathematics.

Of his personality Kennedy writes in [5]:-
... I am fascinated by his gentle personality, his ability to attract lifelong disciples, his tolerance of human weakness, his perennial optimism. ... Peano may not only be classified as a 19th century mathematician and logician, but because of his originality and influence, must be judged one of the great scientists of that century.
Although Peano is a founder of mathematical logic, the German mathematical philosopher Gottlob Frege is today considered the father of mathematical logic.


References (show)

  1. H C Kennedy, Biography in Dictionary of Scientific Biography (New York 1970-1990). See THIS LINK.
  2. Biography in Encyclopaedia Britannica. http://www.britannica.com/biography/Giuseppe-Peano
  3. D A Gillies, Frege, Dedekind, and Peano on the foundations of arithmetic (Assen, 1982).
  4. H C Kennedy, Giuseppe Peano (Basel, 1974).
  5. H C Kennedy, Peano : Life and Works of Giuseppe Peano (Dordrecht, 1980).
  6. R Murawski, Giuseppe Peano- pioneer and promoter of symbolic logic, Uniwersytet im. Adama Mickiewicza w Poznaniu, Instytut Matematyki (Poznań, 1985).
  7. G Peano, Selected works of Giuseppe Peano, with a biographical sketch and bibliography by H C Kennedy (London, 1973).
  8. H C Kennedy, Peano's concept of number, Historia Mathematica 1 (1974), 387-408.
  9. G Lolli, On the 50th anniversary of Peano (1858-1932), Scientia (Milano) 117 (5-8) (1982), 361-367.
  10. F Palladino, The letters of Giuseppe Peano in the correspondence of Ernesto Cesàro (Italian), Nuncius Ann. Storia Sci. 8 (1) (1993), 249-285.
  11. W V O Quine, Peano as logician, Hist. Philos. Logic 8 (1) (1987), 15-24.
  12. M Segre, Peano's axioms in their historical context, Archive for History of Exact Science 48 (3-4) (1994), 201-342.
  13. E A Zaitsev, An interpretation of Peano's logic, Archive for History of Exact Science 46 (4) (1994), 367-383.

Additional Resources (show)


Honours (show)

Honours awarded to Giuseppe Peano

  1. Speaker at International Congress 1897

Cross-references (show)


Written by J J O'Connor and E F Robertson
Last Update December 1997