Primes vs. composites P64 Rules for typographical operations reading and recognizing any of a finite set of symbols; writing down any symbol belong to that set; copying any of those symbols from one place to another; erasing any of these symbols; checking to see whether one symbol is the same as another; keeping and using a list of previously generated theorems. P64 Definition of formal system...

2017-12-31 11:45

Primes vs. composites

P64 Rules for typographical operations

reading and recognizing any of a finite set of symbols;

writing down any symbol belong to that set;

copying any of those symbols from one place to another;

erasing any of these symbols;

checking to see whether one symbol is the same as another;

keeping and using a list of previously generated theorems.

P64 Definition of formal system: compound some of these operations 「typographical operations」to make a formal system.

Capturing compositeness

P65 Characterize composite numbers: If x-ty-qz is a theorem, then Cz is a theorem.

x-ty-qz means (X+1)×(Y+1)=Z, where the capitalized letters X, Y and Z represent the number of hyphens in the strings x, y and z respectively. The conclusion Cz is a predicate about the fact that z is a composite number.

P65 I am defending this new rule by giving you some “Intelligent mode” justification for it. That is because you are a human being, and want to know why there is such as rule. If you were operating exclusively in the “Mechanical mode”, you would not need any justification, since M-mode workers just follow the rules mechanically and happily, never questioning them!

Or the M-mode workers will never work happily but merely seem being happy. In addition, humans with intelligence are always liable to ask for reasons and jump out of the system.

P65 The Requirement of Formality, which in Chapter I probably seemed puzzling (because it seemed so obvious), here becomes tricky, and crucial.

Illegally characterizing primes

P67 The reason for hesitating is that the holes are only negatively defined – they are the things that are left out of a list which is positively defined.

Figure and ground

P67 A message written in such an alphabet is shown below. At first it looks like a collection of somewhat random blobs, but if you step back a ways and stare at it for a while, all of a sudden, you will see seven letters appear in this . . .

The answer is: MAIL BOX. This mode or sense seems to be activated in my mind suddenly without control.

Figure and ground in music

P70 it is surprising when we find, in the lower lines of a piece of music, recognizable melodies. This does not happen too often in post-baroque music. Usually the harmonies are not thought of as foreground. But in baroque music – in Bach above all – the distinct lines, whether high or low or in between, all act as “figures”. In this sense, pieces by Bach can be called “recursive”.

Here, the word “recursive” means, in artistic domain, both the foreground and background in a figure are deliberately designed and have meanings.

Recursively enumerable sets vs. recursive sets

P72 There exist formal systems whose negative space (set of nontheorems) is not the positive space (set of theorems) of any formal system.

P72 There exist recursively enumerable sets which are not recursive.

In the above terminology, recursively enumerable (abbreviated as “r.e.”) is the mathematical counterpart to our artistic notion of “cursively drawable”. Recursive is the counterpart of “recursive” in the artistic domain, i.e. both the foreground and background in a figure are deliberately designed and have meanings. Therefore, the book then says

a “recursive set” is like a figure whose ground is also a figure – not only is it r.e., but its complement is also r.e.

P72 A typographical decision procedure is a method which tells theorems from nontheorems.

P73 It is important to understand that if the members of F were always generated in order of increasing size, then we could always characterize G.

P73 We can agree that all the numbers in set F have some common “form” – but can the same be said about numbers in set G? It is a strange question. When we are dealing with an infinite set to start with – the natural numbers – the holes created by removing some subset may be very hard to define in any explicit way. And so it may be that they are not connected by any common attribute or “form”.

There exist formal systems whose negative space (set of nontheorems) is not the positive space (set of theorems) of any formal system.

There exist recursively enumerable sets which are not recursive.

We can agree that all the numbers in set F have some common “form” – but can the same be said about numbers in set G? It is a strange question. When we are dealing with an infinite set to start with – the natural numbers – the holes created by removing some subset may be very hard to define in any explicit way. And so it may be that they are not connected by any common attribute or “form”.

P74 we can't be so vague in formal systems as to say “et cetera”. We must spell things out.

P74 It is this “monotonicity” or unidirectionality – this absence of cross-play between lengthening and shortening, increasing and decreasing – that allows primality to be captured.

