Two mathematicians have proved that two different infinities are equal in size, settling a long-standing question. Their proof rests on a surprising link between the sizes of infinities and the complexity of mathematical theories. Our own Professor Emeritus, Jerry Keisler, created "Keisler's order" in 1967, which was used to make the connection.
UW-Madison was one of the recipients of the 1.5M in funding from the The National Science Foundation (NSF) in funding for twelve Transdisciplinary Research in Principles of Data Science (TRIPODS) projects.
This new UW project will bring together the statistics, mathematics and theoretical computer science communities to develop the foundations of data science. One of the co-PI’s is Sebastien Roch, who worked with Qin Li, Jordan Ellenberg and Nigel Boston to help develop the proposal for the Institute for Foundations of Data Science (IFDS).