Equations are not algorithms?
No. Most of the time, they are quite easily translated into algorithms and the difference (as you say) is notational. Algorithms are pretty much defined by a stepwise notation. They need not use actual code (logic, pseudo-code, etc., are all fine), but the stepwise part is fundamental. The only other fundamental component is "well-defined" (although what this means can be an issue), and as an equation is not necessarily translatable into any series of well-defined steps, the two are not equivalent quite apart from the notational difference.
It doesn't really matter if you can predict it ahead of time; computable numbers are those which are generated by computable functions, of which pi is one.
Computable numbers are not just those generated by computable functions. Or rather, the fact that a number is computable requires treating it in a particular way. Pi is a computable number because there exists a finite number of well-defined steps which can in principle output Pi given an infinite amount of time. However, that's simply a matter of how numbers are approached, and is more an issue of convenience. There is all the difference in the world between computing rational numbers (even infinite decimals) and computing Pi. The latter requires a specific algorithm, while the former requires only general algorithms not specific to any particular number or operations on these numbers. Moreover, approaches differently, Pi becomes at least intractable and (depending on one's definition) even incomputable. Treat the terms of Pi as steps and things change. Unlike 1/3 or other rational numbers with infinite repeating decimals, there is no way you can know (even approximately) what will follow the nth term until you compute n + 1.
According to whom?Math is just a syntax tree.
I'd have thought it obvious pretty fast that an algorithm specifying the response doesn't work.
Hindsight is 20/20. It took computer scientists and cog. sci. reseachers a while to get there.
Hofstadter and Yudkowsky seem to have a pretty good idea.
When your theory relies on something like "strange loops" or "emergence" or any other form of "...and then stuff happens and we get consciousness/awareness" it isn't much better than god in the gaps. There are tons of theories about how the brain goes from the neural interactions we know something about to conscious thought and conceptual processing, but they all rely on ill-defined notions.
Formal languages predate computer science. Depending on whether one cares about published versions, they either go back at least as far as Frege and possibly as far as Leibniz.
That's because Apple is God.I hear Siri is pretty good at understanding.
They are; that would be how being able to speak multiple languages works.
Being able to speak multiple languages has nothing to do with that. In fact, if you study other languages (especially those which are not IE languages), this becomes more obvious. Take "there's" constructions (there's Paul with his new car, there's a cat on your house, there's a new way to compute Pi, etc.). There is no single "type" of these constructions (we have deictic and existential among others), nor are they readily understood in contrast to other impersonal constructions in English (here's that car vs. there's that car; it's useless vs. there's no point; etc.).
Most importantly, though, a divide between syntax and lexicon fails utterly here. The correct/grammatical/allowable forms here cannot be accounted for by any syntax or rules unless they include those specific to what can follow "there is/there's". Which means that the rules are specific to a particular lexical combination and cannot be generalized, which in turn means that the divide between rules and lexicon fails. The fact that german has "es gibt" and French has both "il est" and "c'est" doesn't change things.
AFAIK, the rules which we use to understand text have absolutely nothing to do with the words themselves
They have everything to do with the words themselves. There are general rules, sure. But most of what goes into parsing speech (and minimizing online processing) has to do with schemata which are specific to certain combinations of words or defined by structures specific to the use of certain words. You don't understand "all of a sudden" or "it takes one to know one" because you know "rules" and the words, otherwise I could say "some of a sudden/most of a sudden" or "it took one to have known one". Likewise, the fact that the comparative is usually found in constructions like "X is better/faster/stronger/etc. than Y" doesn't have anything much to do with the vast number of ways one specific but different use occurs: "the higher you climb, the harder you fall" "the more you take time to relax, the more productive you'll end up being" "the X-er, the Y-er". The rules governing these parallel "idiomatic" uses of the comparative are specific to them (they cannot be generalized). So we have rules for what is "allowable" here, but only once it is clear that we have parallel uses of "the + comparative".
That's language. Schemata which range from the very abstract (subject/object, noun, etc.) to relatively general/abstract ("there's" constructions, "the X-er, the Y-er"), to prefabs ("all of a sudden", "once in a while", "pick and choose" "in point of fact", etc.), idioms ("birds of a feather..." "kick the bucket", etc.) and "word + preposition" ("have to", "blind to/blind from", "here for X", "wish for/wish to", etc.), to lexemes.
"Curious green ideas sleep furiously" makes perfect sense.... unless you are aware that ideas are not a thing that can sleep.
But "all of a sudden" doesn't make sense given the words or typical rules. It's idiomatic. And "pull strings" makes perfect sense, only "He pulls the strings around here" has nothing to do with actual strings. I can build an argument or a church, fight an urge or an opponent in an MMA compeition. The wind blows, but I blow my nose. "Jack kicked the ball" is nothing like "Jack kicked the bucket." And so on. Rules simply fail to do much with language unless you incorporate the rules specific to words and certain combinations of words.
So the confusion is because two identical-looking pointers refer to different things?
It's because rules and words are not two seperate things. Certain word senses license certain combinations ("I wish to leave" vs. "I wish for world peace", "I give to charity" vs. "I give you candy" vs. "I give for the good of others"), certain words only go together because they do ("all of a sudden" etc.), and certain constructions are governed by rules specific to them.
And not only are rules specific to particular words, word combinations, and constructions, but novel uses are readily understood if they fit certain patterns or metaphors. If you hear a server say "Table 9 wants their check" you know that the server is referring to the people at the table (metonymy).
(Also, I disagree: I think human ability to understand language is the cutting-edge pattern matching algorithm.)
As you said, we understand the meanings of words. Which means we don't just match patterns.
Intelligent and having a "mind" are far from the same thing. Intelligence does not require awareness, understanding, conceptual representation, etc.Oops. I mean to say, ask the stock market analysts.
Anyway, I would say that if someone were to write a self-evaluating stock market bot, then it would count in every way as "intelligent," despite not having a body or even interacting with normal 3D space.
I have to leave so I'll address the rest later.