Two-part invention P45 「 以上无穷推理的过程相当于把人看作了没有意识和逻辑从而无法跳出这个无穷级的规则系统而在其外对其进行审视。而这便等同于不承认先验知识的存在性，也不认可其合理性。」 Chapter 2 Meaning and form in mathematics P47 If --p---q- turns out to be a theorem, then so will --p----q--. the statement establishes a causal connection between the theoremhood of two strings, but without ass...

P47 let us give the name well-formed string to any string which begins with a hyphen-group, then has one p, then has a second hyphen-group, then a q, and then a final hyphen-group.

A well-formed string may not be a theorem.

P48 Any formal system which tells you how to make longer theorems from shorter ones, but never the reverse, has got to have a decision procedure for its theorems.

P48 In this way, you “reduce” the problem to determining whether any of several new but shorter strings is a theorem.

The number of procedures for this operation is finite, because the string to be checked has shorter and shorter length as the operation continues.

P49 My answer would be that we have perceived an isomorphism between pq-theorems and additions.

This mapping, isomorphism, is fascinating.

P50 It is cause for joy when a mathematician discovers an isomorphism between two structures which he knows. It is often a “bolt from the blue”, and a source of wonderment. The perception of an isomorphism between two known structures is a significant advance in knowledge – and I claim that it is such perceptions of isomorphism which create meanings in the minds of people.

P50 This symbol-word correspondence has a name: interpretation.

Interpretation is an association on purpose.

P50 You may make several tentative stabs in the dark before finding a good set of words to associate with the symbols. It is very similar to attempts to crack a code, or to decipher inscriptions in an unknown language like Linear B of Crete: the only way to proceed is by trial and error, based on educated guesses. When you hit a good choice, a “meaningful” choice, all of a sudden things just feel right, and work speeds up enormously. Pretty soon everything falls into place. The excitement of such an experience is captured in The Decipherment of Linear B by John Chadwick.

在黑暗中的尝试与探索。其中遵循的步骤是：

Trial and error.

Educated guess.

P50 Mathematicians (and more recently, linguists, philosophers, and some others) are the only users of formal systems, and they invariably have an interpretation in mind for the formal systems which they use and publish. The idea of these people is to set up a formal system whose theorems reflect some portion of reality isomorphically. In such a case, the choice of symbols is a highly motivated one, as is the choice of typographical rules of production.

P52 But wishing doesn't change the fact it isn't.

P52 In a formal system, the meaning must remain passive.

Interpretation is passive.

P53 However, reality and the formal system are independent. Nobody need be aware that there is an isomorphism between the two. Each side stands by itself – one plus one equals two, whether or not we know that -p-q-- is a theorem; and -p-q-- is still a theorem whether or not we connect it with addition.

Of course, the formal system can be mapped to another part of reality.

P53 You might wonder whether making this formal system, or any formal system, sheds new light on truths in the domain of its interpretation? Have we learned any new additions by producing pq-theorems? Certainly not; but we have learned something about the nature of addition as a process – namely, that it is easily mimicked by a typographical rule governing meaningless symbols.

P56 The hard-edged rules that govern “ideal” numbers constitute arithmetic, and their more advanced consequences constitute number theory.

P59 Although Euclid's proof is a proof that all numbers have a certain property, it avoids treating each of the infinitely many cases separately.

abolition 废除, 废止 ad infinitum 无限地；永久地；无止境地 afford vt. 给予，提供；买得起 alight 1. vi. 下来；飞落2. adj. 烧着的；点亮着的 all along 自始至终，一直 allegory n. 寓言 allegro 1. n. 急速的乐章；快板2. adj. 快速的 allusion n. 暗示；提及 anticipate 预料 apologist 辩护士，辩解者 apparent adj. 显然的；表面上的 arrest 1. vt. 吸引；逮捕；阻止2. n. 逮捕；监禁 assent 1. vi. 赞成；同意2. n. ...

2017-12-02 12:03

abolition 废除, 废止

ad infinitum 无限地；永久地；无止境地

afford vt. 给予，提供；买得起

alight 1. vi. 下来；飞落2. adj. 烧着的；点亮着的

all along 自始至终，一直

allegory n. 寓言

allegro 1. n. 急速的乐章；快板2. adj. 快速的

allusion n. 暗示；提及

anticipate 预料

apologist 辩护士，辩解者

apparent adj. 显然的；表面上的

