Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less ...

Brain-imaging techniques have made it possible to explore the neural foundations of logical and mathematical cognition. These techniques are revealing more than simply where these high-order processes ...

Chandan Singh Gughtyal has been teaching Maths in boarding schools in India for about 28 years. He has experience of working as an assistant housemaster, housemaster, resident dorm parent, and dorm ...

OF all the branches of philosophy, logic alone has had the distinction of being claimed by the exact sciences as one of them. The event is of recent occurrence; in fact, it has happened only since ...

Mathematics education must move beyond marks and memorisation, focusing instead on reasoning, problem-solving, and creative ...

While many people complain about the ideological biases in the California Department of Education’s proposal to revolutionize the state mathematics curriculum, that’s not the main problem. This plan ...

One night in July, 1964, the logician Lotfi Zadeh found himself alone in his parents’ New York apartment, his dinner plans cancelled. At the time, Zadeh later wrote, he was doing “a lot of thinking ...

THE HISTORY Of computers is often told as a history of objects, from the abacus to the Babbage engine up through the code-breaking machines of World War II. In fact, it is better understood as a ...