**Next message:**Butterworth, Penny: "Re: Charles Babbage's "Analytical Engine""**Previous message:**Egerland, Matthias: "Charles Babbage's "Analytical Engine""**Maybe in reply to:**Egerland, Matthias: "Charles Babbage's "Analytical Engine""**Next in thread:**Butterworth, Penny: "Re: Charles Babbage's "Analytical Engine""**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]

http://www.yorku.ca/dept/psych/classics/Lovelace/menabrea.htm

http://www.yorku.ca/dept/psych/classics/Lovelace/lovelace.htm

Cliffe, Owen <oc197@ecs.soton.ac.uk>

It should be noted that Charles Babbage never actually created the

analytical engine and that the paper by MENEBREA is based upon initial

designs, ideas and sketches by Babbage originating in 1837. While the

machine's designs and capabilities expanded and were refined for

several years after the publication of MENEBREA's paper, the core

designs and concepts of the system remained largely unchanged.

*> MENEBREA:
*

*> Those labours which belong to the various branches of the
*

*> mathematical sciences, although on first consideration they seem to
*

*> be the exclusive province of intellect, may, nevertheless, be
*

*> divided into two distinct sections; one of which may be called the
*

*> mechanical, because it is subjected to precise and invariable laws,
*

*> that are capable of being expressed by means of the operations of
*

*> matter; while the other, demanding the intervention of reasoning,
*

*> belongs more specially to the domain of the understanding.
*

MENEBREA starts by saying that there are areas of mathematics that can

be automated and those that can't, this distinction is interesting

because in a sense I think it captures in some way the distinction

between intellect and automation, in that it implies that the process

of 'reasoning' cannot be automated (at least not sufficiently to do

proper math, by which I assume he is indicating proof and discovery).

MENEBREA goes on to give a description of the difference engine and the

potential of the analytical engine.

*> MENEBREA:
*

*> But if human intervention were necessary for directing each of
*

*> these partial operations, nothing would be gained under the heads
*

*> of correctness and economy of time; the machine must therefore have
*

*> the additional requisite of executing by itself all the successive
*

*> operations required for the solution of a problem proposed to it,
*

Speaking of a binomial expansion MENEBREA is saying that the machine

must be capable of some degree of reasoning about the given problem,

albeit the application of some pre-defined rules (in this case knowing

which terms to multiply together)

*> MENEBREA:
*

*> There are certain functions which necessarily change in nature when
*

*> they pass through zero or infinity, or whose values cannot be
*

*> admitted when they pass these limits. When such cases present
*

*> themselves, the machine is able, by means of a bell, to give notice
*

*> that the passage through zero or infinity is taking place,
*

The bell is such a cool idea and as with many other aspects of Babbages

work it preempts problems that are still present in computing systems

today (i.e. what to do when exceptional circumstances are experienced).

This also emphasizes the point that any similar machine composed of

mechanized digital parts will suffer from limits in representation. I

think that it is details like this that actually held back Babbages

work, which was quite rigorous.

*> MENEBREA:
*

*> If this process has been foreseen, then the machine, instead of
*

*> ringing, will so dispose itself as to present the new cards which
*

*> have relation to the operation that is to succeed the passage
*

*> through zero and infinity. These new cards may follow the first,
*

*> but may only come into play contingently upon one or other of the
*

*> two circumstances just mentioned taking place.
*

It is not specified in MENEBREA's paper how this continuation would be

denoted or dealt with in the engine, not does he deal with aspects of

control such as conditionals or logical operations, which would be

necessary for many analytical processes.

*> MENEBREA:
*

*> To give an idea of this rapidity, we need only mention that Mr.
*

*> Babbage believes he can, by his engine, form the product of two
*

*> numbers, each containing twenty figures, in three minutes.
*

In Babbages autobiography (pub 1864) he estimates the times for

multiplying 2 50 digit numbers would take approximately 60 seconds, a

kind of mental Moor's law?

*> MENEBREA:
*

*> Now, admitting that such an engine can be constructed, it may be
*

*> inquired: what will be its utility? To recapitulate; it will
*

*> afford the following advantages: - First, rigid accuracy. We know
*

*> that numerical calculations are generally the stumbling-block to
*

*> the solution of problems, since errors easily creep into them, and
*

*> it is by no means always easy to detect these errors. Now the
*

*> engine, by the very nature of its mode of acting, which requires no
*

*> human intervention during the course of its operations, presents
*

*> every species of security under the head of correctness: besides,
*

*> it carries with it its own check; for at the end of every operation
*

*> it prints off, not only the results, but likewise the numerical
*

*> data of the question; so that it is easy to verify whether the
*

*> question has been correctly proposed.
*

This is an interesting point, and is probably mostly valid for the

kinds of operations that MENEBREA had in mind, however if you initially

take the stance that the machine is infallible you put its inventor at

the risk of a lynch mob should it fail. It would perhaps be more

appropriate to take the stance that since the machines function is the

product of its inventor, its manufacture and it programming, all of