arrest 1. vt. 吸引；逮捕；阻止2. n. 逮捕；监禁

assent 1. vi. 赞成；同意2. n. 赞成；同意

at a loss 亏本地；困惑不解

austere adj. 简朴的；严峻的；苦行的；无装饰的

automaton 自动机器, 机器人

avid adj. 渴望的，贪婪的；热心的

Babbage 巴贝奇

banish vt. 放逐；驱逐

bastion n. 棱堡；堡垒

before long 不久以后

befuddle vt. 使迷惑；使昏沉

bizarre adj. 奇异的（指态度，容貌，款式等）

bland 1. adj. 乏味的；冷漠的；温和的2. vt. 使…变得淡而无味；除掉…的特性

blatant adj. 炫耀的；喧嚣的；俗丽的；公然的

boggle 1. vi. 犹豫，退缩；惊恐2. vt. 搞糟，弄坏；使……惊奇；使……困惑

bore hole 炮眼；钻孔

brand 1. vt. 打烙印于；印…商标于；铭刻于，铭记2. n. 商标，牌子；烙印

breach 1. n. 违背，违反；缺口2. vt. 打破；违反，破坏

brink n. （峭壁的）边缘

by all means 尽一切办法；一定，务必

Carrollian adj. 具有卡罗尔风格的

catalyze vt. [化]催化；刺激，促进

caution 1. n. 小心，谨慎；警告，警示2. vt. 警告

certitude n. 确信；确实

champion 1. n. 冠军；拥护者；战士2. vt. 拥护；支持

chorale n. 赞美诗

codify vt. 编纂；将...编成法典；编成法典

commonplace 平凡的, 陈腐的

concoct vt. 捏造；混合而制；调合；图谋

conjure 1. vt. 念咒召唤；用魔法变出；想象2. vi. 以念咒召唤神灵；施魔法，变魔术

consummate 完善

converse 1. adj. 相反的，逆向的；颠倒的2. vi. 交谈，谈话；认识

crux n. 关键；难题；十字架形，坩埚

culprit n. 犯人，罪犯；被控犯罪的人

cushioning 缓冲

deductive 演绎

defy 1. vt. 藐视；公然反抗；挑衅；使落空2. n. 挑战；对抗

deity n. 神；神性

demolish vt. 毁坏；推翻；破坏；拆除；驳倒

designate 指定的

dilettante 1. n. 业余爱好者；一知半解者2. adj. 业余艺术爱好的；浅薄的

discord 1. n. 不和；不调和；嘈杂声2. vi. 不一致；刺耳

dishearten 使沮丧, 使泄气

disorient 迷惑

disparate 不同

dread 1. n. 恐惧；可怕的人（或物）2. vi. 惧怕；担心

dreamily adv. 梦似地，朦胧地；爱梦想地

dysphoria 烦躁不安

eccentric 怪人

eerie adj. 可怕的；怪异的

Elea n. 埃里亚（意大利南部的地名）

epitome n. 缩影；摘要；象征

erudite 1. adj. 博学的；有学问的2. n. 饱学之士

escalation 扩大, 增加

esoteric adj. 秘传的；限于圈内人的；难懂的

evasive adj. 逃避的；托辞的；推托的

exhilarate 兴奋

exorcise vt. 驱邪；除怪

extempore 即席的, 当场的

extemporise vt. 即兴创作,即席演奏

fancy 1. n. 想像力；爱好；幻想2. adj. 想象的；奇特的；精选的；昂贵的

fleet 1. adj. 快速的，敏捷的2. n. 舰队；小河；港湾

flirt 1. vi. 调情；玩弄；轻率地对待；摆动2. vt. 挥动；忽然弹出

footrace n. 赛跑；竞走

foremost 1. adj. 最先的；最重要的2. adv. 首先；居于首位地

forthwith 立刻

fortuitous 偶然

fugal adj. [音]赋格曲的

genie n. 鬼；妖怪

Grecian 1. adj. 希腊的；希腊式的2. n. 希腊学家；希腊语

gulf 1. n. 海湾；深渊；漩涡；分歧2. vt. 吞没

havoc 1. n. 大破坏；浩劫；蹂躏2. vt. 严重破坏

head on 迎面地

Heterological 异源

highbrow 1. adj. 自炫博学的；知识分子的；不切实际的2. n. 卖弄知识的人；知识分子

