The intersection of machine learning and mathematical logic — spanning computer science, pure mathematics, and statistics — has catalyzed recent advances in artificial intelligence and deep learning ...

Some scientific discoveries matter because they reveal something new — the double helical structure of DNA, for example, or the existence of black holes. However, some revelations are profound because ...

MIT Press recently published Fundamental Proof Methods in Computer Science, a book by Konstantine Arkoudas and David Musser, a professor emeritus of computer science at the Rensselaer Polytechnic ...

Mathematics and computer science give two complementary ways to engage with our modern world. Mathematics teaches you the timeless vocabulary of reason that underlies all sciences. Computer science ...

Dana Scott, the Hillman University Professor of Computer Science, Philosophy and Mathematical Logic (Emeritus), has received the 2025 K. Jon Barwise Prize from the American Philosophical Association.

For mathematicians and computer scientists, 2020 was full of discipline-spanning discoveries and celebrations of creativity. Several long-standing problems yielded to sustained collaboration, ...

There are inherent limits to logic that can’t be resolved, and they bedevil our minds too, says Noson Yanofsky in The Outer Limits of Reason “THIS sentence is false.” This sentence is also where the ...

Last year, 18 percent of Stanford University seniors graduated with a degree in computer science, more than double the proportion of just a decade earlier. Over the same period at MIT, that rate went ...

A general program that focuses on the analysis of quantities, magnitudes, forms, and their relationships, using symbolic logic and language. Includes instruction in algebra, calculus, functional ...

The Department of Mathematics and Computer Science offers major programs leading to the bachelor of science in mathematics or the bachelor of science in computer science, as well as required and ...