# Stanisław Sławomir Świerczkowski

### Biography

**Stanisław Świerczkowski**was born into a well-to-do Polish family in Toruń, northern Poland, the birthplace of Nicolaus Copernicus. His father Antoni Świerczkowski belonged to the Polish nobility. His mother was of Austro-Hungarian origin and was headmistress of a school for the German-speaking minority in Toruń, a circumstance which saved her life when Germany invaded Poland in 1939. Świerczkowski's parents divorced when he was very young; he was brought up by his mother and was an only child, although he had a half-brother by his father's second marriage. This second marriage was short-lived. Antoni, having fought in the Polish-Soviet war of 1919 - 1921, was a reserve officer and re-enlisted in 1939. He was captured in the Soviet invasion of Poland in September 1939 and subsequently murdered in May 1940 in the notorious Katyń massacre.

Although Świerczkowski's mother's German connections helped her retain something of a normal life under German occupation they counted against her when the Soviets took control in 1945. Until 1948, when she was formally exonerated of her wartime citizenship status, she lived in seclusion in the countryside. Stanisław remained with her until, at the age of fifteen, he was able to take rented accommodation alone in Toruń and resume his schooling.

Of his early mathematics education Świerczkowski comments [1] "In geometry I did well enough to deserve praise from the teacher. Did those two years of roaming the countryside, of hiking in forests and of climbing trees provide me with enough experience of distances, angles and shapes to solve problems in geometry?" His school record was good enough to allow him to sit for university entrance and he succeeded in gaining a place to study astronomy at the newly-founded University of Wrocław.

Astronomy was not to be Świerczkowski's calling, however. Although the discipline was congenial, its methods were not! He writes [1]: "Mathematically the work was simple. However, it required prolonged calculations to determine rows of coordinates. And I was always hopeless at calculations!" Luckily after two years he was able to transfer his state scholarship to the study of mathematics. Thereby he found an inspirational mentor in fellow student Jan Mycielski (subsequently an eminent mathematician) with whom he discovered a latent gift for mathematical research. His first significant original work was the discovery of a new proof of Edward Titchmarsh's 1926 convolution theorem whilst studying for his MSc under Jan Mikusiński.

Hugo Steinhaus was instrumental in developing mathematics at University of Wrocław and one of his questions led to Świerczkowski's best-known result, the three-distance (or three-gap) theorem. Suppose that an irrational number α is chosen in the unit interval and the first $N$ nonnegative integer multiples of α are plotted as points around a circle of unit circumference. Then the set of distances between successive points has cardinality at most three. The theorem belongs to the field of diophantine approximation, since the distances take the form $p\alpha - q$ for integers $p$ and $q$, whence large $N$ gives $p\alpha - q \approx 0$. Steinhaus's question was also answered by Vera Sós but it appears likely that Świerczkowski deserves priority. He writes [2]:

The Three Distances Theorem was conjectured by Hugo Steinhaus. When I gave him the proof, he checked it and asked me to write a report for the Academy of Sciences. He presented this report to the Academy (only members could do that) whereupon it was published in the Bulletin de L'Academie Polonaise des Sciences, Cl. III Vol. IV, No.9, 1956 ... About that time Vera Sós and her husband Prof. Turán visited our University, so they certainly heard about the Three Distances result directly from my colleagues or from me. Of course, Erdős was also visiting us many times. I remember Vera quite well.Another Steinhaus question solved by Świerczkowski around the same time deserves mention: except for the tetrahedron, copies of a chosen Platonic solid may be placed face to face in three-space so as to form a closed, non-intersecting chain, the last copy meeting the first in a face. Steinhaus asked if such a chain could exist for the tetrahedron and Świerczkowski answered this elegantly in the negative by showing that the relevant 3 × 3 rotation matrices form a free group: identity products, corresponding to closed chains, are necessarily absent.

In the announcement in the Bulletin de L'Academie Polonaise des Sciences mentioned above, there are four related theorems, and I postponed publishing the proofs of these to a later paper. By the time I wrote it, Vera Sós published her proof of the Three Distances Theorem, so I found it simpler to just refer to her paper. My proof (which I do not recall) almost certainly found its way into my Ph.D. thesis on the subject of cyclically ordered groups. This dissertation was submitted to the Polish Academy of Sciences. A recent inquiry disclosed that they cannot find it.