hither and thither 到处

illuminate 照明,阐释,说明

illusory adj. 错觉的；产生幻觉的；幻影的；虚假的

immodest adj. 不谦虚的；不庄重的

impart vt. 给予（尤指抽象事物），传授；告知，透露

incarnate 体现

incidental 附带的

incidentally 顺便

indubitable adj. 不容置疑的；明确的

ineluctable adj. 不可避免的；无法逃避的

interim 1. adj. 临时的，暂时的；中间的；间歇的2. n. 过渡时期，中间时期；暂定

intricate 复杂的,难懂的

irreparable adj. 不能挽回的；不能修补的

jeopardise 危害

keen 1. adj. 敏锐的，敏捷的；热心的；锐利的；渴望的；强烈的2. n. 痛哭，挽歌

knob 1. n. 把手；瘤；球形突出物2. vi. 鼓起

koan n. [宗]心印；[宗]以心传心

leaps and bounds v. 跳跃（leap的过去分词）

lichens 1. n. 地衣类；地衣（lichen的复数）2. v. 使长满地衣（lichen的三单形式）

Formal systems P33 Requirement of Formality: The major point, which almost doesn't need stating, is that you must not do anything which is outside the rules. We might call this restriction the “Requirement of Formality”. Even jumping out of the system to think about the meaning. Theorems, axioms, rules P35 Such strings, producible by the rules, are called theorems. I gave you a theorem for fr...

2017-12-01 23:06

Formal systems

P33 Requirement of Formality: The major point, which almost doesn't need stating, is that you must not do anything which is outside the rules. We might call this restriction the “Requirement of Formality”.

Even jumping out of the system to think about the meaning.

Theorems, axioms, rules

P35 Such strings, producible by the rules, are called theorems.

I gave you a theorem for free at the beginning, namely MI. Such a “free” theorem is called an axiom

Are the mathematical axioms obtained from God? At least they should be a priori.

P36 A derivation of a theorem is an explicit, line-by-line demonstration of how to produce that theorem according to the rules of the formal system.

Inside and outside the system

P36 But what if you asked a friend to try to generate U? It would not surprise you if he came back after a while, complaining that he can't get rid of the initial M, and therefore it is a wild goose chase. Even if a person is not very bright, he still cannot help making some observations about what he is doing, and these observations give him good insight into the task – insight which the computer program, as we have described it, lacks.

It is possible to program a machine to do a routine task in such as way that the machine will never notice even the most obvious facts about what it is doing; but it is inherent in human consciousness to notice some facts about the things one is doing.

P37 a car will never pick up the idea, no matter how much or how well it is driven, that it is supposed to avoid other cars and obstacles on the road; and it will never learn even the most frequent traveled routes of its owner.

The difference, then, is that it is possible for a machine to act unobservant; it is impossible for a human to act unobservant. Notice I am not saying that all machines are necessarily incapable of making sophisticated observations; just that some machines are. Nor am I saying that all people are always making sophisticated observations; people, in fact, are often very unobservant. But machines can be made to be totally unobservant; and people cannot. And in fact, most machines made so far are pretty close to being totally unobservant. Probably for this reason, the property of being unobservant seems to be the characteristic feature of machines, to most people. For example, if somebody says that some task is “mechanical”, it does not mean that people are incapable of doing the task; it implies, though, that only a machine could do it over and over without ever complaining, or feeling bored.

Jumping out of the system

P37 It is an inherent property of intelligence that it can jump out of the task which it is performing, and survey what it has done; it is always looking for, and often finding, patterns.

There are cases where only a rare individual will have t he vision to perceive a system which governs many peoples' lives, a system which had never before even been recognized as a system; then such people often devote their lives to convincing other people that the system really is there, and that it ought to be exited from!

They are philosophers!

P38 It is very important when studying formal systems to distinguish working within the system from making statements or observations about the system.

跳出系统看问题。

I am sure that every human being is capable to some extent of working inside a system and simultaneously thinking about what he is doing.

身在曹营心在汉。

Decision procedures

P40 If there is a test for theoremhood, a test which does always terminate in a finite amount of time, then that test is called a decision procedure for the given formal system.

