Mind Matters News and Analysis on Natural and Artificial Intelligence

TagJonathan Bartlett

Processor of the future. Concept of global cyberspace. Innovations in computer nanotechnology. 3D illustration of an abstract microchip
Processor of the future. Concept of global cyberspace. Innovations in computer nanotechnology. 3D illustration of an abstract microchip

Are we risking a planetary AI intelligence explosion?

Or are our problems with AI the usual boring stuff we prefer to avoid?

Mind Matters News asked some of our house computer science experts for comment.

Read More ›
antoine-dautry-428780-unsplash
A pen on top of several math equations

Walter Bradley Center Fellow Discovers Longstanding Flaw in an Aspect of Elementary Calculus

The flaw doesn't lead directly to wrong answers but it does create confusion.

The lead author, Jonathan Bartlett, noted that the likely source of the bad notation was a philosophical issue. Because no one wanted to give differentials that same ontological status as other numbers, everyone presumed that the notational problems were simply the result of this fact, and no one pursued it further.

Read More ›
joel-filipe-196735-unsplash
Liquid blue shape

The Human Mind from a Computer Science Perspective

The Blyth Institute’s new journal will offer a focus on artificial intelligence and philosophy as well as philosophical questions in mathematics and engineering
Communications is intended as a discussion forum for fresh ideas in a variety of areas, including philosophy of mind as seen from a computer science perspective. Read More ›
kai-pilger-395931-unsplash

Human intelligence as a halting oracle

Jonathan Bartlett proposes to model the human mind as a halting oracle.
A common objection to Bartlett’s idea is that humans cannot be halting oracles because we embed any unsolvable math problem as the halting condition for a loop and a human cannot tell us whether the loop will halt or not. This objection misses the fact that there is a range of oracles between plain Turing machines and a complete halting oracle. Read More ›