which are complicated scientific processes its accuracy and reliability

should be considered on a similar scale.

*> MENEBREA:
*

*> Secondly, economy of time:...
*

This is a good point, but the machine can only crunch numbers so it is

still a slave to its programming, who's' specification in the case of

the Analytical Engine would have been a complex and no-doubt time

consuming process.

*> MENEBREA:
*

*> Thirdly, economy of intelligence: a simple arithmetical computation
*

*> requires to be performed by a person possessing some capacity;
*

*> ... Now the engine, from its capability of performing by itself
*

*> all these purely material operations, spares intellectual labour,
*

*> which may be more profitably employed. Thus the engine may be
*

*> considered as a real manufactory of figures, which will lend its
*

*> aid to those many useful sciences and arts that depend on numbers.
*

*> ....
*

Intellectual labour? This is certainly a bizzar concept, what I think

Menebrea is alluding to in the closing paragraph is some kind of

computing utopia where no calculation need ever be done twice, and much

of the tabulation and correlation (a.k.a. the boring stuff ) can be

done by machines.

*> LOVELACE:
*

*> In studying the action of the Analytical Engine, we find that the
*

*> peculiar and independent nature of the considerations which in all
*

*> mathematical analysis belong to operations, as distinguished from
*

*> the objects operated upon and from the results of the operations
*

*> performed upon those objects, is very strikingly defined and
*

*> separated.
*

AAL makes it clear that the distinction between data and program is

quite different, (in the realm of the Analytical Engine) is this a

valid long-term assumption? After all, are the representations of

operations not themselves also data?

*> LOVELACE:
*

*> It may be desirable to explain, that by the word operation, we mean
*

*> any process which alters the mutual relation of two or more things,
*

*> be this relation of what kind it may. This is the most general
*

*> definition, and would include all subjects in the universe. In
*

*> abstract mathematics, of course operations alter those particular
*

*> relations which are involved in the considerations of number and
*

*> space, and the results of operations are those peculiar results
*

*> which correspond to the nature of the subjects of operation. But
*

*> the science of operations, as derived from mathematics more
*

*> especially, is a science of itself, and has its own abstract truth
*

*> and value;
*

I think AAL's digression into the science of general operations is a bit

too general, and does perhaps dither off somewhere into a philosophical

abyss. In terms of math, in all its generality a science of operations is

no better defined.

*> LOVELACE:
*

*> ... It were much to be desired, that when mathematical processes
*

*> pass through the human brain instead of through the medium of
*

*> inanimate mechanism, it were equally a necessity of things that the
*

*> reasonings connected with operations should hold the same just
*

*> place as a clear and well-defined branch of the subject of
*

*> analysis, a fundamental but yet independent ingredient in the
*

*> science, which they must do in studying the engine. The confusion,
*

*> the difficulties, the contradictions which, in consequence of a
*

*> want of accurate distinctions in this particular, have up to even a
*

*> recent period encumbered mathematics in all those branches
*

*> involving the consideration of negative and impossible quantities,
*

*> will at once occur to the reader who is at all versed in this
*

*> science, and would alone suffice to justify dwelling somewhat on
*

*> the point, in connection with any subject so peculiarly fitted to
*

*> give forcible illustration of it as the Analytical Engine.
*

What I think AAL is trying to say here is that there is a degree of

abstraction between the meaning of objects and operations and their

actual meaning, or their meaning when translated into what people

understand. Taking imaginary and negative numbers as an example, it is

impossible to explain how you can have -1 things or for that matter

determine the square root of a negative number but in abstract math and

in the domain of an the Analytical Engine a negative number is just

what you get when you subtract a positive number from 0 and an

imaginary number is simply what you get when you apply the operation of

square root to a negative number. In a way this (our trouble with

(initially) dealing with the totally abstract) is simply highlighting

the fact that our understanding of processes is constrained by the

language we use to describe them. Initially we have no linguistic

toolkit for dealing with negative numbers in the way we do with

positive numbers (i.e. it is simple to imagine 1 car, 2 fish etc. but

hard to image -1 cars), these concepts must be added and expressed in

terms of mental operations (the expression of negativity as what

happens when you subtract from zero).

*> LOVELACE:
*

*> ... Again, [the machine] might act upon other things besides
*

*> number, were objects found whose mutual fundamental relations could
*

*> be expressed by those of the abstract science of operations, and
*

*> which should be also susceptible of adaptations to the action of
*

*> the operating notation and mechanism of the engine. Supposing, for
*

*> instance, that the fundamental relations of pitched sounds in the
*

*> science of harmony and of musical composition were susceptible of
*

*> such expression and adaptations, the engine might compose elaborate
*

*> and scientific pieces of music of any degree of complexity or
*

*> extent.
*

This makes some interesting suppositions about composition, but does make

the point that this machine can do pretty much anything where there is a

firm base of operational relations that can be processed.

This does not deal with how the machine would represent such objects, but