P41 Certainly the rules of inference and the axioms of the MIU-system do characterize implicitly, those strings that are theorems. Even more implicitly, they characterize those strings that are not theorems. But implicit characterization is not enough, for many purposes. If someone claims to have a characterization of all theorems, but it takes him infinitely long to deduce that some particular string is not a theorem, you would probably tend to say that there is something lacking in that characterization – it is not quite concrete enough. And that is why discovering means, in effect, is that you can perform a test for theoremhood of a string, and that, even if the test is complicated, it is guaranteed to terminate. In principle, the test is just as easy, just as mechanical, just as finite, just as full of certitude, as checking whether the first letter of the string is M. A decision procedure is a “litmus test” for theoremhood!

P3 Frederick The Great, King of Prussia, came to power in 1740. ... The celebrated mathematician Leonhard Euler spent twenty-five years there Potsdam where Fredrick’s courts located. Many other mathematicians and scientists came, as well as philosophers - including Voltaire and La Mettrie, who wrote some of their most influential works while there. But music was Frederick’s real love. He was ...

2017-10-29 12:50

P3 Frederick The Great, King of Prussia, came to power in 1740. ... The celebrated mathematician Leonhard Euler spent twenty-five years there

Potsdam where Fredrick’s courts located.

Many other mathematicians and scientists came, as well as philosophers - including Voltaire and La Mettrie, who wrote some of their most influential works while there.

But music was Frederick’s real love. He was an avid flutist and composer.

This Bach’s compositions were somewhat notorious. Some called them “turgid and confused”, while others claimed they were incomparable masterpieces. But no one disputed Bach’s ability to improvise on the organ.

P4 Carl Philipp Emanuel Bach was the Capellmeister at the court of King Frederick. ... It was Frederick’s custom to have evening concerts of chamber music in this court. Often he himself would be the soloist in concerto for flute. ... At the cembalo is C. P. E. Bach.

It is very probably that those BWV 1030~1035 flute sonata series were composed by C. P. E. Bach instead of J. S. Bach.

P7 In the copy which Bach sent to King Frederick, on the page preceding the first sheet of music, was the following inscription:

Regis Iusfu Cantio Et Reliqua Canonica Arte Refolula.

Here Bach is punning on the word "canonic", since it means not only "with canons" but also "in the best possible way". The initials of this inscription are

RICERCAR

--- an Italian word, meaning "to seek".

ricercar：寻觅曲，无插入赋格。

To write a decent fugue of even two voices based on it would not be easy for the average musician!

P17 All consistent axiomatic formulations of number theory include undecidable propositions.

P19 Gödel showed that provability is a weaker notion than truth, no matter what axiomatic system is involved.……no fixed system, no matter how complicated, could represent the complexity of the whole numbers: 0, 1, 2, 3, ……

P19 Aristotle codified syllogisms, and Euclid codified geometry;

P23 If paradoxes could pop up so easily in set theory --- a theory whose basic concept, that of a set, is surely very intuitively appealing --- then might they not also exist in other branches of mathematics?……In fact, this very question --- "Are mathematics and logic distincet, or separate?" --- was the source of much controversy.

P25 In an 1842 memoir, she wrote that the A.E. 「Analytical Engine proposed by Babbage」 "might act upon other things besides number". While Babbage dreamt of creating a chess or tic-tac-toe automaton, she suggested that his Engine, with pitches and harmonies coded into its spinning cylinders, "might compose elaborate and scientific pieces of music of any degree of complexity or extent." In nearly the same breath, however, she cautions that "The Analytical Engine has no pretensions whatever to originate anything. It can do whatever we know how to order it to perform." Though she well understood the power of artificial computation, Lady Lovelace was skeptical about the artificial creation of intelligence.

P26 This is what Artificial Intelligence (AI) research is all about. And the strange flavor of AI work is that people try to put together long sets of rules in strict formalisms which tell inflexible machines how to be flexible.

当然，这个观念放到现在也许过时了：基于确定规则的语言翻译系统已经由统计学方法来实现。

P27 The flexibility of intelligence comes from the enormous number of different rules, and levels of rules.

P27 Without doubt, Strange Loops involving rules that change themselves, directly or indirectly, are at the core of intelligence.

Lisp language.

P27 In the year 1754, four years after the death of J. S. Bach, the Leipzig theologian Johann Michael Schmidt wrote, in a treatise on music and the soul, the following noteworthy passage:

