In our view, higher-category theory, which possesses the highest degree of abstraction, is a second-level language relative ...

Alan Turing was one of the most influential British figures of the 20th century. In 1936, Turing invented the computer as part of his attempt to solve a fiendish puzzle known as the ...

National Academy of Sciences President Marcia McNutt discussed the status of the United States’ research enterprise, global leadership in science, and implications for economic competitiveness in the ...

Covering the outer reaches of space to the tiniest microbes in our bodies, Science Friday is the source for entertaining and educational stories about science, technology, and other cool stuff.