a simple coding could be applied to most situations (as with say ASCII to

binary).

*> LOVELACE:
*

*> Those who view mathematical science, not merely as a vast body of
*

*> abstract and immutable truths, whose intrinsic beauty, symmetry and
*

*> logical completeness, when regarded in their connexion together as
*

*> a whole, entitle them to a prominent place in the interest of all
*

*> profound and logical minds, but as possessing a yet deeper interest
*

*> for the human race, when it is remembered that this science
*

*> constitutes the language through which alone we can adequately
*

*> express the great facts of the natural world, and those unceasing
*

*> changes of mutual relationship which, visibly or invisibly,
*

*> consciously or unconsciously to our immediate physical perceptions,
*

*> are interminably going on in the agencies of the creation we live
*

*> amidst: those who thus think on mathematical truth as the
*

*> instrument through which the weak mind of man can most effectually
*

*> read his Creator's works, will regard with especial interest all
*

*> that can tend to facilitate the translation of its principles into
*

*> explicit practical forms.
*

AAL is assuming that all of the wonders of abstract mathematics a) can

be translated into a form usable or applicable to the analytical engine

and b) would be at all useful in such a system. While she has gone some

way towards saying that via translation it would be possible to

translate abstract mathematical systems into Analytical engine code,

she does not say how this would be useful. On the whole the sort of

math she is referring to would not at any point deal with numbers and

as a result would render it useless to the machine. While symbolic

algebra manipulation is possible to a certain extent, the degree of

intuition and creativity involved in creating anything actually useful

that can be verified by a mathematician to be valid is high, and might

make the 'operations' surrounding such processes nearly opaque to

description.

*> LOVELACE:
*

*> ... an analysing process must equally have been
*

*> performed in order to furnish the Analytical Engine with the
*

*> necessary operative data; and that herein may also lie a possible
*

*> source of error. Granted that the actual mechanism is unerring in
*

*> its processes, the cards may give it wrong orders. This is
*

*> unquestionably the case; but there is much less chance of error,
*

*> and likewise far less expenditure of time and labour, where
*

*> operations only, and the distribution of these operations, have to
*

*> be made out, than where explicit numerical results are to be
*

*> attained.
*

The fact that the cost of rendering the problem to the engine and then

discovering any bus in that rendition will reduce to below that of

performing a task by had is inevitable as the cost of rendition is

proportional to the size of the problem (in representation) and the cost

of debugging is at most proportional to size of the problem representation

(i.e. checking each line of the input coding once).

AAL finishes with a summary of the machines functional capabilities,

namely its primitive operations (+ - / *), and its ability to deal with

potentially very large numbers.

*> LOVELACE:
*

*> 3. It can combine these numbers and these quantities either
*

*> algebraically or arithmetically, in relations unlimited as to
*

*> variety, extent, or complexity.
*

i.e. the machine is capable of computing any mathematical function

taking any number of input symbols and operating on them using any

combination of primitives in any order yielding any number of output

values

*> LOVELACE:
*

*> 4. It uses algebraic signs according to their proper laws, and
*

*> developes the logical consequences of these laws.
*

But what happens when you define a function called sqrt making a number

to another number and give it a negative input. It is simple to say

that complex numbers are not within the mathematical vocabulary of the

machine (as they might not be in the vocabulary of a school child)

(would this make the machine ring its bell?) . While it would be

possible to make the machine deal with this extension to a number

system as it has done with negative numbers this does emphasize the

fact that the machine regardless of its potentially infinite processing

and storage power might not be capable of discerning certain truths,

specifically those so contrived as complex numbers.

*> LOVELACE:
*

*> 6. It can provide for singular values. Its power of doing this is
*

*> referred to in M. Menabrea's memoir, page 17, where he mentions the
*

*> passage of values through zero and infinity. The practicability of
*

*> causing it arbitrarily to change its processes at any moment, on
*

*> the occurrence of any specified contingency (of which its
*

*> substitution of (1/2 cos .(n + 1) q + 1/2 cos .(n - 1) q)[1] for
*

*> (cos .n q .cos .q), explained in Note E., is in some degree an
*

*> illustration), at once secures this point.
*

This is interesting as the machine is specializing specified cases of

problems, and also make conditional execution (as a special case) of

instruction fragments possible. Does this then make the Analytical

engine truly capable of such a wide range of operations as is

proclaimed by both MENEBREA and AAL? Would the Analytical engine be

Turing complete?

Cliffe, Owen <oc197@ecs.soton.ac.uk>

**Next message:**Butterworth, Penny: "Re: Charles Babbage's "Analytical Engine""**Previous message:**Egerland, Matthias: "Charles Babbage's "Analytical Engine""**Maybe in reply to:**Egerland, Matthias: "Charles Babbage's "Analytical Engine""**Next in thread:**Butterworth, Penny: "Re: Charles Babbage's "Analytical Engine""**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]

*
This archive was generated by hypermail 2b30
: Tue Feb 13 2001 - 16:36:26 GMT
*