In an unsanitized, politically incorrect (but factual) history, Selmer Bringsjord talks about how the tormented genius Kurt Gödel took up a quest that dated back a thousand years to prove the existence of God by formal logic. His original version didn’t quite work but his editor’s version passed an important logic test.
Read More ›
Kurt Gödel toppled a tall tower of mathematical reasoning with publication of his work showing no formal system of math could be both complete and consistent. He also gave a mathematical proof of the existence of God. Is Gödel’s proof valid? Robert J. Marks and Dr. Selmer Bringsjord discuss mathematics, Kurt Gödel, and the ontological argument. Show Notes 01:05 | Read More ›
One of the problems with modern secondary mathematics education is that it teaches lots of details about how to solve problems but provides very little insight into how to understand problems. You may have learned to solve a quadratic equation but you may not have learned what life situations generate a quadratic equation.
Read More ›
Machine learning is not a new technique, but is simply a modern extension of a tool that we have had in our toolbox since the days of the Babylonians. It continues to serve us well to help us extrapolate our data to estimate the value of unknown results and to help find the signal in noisy data.
Read More ›
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 ›
I am publishing, in three parts and with his permission, an exchange with Querius, who is looking for answers as to whether computers can someday think like people. In the first part, we discussed why human thinking cannot be indefinitely compressed. Here is the second part: Recapping for myself what I said in Part I and mulling it over: “If all symbol strings do have a shorter representation, then so must their shorter representations. Thus, we’d end up concluding that all symbol strings can be represented by nothing, which is incoherent.” Wait, I’m getting lost. “Therefore, we conclude that only some symbol strings have a compressed representation. As a consequence, compression intelligence is only true if the physical effects of Read More ›
The mathematically provable idea that something exists but is unknowable has clear philosophical and theological implications.
Read More ›
In my experience, true STEM nerds are always pursuing some type of sizzle even in their spare time. Generally, the higher the academic degree, the greater the freedom STEM nerds have to pursue their sizzle of choice.
Read More ›