Perhaps my fellow pure mathematicians are not really interested in engaging in a meaningful discussion about the foundations of mathematics, and especially the incredibly logically sloppy "arithmetic of real numbers" that they all like to believe in. But ChatGPT 4.0 has no such qualms!

Even though this remarkable machine is not highly trained in mathematics, it knows enough to more than hold up its end of an important discussion on what "real numbers" really are, and whether or not the current theory of arithmetic of such beasts makes sense. It goes for the Dedekind cut approach, so let's see how it meets the challenges I throw at it.

Pretty clearly we are on the cusp of an entirely new paradigm for learning about and investigating the world around us. Very exciting!

A very big thanks to all my Patreon supporters. And also to Members of my sister channel, Wild Egg Maths.

Here is a link to the chat with chatGPT: you can carry it on further if you like!

https://chat.openai.com/share/eeb6516...