Not many years ago it was reported from France that a man had made a statue that could play various pieces on the Fleuttraversiere, placed the flute to its lips and took it down again, rolled its eyes, etc.

Hofstadter's Law: It always takes longer than you expect, even when you taken into account Hofstadter's Law.
Recursive enumeration is a process in which new things emerge from old things by fixed rules. There seem to be many surprises in such processes - for example the unpredictability of the Q-sequence. It might seem that recursively defined sequences of that type posses some sort of inherent...

2013-05-22 07:17

Hofstadter's Law: It always takes longer than you expect, even when you taken into account Hofstadter's Law.Recursive enumeration is a process in which new things emerge from old things by fixed rules. There seem to be many surprises in such processes - for example the unpredictability of the Q-sequence. It might seem that recursively defined sequences of that type posses some sort of inherently increasing complexity of behavior, so that the further out you go, the less predictable they get. This kind of thought carried a little further suggests that suitably complicated recursive systems might be strong enough to break out of any predetermined patterns. And isn't this one of the defining properties of intelligence? Instead of just considering programs composed of procedures which can recursively call themselves, why not get really sophisticated, and invent programs which can modify themselves - programs that can modify programs, extending them, improving them, generalizing them, fixing them, and so on? This kind of "tangled recursion" probably lies at the heart of intelligence.

The drive to eliminate paradoxes at any cost, especially when it requires the creation of highly artificial formalisms, puts too much stress on bland consistency, and too little on the quirky and bizarre, which make life and mathematics interesting. It is of course important to try to maintain consistency, but when this effort forces you into a stupendously ugly theory, you know something is wrong...

2013-05-10 06:29

The drive to eliminate paradoxes at any cost, especially when it requires the creation of highly artificial formalisms, puts too much stress on bland consistency, and too little on the quirky and bizarre, which make life and mathematics interesting. It is of course important to try to maintain consistency, but when this effort forces you into a stupendously ugly theory, you know something is wrong.

The initials of this inscription are RICERCAR - an Italian word, meaning 'to seek'. And certainly there is a great deal to seek in the Musical Offering.
Happy seeking, fellow readers
http://m.youtube.com/#/watch?v=KYouXtuk0T8&desktop;_uri=%2Fwatch%3Fv%3DKYouXtuk0T8

2013-03-01 05:34

The initials of this inscription are RICERCAR - an Italian word, meaning 'to seek'. And certainly there is a great deal to seek in the Musical Offering.

Meaning and Form in Mathematics
Isomorphism
The string --p---q----- is a theorm because 2 plus 3 equals 5. Incredible! I have not thought about it when I was into its rules.
When you confront a formal system you know nothing of, and if you hope to discover some hidden meaning in it, your problem is how to assign interpretations to its symbols in a meaningful way that a true statements corre...

2011-07-23 20:46

Meaning and Form in MathematicsIsomorphism

The string --p---q----- is a theorm because 2 plus 3 equals 5.

Incredible! I have not thought about it when I was into its rules.

When you confront a formal system you know nothing of, and if you hope to discover some hidden meaning in it, your problem is how to assign interpretations to its symbols in a meaningful way that a true statements correspond to theorems.

like decoding~Different from languages, we cannot create new theorems purely on the basis of the meanings in a formal system.Can all the reality be turned into a formal system?physics?

a marvelous contrast between the formal and the informal.

Are numbers so clean and crystalline and regular that their nature can be completely captured in the rules of a formal system?Is there a magical transition region between numbers in reality and numbers on paper?

By using 'all', for example, we attribute the courses of our thought processes to the 'meaning' of words.

皮波迪先生 (择善固执，止于至善)

2017-12-31 11:45

皮波迪先生 (择善固执，止于至善)

2017-12-22 09:02

皮波迪先生 (择善固执，止于至善)

2017-12-02 12:03

皮波迪先生 (择善固执，止于至善)

2017-12-01 23:06

皮波迪先生 (择善固执，止于至善)

2017-10-29 12:50

PEAR (起床干活嘞！)

2013-05-22 07:17

PEAR (起床干活嘞！)

2013-05-10 06:29

小新 (be more)

2013-03-01 05:34

肯特沟技校

2013-01-09 22:05

Tina_小添 (我想我也是个少女(￣▽￣))

2011-07-23 20:46