mathematical logic

Catherine Christer Hennix, a Swedish experimental musician and artist who fused minimalist drones, mathematical logic and global spiritual traditions into an approach she called “infinitary composition,” died on Sunday at her home in Istanbul, Turkey.

During the twentieth century, discoveries in mathematical logic revolutionized our understanding of the very foundations of mathematics.

With its combination of mathematical logic and empirical evidence, physics helps us overcome wishful thinking and other biases.

Initially, Ms. Rockburne was inspired by set theory, a branch of mathematical logic.

A former concert pianist and professional magician, Smullyan enjoyed a distinguished academic career in mathematical logic, but it was for his books of puzzles that he became best known.