Logic, Probability, Reflection, and more

The items in the subject of the post came from a meeting that was reported by John Baez. There are a couple of things to note, briefly.

Firstly, John Baez has reported his "This Week's Finds in Mathematical Physics" since the early 1990s. And, he kept his format consistent until a couple of years ago. His last post under the old site was on April 11, 2012. I was not a regular reader, but I did appreciate the site (used it as an example of how one could have deep content on the web without the frills) enough to visit it often.

The Week's Finds posts have been subsumed under a blog that was started in 2010, called Azimuth. If one reviews some of the posts, one can get the sense that graphics are a big help to good presentation. And, improvements in handling graphics are remarkable.

Secondly, as we see with the subject of the post, the meeting dealt with issues related artificial intelligence which has become (will continue to be) integral to advanced methods. John reports that the two main themes were Scientific Induction in Mathematics and Lob's Theorem (Cartoon Guide).

Of interest, too, is that the place of the meeting was called the Singularity Institute (see singularity). It now has the name of Machine Intelligence Research Institute. We have used the term in another context and will continue that discussion.

Remarks:   Modified: 03/23/2014

03/23/2014 -- SAT solvers as an example of large class of heuristics.