A new book claims AI has been built on a flawed assumption dating back to Alan Turing's famous 1950 paper. Peter J. Denning argues that the most important parts of human intelligence, including common ...

During their studies, students encounter names like Kurt Gödel and Alan Turing, usually with the same mix of respect and mild resignation. One reads what they have proven, accepts it as impressive, ...

Alan Mathison Turing was an English mathematician, computer scientist, codebreaker, and philosopher known for his Turing Test, an imitation game. He is best known, however, for his 1936 paper on the ...

The Theory of Computation explores the fundamental capabilities and limits of computing processes. It encompasses models such as finite automata, push-down machines and Turing machines, which ...

Computers don’t actually do anything. They don’t write, or play; they don’t even compute. Which doesn’t mean we can’t play with computers, or use them to invent, or make, or problem-solve. The new AI ...

One of the most fundamental conundrums in the philosophy of mathematics is the question of whether mathematics was discovered by humans or invented by them. On one hand, it seems hard to argue that ...

When he invented Turing machines in 1936, Alan Turing also invented modern computing. In 1928, the German mathematicians David Hilbert and Wilhelm Ackermann proposed a question called the ...