Jan Mycielski (Polish: [jan mɨˈt͡ɕɛlskʲi]; February 7, 1932 – January 18, 2025) was a Polish-American mathematician, logician and philosopher, who was a professor of mathematics at the University of Colorado at Boulder.^[1] He is known for contributions to graph theory, combinatorics, set theory, topology and the philosophy of mathematics.

Mycielski was born in Wiśniowa, Podkarpackie Voivodeship, Poland on February 2, 1932.^[2]

Mycielski received his Ph.D. in mathematics from the University of Wrocław in 1957 under the supervision of Stanisław Hartman [pl]. His dissertation was entitled "Applications of Free Groups to Geometrical Constructions".^[3] Following positions at the Centre National de la Recherche Scientifique in Paris, the Institute of Mathematics of the Polish Academy of Sciences, the University of California, Berkeley, and Case Western Reserve University, he took a permanent faculty position at Colorado in 1969.^[2]

Mycielski died in January 2025, at the age of 92.^[4]

Among the mathematical concepts named after Mycielski are:

• The Ehrenfeucht–Mycielski sequence, a sequence of binary digits with pseudorandom properties
• The Mycielskian, a construction for embedding any undirected graph into a larger graph with strictly higher chromatic number without creating any additional triangles.
• The Mycielski–Grötzsch graph, the Mycielskian of the 5-cycle, an 11-vertex triangle-free graph that is the smallest possible triangle-free graph requiring four colors.
• Mycielski's theorem that there exist triangle-free graphs with arbitrarily large chromatic number.

In 1965, he received the Stefan Banach Prize of the Polish Mathematical Society.

In 1990, he was awarded the Wacław Sierpiński Medal and Lecture by the Polish Mathematical Society.^[5]

In 2012, he became a fellow of the American Mathematical Society.^[6]

• 1991. A Note on S. M. Ulam's Mathematics.

A note in Adventures of a Mathematician. Stanislaw Ulam. University of California Press, 1991. ISBN 0520071549

• List of Polish mathematicians

• Mycielski's personal web page at the Univ. of Colorado.