Following his doctoral studies Świerczkowski was able to win a British Council scholarship to study in the United Kingdom, in part because his war-time 'German' schooling had included a thorough grounding in English. Thus in 1957 he joined the University of Dundee (then Queen's College, part of the University of St Andrews) under the mentorship of Murray Macbeath with whom he worked on questions in group theory. Jack Cole, who was at Queen's College at the time, also collaborated with Świerczkowski on group theory. At this time another Wrocław postgraduate, Andrzej Hulanicki, was also in the United Kingdom on a British Council scholarship, attached to Manchester University and Świerczkowski collaborated with him on the theory of algebras. In all, Świerczkowski's first visit to Scotland lasted three years, the academic year 1959/60 being spent at Glasgow University. This was a productive time. In between indulging his passion for rock climbing, he published something like twenty five papers!

Świerczkowski was obliged to return to Poland at the end of his British Council scholarship in 1960 but had no intention of staying. In 1961, unaware that the authorities in Wrocław had refused him permission to travel, the Polish Academy of Sciences issued him with a passport to attend a conference in Germany. There he rendezvoused with his future wife Jeanette, whom he had met in Scotland, and they returned together to Glasgow. Świerczkowski was able to resume lecturing at the University. He recalls [1]: "I called the Mathematics Department from the Glasgow Central Station, "Can you employ me?" "Yes," they said, "just come along". He taught at Glasgow for two years, during which time he had married Jeanette and acquired a son, Mark. But he felt a move to England would provide a more diverse mathematical milieu and accordingly applied, successfully, for a job at the University of Sussex, one of England's new so-called 'plate-glass' universities.

The founding professor of mathematics at Sussex was the algebraic geometer Bernard Scott. In 1962 there were just five members of staff; one of these was Walter Ledermann who recalls [3]: "all three Lecturers were specialists in Hydrodynamics, a subject initially not in our syllabus." Perhaps this influenced the teaching at Sussex or perhaps Świerczkowski is reporting a more widespread phenomenon when he writes [1]:

In those days the teaching of mathematics in the UK was very different from that in Poland. In the UK, students were taught to be well versed in solving problems close to the applications of mathematics, like physics or engineering. By contrast, in Poland a more theoretical, abstract approach was favoured. Young minds were trained in abstract thought as early as possible, and mostly set theory was used for this purpose. This reflected the view, currently held by most logicians and mathematicians, that all of mathematics can be described by set theory.At all events he was inspired to write his only book in mathematics: an introductory text on

*Sets and Numbers*. This would have been innovative if published at the time but the manuscript was lost due to the separation, in 1965, of Świerczkowski and his wife Jeanette. Eventually it resurfaced and was published by Routledge & Kegan Paul in 1972.

Meanwhile Świerczkowski's work with Murray Macbeath at Dundeee had led to an invitation from André Weil to spend the year 1965/66 at the Institute of Advanced Studies at Princeton. Thereafter Edwin Hewitt invited him for a year to the University of Washington at Seattle. His time in the United States was productive. In particular he collaborated at a distance with the Dutch algebraist Willem Titus van Est. However, he appears at this time to have lost confidence in his mathematical training [1]:

I tell [Weil] that my knowledge of his field is very small, because I have been mainly a "problem solver", and I studied only as much of any theory as was needed to solve any particular problem. He finds nothing wrong with this approach.Świerczkowski felt the same professional discomfort at the University of Washington. He continued to produce good mathematics during his stay in the United States but his time there would mark the end of his traditional academic career. He broke his return to England with a visit to the Australian National University at Canberra where his brother in law László Kovács, was a fellow in the recently formed Department of Mathematics in the Research School of Physical Science. There he met his future second wife, Helen. He writes "She is a devoted botanist, and I admire her dedication. By contrast, my interest in spending the rest of my life in offices, classrooms or libraries is rapidly dwindling." Although he returned to Sussex University in 1967 and was promoted to Senior Lecturer, he lost no time in arranging a three year research visit to ANU, resigning his post and leaving England for good.

During my stay at the Institute I become painfully aware of my lack of specialization. There are research seminars going on, and I am supposed to attend some, but I do not want to waste my time sitting in meetings where I understand next to nothing.

Świerczkowski could perhaps have been happy at ANU. The group theorists Bernhard Neumann and Hanna Neumann were there and Kovács was a problem-solver like him. But he divided his time between rock climbing in Australia, New Zealand and Papua New Guinea, and solitary research which he describes as [1] "changing rough descriptions of proofs sent to me by van Est from Holland into publishable material. I don't work in my office but rather inside my Land Rover, where I have installed a comfortable desk. On these occasions, I park the car in the surrounding of beautiful landscapes." At the end of his research appointment at ANU he applied for a lectureship but records [1] "Hanna Neumann, knows me as a mathematical loner, who did not get involved in any of the locally conducted specialized research; she rejects my application." One has some sympathy with her decision! Świerczkowski had married Helen but this marriage too had not been a success. He left her and ANU in 1971 and took a visiting professorship in Canada at Queen's University Ontario, Canada. As a sad postscript to his time at ANU he recalls[1] "Hanna Neumann pays a visit to Canada, to give a lecture tour. One morning she is found dead in her car. Attending her funeral deepens my gloom. Mathematics does not interest me any more. I consider changing fields. I attend a few lectures in geology, only to discover that I would never be able to memorize so many names of minerals. Then I am playing with the idea of becoming a meteorologist, but this is dropped too."

There followed a more or less complete break from mathematics for Świerczkowski from the early 1970s until the late 1980s. During this time he led a colourful, itinerant life centred around his relationships with a yacht called

*Ananda*, which he built himself in Amsterdam, with two women, Kathy with whom he had a daughter Jyoti (Jyoti Verhoeff, who grew up to became a singer-songwriter, composer and pianist) and Elisa, and with spiritualism of various kinds. From this period only a chance meeting with the Polish computer scientist Krzysztof Apt harked back to his former life [1]:

After I told him that I also studied mathematics [in Wrocław], graduating in 1955, Krzysztof remarked, "Your year was a very good one -- several of the students became known mathematicians", and then he mentioned the names of some of my colleagues, including mine. "Well, I am Świerczkowski", I told him. Of course, he did not believe it. A bearded guy of a somewhat scruffy appearance, emerging from an unfinished yacht in an Amsterdam canal, this simply could not be the Polish professor, known to have made a career abroad! Fortunately, I had on the boat the off-prints of all my publications written before I left mathematics. I showed these to Krzysztof and after a while he accepted the truth.Apt recommended Joseph R. Shoenfield's 1967 classic

*Mathematical Logic*to Świerczkowski who writes [1]. "I bought the book and began to read it. In this way, my connection with mathematics was re-established, and many years later, when I returned to university life, most of my research was based on the knowledge I gained from studying the recommended text by Joseph R. Shoenfield." The 'later' came in 1986 when Świerczkowski found himself at a crossroads with no prospects, no money, and no home, his yacht apparently sold by Elisa during an absence. Through his former head of department Bernard Scott he obtained a post at the Sultan Qaboos University in Oman. There he stayed for eleven years and resumed research, notably through a collaboration with his fellow student from thirty years earlier Jan Mycielski. He would visit Mycielski at the University of Colorado Boulder during summer breaks. During this period he married again, to Halina, a Polish engineer who visited him in Oman.

Despite being again very creative mathematically and being promoted to a full professorship Świerczkowski did not survive the internal politics at Sultan Qaboos University and he found himself once more, at the age of 65, without employment. He returned to Poland briefly with Halina and then took a temporary appointment in Mycielski's department in Colorado. He moved there with Halina in 1998 and until 2011 they lived a somewhat precarious existence between Poland and the United States, eventually receiving right of residence but never being in a position of financial security. This was nevertheless a productive time for Świerczkowski. At Mycielski's suggestion he developed a new approach to proving Gödel's incompleteness theorems, based on the theory of hereditarily finite sets. This non-arithmetic formulation avoids informal appeals to concepts in elementary number theory; consequently it was these proofs which were implemented to create mechanised proofs of Gödel's theorems, the results being published just before Świerczkowski's death in 2015 [4]. Another intellectual achievement from this period acknowledged Świerczkowski's spiritual and philosophical journey: his translation into Polish of Maurice Frydman's

*I Am That*, a collection of teachings of the Hindu guru Nisargadatta Maharaj.

In 2011, Halina chose to remain in the United States while Świerczkowski returned to Australia where he could rely on an old-age pension and free health-care. He eventually settled in Tasmania and there spent his remaining years, working on his memoirs and corresponding widely with mathematical friends, to whom he sent regular one-page 'bulletins' about Tasmania and striking photos.

### References (show)

- S Świerczkowski,
*Looking Astern*autobiography. See THIS LINK - S Świerczkowski, private communication, May 2012.
- W Ledermann,
*Encounters of a Mathematician*See THIS LINK - L C Paulson, A Mechanised Proof of Gödel's Incompleteness Theorems Using Nominal Isabelle,
*Journal of Automated Reasoning***55**(1) (2015) 1-37.

### Additional Resources (show)

Other pages about Stanisław Świerczkowski:

Other websites about Stanisław Świerczkowski:

Written by Robin Whitty, Queen Mary University of London

Last Update February 2019

Last Update February 2019