229:
citizenship. At the end of the war Świerczkowski's mother was forced into hiding near Toruń until she was confident that she could win exoneration from the Soviet-controlled government for her
Volksliste status and be rehabilitated as a Polish citizen. Meanwhile, Świerczkowski lived in a rented room
261:
says: take arbitrarily finitely many integer multiples of an irrational number between zero and one and plot them as points around a circle of unit circumference; then at most three different distances will occur between consecutive points. This answered a question of Hugo
Steinhaus. The theorem
225:. He belonged to the Polish nobility; Świerczkowski's mother belonged to the upper middle class and would have probably suffered deportation and murder by the Nazis. However she had German connections and was able to gain relatively privileged class 2
363:
in Canada. In 1973 he left mathematics, moved to the
Netherlands and built a yacht in which he sailed around the world for ten years. The period 1986 to 1997 was again spent teaching mathematics, at
739:
744:
311:
instead of encoding of finite sequences of natural numbers. It is these proofs that were the basis for the production, in 2015, of mechanised proofs of Gödel's two famous theorems.
266:
since the smallest of the three distances observed may be used to give a rational approximation to the chosen irrational number. It has been extended and generalised in many ways.
749:
452:
754:
273:, placed face to face. Again this answered a question of Hugo Steinhaus. The result is attractive and counter-intuitive, since the tetrahedron is unique among the
249:. He graduated with a PhD in 1960, his dissertation including the now-famous three-gap theorem, which he proved in 1956 in answer to a question of Hugo Steinhaus.
729:
221:, Poland. His parents were divorced during his infancy. When war broke out his father was captured in Soviet-controlled Poland and murdered in the 1940
734:
343:
he used this as an opportunity to leave Poland for good in 1961, first resuming his fellowship in
Glasgow before taking a job in the recently created
688:
304:
269:
The non-tetratorus theorem, published by Świerczkowski in 1958, states that it is impossible to construct a closed chain (torus) of regular
241:
but switched to mathematics to avoid the drudgery of astronomical calculations. He discovered a natural ability through his friendship with
281:
has sparked new interest in this result by showing that one can create chains of tetrahedra that are arbitrarily close to being closed.
368:
167:
360:
163:
724:
610:
503:
356:
155:
719:
672:
348:
117:
393:
336:
472:
324:
263:
693:
364:
352:
159:
151:
238:
308:
99:
629:
446:
84:
683:
714:
709:
430:
344:
289:
147:
634:
679:
297:
647:
619:
520:
332:
143:
320:
258:
246:
222:
206:
95:
639:
605:
585:
552:
512:
481:
174:
274:
319:Świerczkowski had a very migratory career. He was allowed abroad from Poland to study at
608:(2015). "A Mechanised Proof of Gödel's Incompleteness Theorems Using Nominal Isabelle".
202:
179:
486:
467:
401:
Roczniki
Polskiego Towarzystwa Matematycznego Seria II: Wiadomo Sci Matematyczne XXXVI
703:
651:
524:
328:
285:
242:
198:
195:
501:
Elgersma, M. & Wagon, S. (2017). "An asymptotically closed loop of tetrahedra".
417:
544:
293:
643:
516:
278:
270:
226:
668:
340:
234:
63:
557:
539:
372:
218:
44:
590:
573:
74:
624:
540:"On the Lebesgue measurability and the axiom of determinateness"
245:
and was able to remain at Wrocław to complete his masters under
433:(1998). "Three distance theorems and combinatorics on words".
277:
in having this property. Recent work by
Michael Elgersma and
351:
and thereafter, between 1964 and 1973, held posts at the
201:
famous for his solutions to two iconic problems posed by
303:Świerczkowski's last mathematical work was on proving
468:"On a free group of rotations of the Euclidean space"
740:
Academic staff of the
Australian National University
335:before being obliged to return to Poland. When the
173:
139:
131:
113:
105:
91:
80:
70:
52:
30:
23:
574:"Finite sets and Gödel's incompleteness theorems"
339:granted him a passport to attend a conference in
288:, he established one of the early results on the
745:Academic staff of Queen's University at Kingston
394:"Nagrody Fundacji Jurzykowskiego w matematyce"
292:(AD), namely that AD implies that all sets of
233:Świerczkowski won a university place to study
8:
451:: CS1 maint: multiple names: authors list (
418:Three-Distance Theorem at Theorem of the Day
217:Stanisław (Stash) Świerczkowski was born in
538:Mycielski J. and Świerczkowski, S. (1964).
331:. He then took up a research fellowship at
750:Academic staff of Sultan Qaboos University
20:
633:
623:
589:
556:
485:
194:(16 July 1932 – 30 September 2015) was a
689:MacTutor History of Mathematics Archive
384:
347:. In 1963 he visited André Weil at the
755:University of Colorado Boulder faculty
444:
371:(1998–2001). Thereafter he retired to
327:would later attract the attention of
230:in Toruń and attended school there.
7:
730:Alumni of the University of Glasgow
14:
369:University of Colorado at Boulder
168:University of Colorado at Boulder
735:University of Washington faculty
209:and the non-tetratorus theorem.
118:Foundation of Alfred Jurzykowski
16:Polish mathematician (1932–2015)
305:Gödel's incompleteness theorems
192:Stanisław (Stash) Świerczkowski
611:Journal of Automated Reasoning
504:The Mathematical Intelligencer
357:Australian National University
284:In 1964, in a joint work with
156:Australian National University
1:
673:Mathematics Genealogy Project
487:10.1016/s1385-7258(58)50051-1
349:Institute for Advanced Study
578:Dissertationes Mathematicae
435:L'Enseignement Mathématique
367:. His last post was at the
771:
572:Świerczkowski, S. (2003).
466:Świerczkowski, S. (1958).
337:Polish Academy of Sciences
253:Noted mathematical results
684:"Stanisław Świerczkowski"
644:10.1007/s10817-015-9322-8
517:10.1007/s00283-016-9696-4
473:Indagationes Mathematicae
325:Alexander Murray MacBeath
264:Diophantine approximation
185:
124:
694:University of St Andrews
392:Jerzy Krzywicki (2000).
365:Sultan Qaboos University
353:University of Washington
309:hereditarily finite sets
262:belongs to the field of
213:Early life and education
160:Sultan Qaboos University
152:University of Washington
669:Stanisław Świerczkowski
25:Stanisław Świerczkowski
323:, where his work with
100:Non-tetratorus theorem
725:Polish mathematicians
558:10.4064/fm-54-1-67-71
239:University of Wrocław
85:University of Wroclaw
680:Robertson, Edmund F.
429:Alessandri, P., and
345:University of Sussex
290:axiom of determinacy
148:University of Sussex
678:O'Connor, John J.;
606:Lawrence C. Paulson
298:Lebesgue measurable
361:Queen's University
333:Glasgow University
164:Queen's University
144:Glasgow University
720:People from Toruń
591:10.4064/dm422-0-1
321:Dundee University
259:three-gap theorem
207:three-gap theorem
189:
188:
126:Scientific career
96:Three-gap theorem
56:30 September 2015
762:
696:
656:
655:
637:
627:
602:
596:
595:
593:
569:
563:
562:
560:
535:
529:
528:
498:
492:
491:
489:
463:
457:
456:
450:
442:
426:
420:
415:
409:
408:
398:
389:
175:Doctoral advisor
59:
40:
38:
21:
770:
769:
765:
764:
763:
761:
760:
759:
700:
699:
677:
665:
660:
659:
635:10.1.1.697.5227
604:
603:
599:
571:
570:
566:
537:
536:
532:
500:
499:
495:
465:
464:
460:
443:
428:
427:
423:
416:
412:
396:
391:
390:
386:
381:
317:
275:Platonic solids
255:
215:
81:Alma mater
66:
61:
57:
48:
42:
36:
34:
26:
17:
12:
11:
5:
768:
766:
758:
757:
752:
747:
742:
737:
732:
727:
722:
717:
712:
702:
701:
698:
697:
675:
664:
663:External links
661:
658:
657:
597:
564:
530:
493:
458:
421:
410:
383:
382:
380:
377:
316:
313:
254:
251:
247:Jan Mikusiński
223:Katyń Massacre
214:
211:
203:Hugo Steinhaus
187:
186:
183:
182:
180:Hugo Steinhaus
177:
171:
170:
141:
137:
136:
133:
129:
128:
122:
121:
115:
111:
110:
107:
103:
102:
93:
92:Known for
89:
88:
82:
78:
77:
72:
68:
67:
62:
60:(aged 83)
54:
50:
49:
43:
32:
28:
27:
24:
15:
13:
10:
9:
6:
4:
3:
2:
767:
756:
753:
751:
748:
746:
743:
741:
738:
736:
733:
731:
728:
726:
723:
721:
718:
716:
713:
711:
708:
707:
705:
695:
691:
690:
685:
681:
676:
674:
670:
667:
666:
662:
653:
649:
645:
641:
636:
631:
626:
621:
617:
613:
612:
607:
601:
598:
592:
587:
583:
579:
575:
568:
565:
559:
554:
550:
547:
546:
541:
534:
531:
526:
522:
518:
514:
510:
506:
505:
497:
494:
488:
483:
479:
475:
474:
469:
462:
459:
454:
448:
440:
436:
432:
425:
422:
419:
414:
411:
406:
402:
395:
388:
385:
378:
376:
374:
370:
366:
362:
358:
354:
350:
346:
342:
338:
334:
330:
326:
322:
314:
312:
310:
306:
301:
299:
295:
291:
287:
286:Jan Mycielski
282:
280:
276:
272:
267:
265:
260:
252:
250:
248:
244:
243:Jan Mycielski
240:
236:
231:
228:
224:
220:
212:
210:
208:
204:
200:
199:mathematician
197:
193:
184:
181:
178:
176:
172:
169:
165:
161:
157:
153:
149:
145:
142:
138:
134:
130:
127:
123:
119:
116:
112:
108:
104:
101:
97:
94:
90:
86:
83:
79:
76:
73:
69:
65:
55:
51:
46:
33:
29:
22:
19:
687:
615:
609:
600:
581:
577:
567:
548:
543:
533:
511:(3): 40–45.
508:
502:
496:
477:
471:
461:
447:cite journal
438:
434:
424:
413:
404:
400:
387:
318:
302:
294:real numbers
283:
268:
256:
232:
216:
191:
190:
140:Institutions
125:
58:(2015-09-30)
41:16 July 1932
18:
715:2015 deaths
710:1932 births
618:(1): 1–37.
545:Fund. Math.
480:: 376–378.
135:Mathematics
71:Nationality
704:Categories
625:2104.13792
441:: 103–132.
431:Berthé, V.
407:: 115–138.
379:References
329:André Weil
279:Stan Wagon
271:tetrahedra
227:Volksliste
37:1932-07-16
652:254604706
630:CiteSeerX
551:: 67–71.
525:253818257
341:Stuttgart
235:astronomy
64:Australia
584:: 1–58.
373:Tasmania
106:Children
47:, Poland
671:at the
237:at the
650:
632:
523:
355:, the
315:Career
307:using
205:: the
196:Polish
132:Fields
120:(1996)
114:Awards
75:Polish
648:S2CID
620:arXiv
521:S2CID
397:(PDF)
219:Toruń
45:Toruń
453:link
359:and
296:are
257:The
53:Died
31:Born
640:doi
586:doi
582:422
553:doi
513:doi
482:doi
706::
692:,
686:,
682:,
646:.
638:.
628:.
616:55
614:.
580:.
576:.
549:54
542:.
519:.
509:39
507:.
478:61
476:.
470:.
449:}}
445:{{
439:44
437:.
405:73
403:.
399:.
375:.
300:.
166:,
162:,
158:,
154:,
150:,
146:,
98:,
654:.
642::
622::
594:.
588::
561:.
555::
527:.
515::
490:.
484::
455:)
109:2
87:,
39:)
35:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.