purplecat: Hand Drawn picture of a Toy Cat (ai)
I just picked out of my work pigeonhole a package with Swedish Stamps. My address is hand-written as is a note in one corner which says "Will tell you more when I return!"

Inside is a slim volume entitiled "Being or Nothingness" by Joe K

The author, you will note, is an anagram of Joke.

There is a sticker on the cover which says "Warning! Please study the letter to Professor Hofstadter before you read the book. Good Luck!"

Douglas Hofstadter is best know as the author of Godel, Escher, Bach: An eternal golden braid. A kind of pop-AI, maths and philosophy book which I was first encouraged to read by a Maths teacher in sixth form but which I only actually finished a couple of years ago. It's a good, if fairly dense, book and I'm not sure how comprehensible it actually is to someone who doesn't already have an AI/Maths/Phil background.

Inside the front cover is attached a letter to Hofstadter which rambles a bit and says things like "The text can be incorporated into both the Jewish and Christian tradition, but doing so with too much vigour would be to narrow its scope."

The back cover blurb implies the contents are a Swedish translation of Conan Doyle's lost "The Giant Rat of Sumatra" and adds that it is "oddly intertwined" with Hofstadter and his new book "I am a strange loop"... "which will soon be released by your Publishing House"

The Preface starts "One day I found a book. It was lying open, visible to all, but I was the only one curious enough to pick it up. This I have regretted many times." and ends "Brace yourself and turn the pages gently as you embark on a strange journey through time and space."

The contents appears to be short random pieces e.g. (page 6)


In commemoration of Joseph Knecht, magister Ludi Josephus III,
who abandoned `the glass bead game,'
the most beautiful of ideas,

(That's it for page 6).

Note reappearance of good old Joe K.


Beyond noting this is the sort of thing Who authors Lawrence Miles or Jim Mortimore might write, I'd say this was a publicity stunt for Hofstadter's new book except that it seems a pretty expensive way to do publicity - randomly posting books from Sweden with hand written addresses to vaguely related academics. It's not like I know Hofstadter in any way even though I do work in his general area.

purplecat: Hand Drawn picture of a Toy Cat (ai)
I spent two hours this afternoon when I really should have been writing either the TPHOLs or ProMAS papers listening to Aaron Sloman talk in the "Thinking about Mathematics and Science" seminar series. Aaron apologised in advance that his thoughts were not well organised but the topic had turned out to be rather larger than he had at first thought.

Aaron was interested in the way that mathematics (or reasoning in general) was neither an impirical nor a completely trivial process and how we learned to reason and how that might impact on the design of intelligent systems. One of his earlier remarks was that, when studying philosophy at Oxford, he had been taught the Humean/Russellian approach to the philosophy of mathematics - essentially that mathematics is unrelated to the real world and is about the manipulation of symbol systems. He had later discovered, and agreed with, Kant's approach that Mathematics is about some other kind of non-impirical knowledge. I never studied Kant and did not even know he had written about mathematical philosophy which shows that this attitude still survived when I was studying mathematics and philosophy I would guess 20 years after Aaron did. I was a little dubious about some of this, I accept that when learning and studying mathematics we do acquire knowledge but I'm not convinced this knowledge is non-trivial (as in it doesn't follow logically from things already known) I think we are inclined to forget there are distinct resource-bounds on reasoning, both in humans and computers, which means it takes time to discover the logical consequences of known facts. However, I'm also thinking I should try and find a text book on Kant's approach to the philosophy of mathematics.

Aaron used, as examples, a number of spatial and geometrical reasoning problems. These are problems which are generally extremely simple when thought about the right way, but become tortuous if reduced to mathematical logic. His argument was that logic could not be the underlying process of mathematics. He was later picked up on this when an audience member pointed out that all computations on von Neumann machines are underpinned by Logic, so logic was the representation if such machines did spatial reasoning. I thought the obvious answer here was that although logic might by the underlying representation you were doomed if you attempted to search for the solution at the logic level and you need the more diagrammatic representation to make the reasoning problem tractable. So while logic may form an underlying representation into which all these problems can be embedded its not necessarily the language in which we, or computers, can or should reason about them, at least not if we wish to reason efficiently. My former PhD supervisor, Alan Bundy, has become extremely keen, in recent years, on the idea that the significant task in approaching a mathematical problem is to find the right representation of the problem, not the actual search for a solution. Aaron instead argued that you could not treat von Neumann or Turing machines as logical since they were embedded in the real world. Alan has also done some interesting work (I think anyway) on the way reasoning works with these representations and how this can account for some common mistakes, and some classic non-theorems.

I had not known that when he first moved into Computer Science, Aaron had worked in Computer Vision but he made the interesting point here that he felt that the computer vision people were still making the representation mistake. Seeking to interpret visual signals in order to form a precise model of the world complete with exact angles and so forth, rather than an appropriate representation for problem solving.

Niggles about logic and representation aside, it was a stimulating talk and Aaron easily held our attention for an hour and a half, followed by half an hour of questions, which is no mean feat in itself.


purplecat: Hand Drawn picture of a Toy Cat (Default)

July 2017

23456 7 8
910 11 121314 15


RSS Atom


Style Credit

Expand Cut Tags

No cut tags