## 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.

Skip to content
# Article Type: Logic

## How Close Are Computers to Automating Mathematical Reasoning?

## The Mathematical World

## The Paradox of the Proof

## The Man Who Tried to Redeem the World with Logic

Abakcus is the best curation site for only math and science. We do the hard job and curate the best articles, books, tools, products, videos, and projects.

Paul Cohen, legendary for his daring methods in set theory, predicted that all of mathematics could be automated, including the writing of proofs.

Some philosophers think mathematics exists in a mysterious other realm. They're wrong. Look around: you can see it.

- Logic ,
- Mathematics ,
- Probability ,

A proof in a vacuum is no proof at all. Even an incorrect proof is better than no proof, because they may still be useful for other problems.

- Logic ,
- Mathematics ,
- Paradox ,

Walter Harry Pitts, Jr. was a logician who worked in the field of computational neuroscience. He tried to redeem the world with logic.

All contents loaded

No more contents to load

Send this to a friend