Bear with me: I’m about to tie mathematical logic to artificial intelligence. (I promise, no actual mathematical knowledge will be required.) In 1931 the brilliant mathematician Kurt Gödel pointed the apparatus of mathematics at itself. He was able to prove that in any mathematical system powerful enough to do simple arithmetic, there would always be…
This is my father’s slide rule. For those unfamiliar with this vintage computing instrument, a slide rule was how scientists, engineers, and technicians did mathematical calculations for much of the twentieth century. You’d carefully align the sliding middle portion with outer frame and read the result off the scales, using the cursor (which was a…
I’d never use ChatGPT to write for me: it’s both boring and unreliable. But that said, it’s still quite useful, especially as a replacement for search (I’m using ChatGPT-4, which integrates with Microsoft Bing including up-to-date content.) The research method is simple: ask ChatGPT to find things, then check the source it finds to see…