How Close Are Computers to Automating Mathematical Reasoning? Paul Cohen, legendary for his daring methods in set theory, predicted that all of mathematics could be automated, including the writing of proofs.
Living in Alan Turing’s Future More than a decade has passed since the British government issued an apology to the mathematician Alan Turing. “On behalf of . . . all those who live freely thanks to Alan’s work,”…
The Man Who Tried to Redeem the World with Logic Walter Harry Pitts, Jr. was a logician who worked in the field of computational neuroscience. He tried to redeem the world with logic.