Jan Von Plato
email: jan.vonplato@helsinki.fi

In search of the roots of formal computation

In a culmination of a long development, it was seen clearly in the early 1930s that steps of formal computation are also steps of formal deduction as defined by recursion equations and other similar principles of arithmetic. Followers of Kant's doctrine of the synthetic a priori in arithmetic missed by a hair's breadth the proper recursive definition of addition that appeared instead first in a book of Hermann Grassmann of 1861. A line can be followed from it to Hankel, Schröder, Dedekind, Peano, and Skolem, the last mentioned marking the birth of recursive arithmetic, a discipline firmly anchored in the foundations of mathematics by the presentation Paul Bernays made of it in his monument, the Grundlagen der Mathematik of 1934.

First steps in formal arithmetic

Properties of arithmetic operations were postulated axiomatically in earlier literature, as in the book Anfangsgründe der reinen Mathesis by Johann Schultz (Basics of pure mathesis, 1790). There the commutativity and associativity of addition appear as axioms (p. 41):

1. The quantity of a sum is the same, should we add to the first given quantity the second or to the second the first, i.e., once and for all a + b = b + a, e.g., 5 + 3 = 3 + 5.

2. The quantity of a sum is the same, should we add to the first given quantity another either once as a whole or each of its parts one after the other, i.e., once and for all c + (a

These axioms were in Schultz' mind formulations of principles found in Kant's philosophy of arithmetic, as explained in his two-volume Prüfung der Kantischen Critik der reinen Vernunft (Examination of the Kantian critique of pure reason, 1789 and 1792) that went hand in hand with the mathematics of the Anfangsgründe of 1790.

Gottfried Martin studied these developments in his dissertation, published in 1938, in which he writes that the idea of axioms in arithmetic started to erode with Schultz. He refers to the question posed by Schultz (p. 57):

How do I know, then, that this willful procedure [of changing the order of a sum] that lies in no way in the concept of addition itself, provokes no difference in the sum 7 + 5? This passage is from the Prüfung (vol. 1, p. 220). Schultz gives there a proof of the equation 7 + 5 = 12 -perhaps the only formula in Kant's Kritik, a "smoking gun" of sorts in later writers. Kant's most detailed formulation is the following (p. B16)

Introduction

The basic laws of arithmetic have been an object of study at least since the times of Leibniz who thought he could prove them from suitable principles such as: "Those that can be mutually substituted salva veritate are equal." Formal arithmetic proper begins with the high school teacher Hermann Grassmann in 1861, otherwise known as the one who invented linear algebra and the vector calculus. He set out to prove some of the basic properties of arithmetic operations, and found that to prove the commutativity of addition, a + b = b + a, one has to prove first its associativity, a + (b + c) = (a + b) + c. The inductive proof for a + b = b + a just doesn't go through if you don't do it in this order. Inductive proofs are rendered possible because Grassmann had found the correct definitions of the arithmetic operations. The source of these definitions seems to be in the development of combinatorics that provided recursively defined algorithms for the manipulation of formal expressio! ns.

The deductive part of arithmetic was developed in the work of Peano, Russell, and others, until in the 1920s a clear picture of elementary arithmetic as represented formally within predicate logic became standard. Predicate logic, i.e., the logic of the connectives and quantifiers, provided the deductive machinery by which elementary arithmetic could be defined as a theory within a formalized language, with the precisely defined questions of consistency, completeness, and decidability of the axiomatization to be answered.

Next to the deductive aspects of elementary arithmetic, there is the computational part that became gradually subsumed under deduction, as in the following succinct formulation of Bernays (in Hilbert and Bernays 1934, p. 288):

The formalization of the intuitive procedure of a recursive definition through the recursion scheme depends on obtaining, for a recursively introduced function sign . . . , a derivable equation . . . with the help of the recursion equations and the axioms of equality.

The way to a formal account of computation makes for a long story that begins with Leibniz and, perhaps surprisingly, Kant and especially the Kantian disciple Johann Schultz:

I take the number 7 to begin with and, using for the concept 5 the fingers of my hand as an intuitive help, I put the units that I earlier took together to make the number 5, now in that image of mine one by one to the number 7, and thus I see the number 12 emerge.

Schultz in turn gives first the axioms of commutativity and associativity of addition, then states that they are "indispensable for arithmetic" (p. 219), for without them, one would get only that 7 + 5 = 7 + (4 + 1) = 7 + (1 + 1 + 1 + 1 + 1). With commutativity and associativity, one gets instead (p. 220):

Instead of all of 5, or its units taken together and added at once to 7, I must take them instead successively one by one, and instead of 7 + (4 + 1) first set 7 + (1 + 4), and in place of it (7 + 1) + 4, so then I get thanks to the concept of the number 8, namely that it is 7 + 1, first 8 + 4 i.e. 8 + (3 + 1). Instead of this I have to set again 8 + (1 + 3), and (8 + 1) + 3 in place of it, so I get 9 + 3, i.e., 9 + (2 + 1). Setting for this 9 + (1 + 2), and therefore (9 + 1) + 2, gives 10 + 2, i.e., 10 + (1 + 1), and setting for this (10 + 1) + 1 gives finally 11 + 1, i.e. 12. Every arithmetician knows that this is the only way through which we can come to the insight that the theorem is correct.

Here is a clear sign of awareness of the recursive definition of sum. Schultz missed by a hair's breadth the correct recursion equation, as can be seen by the comparison: He thus missed the inductive proofs of commutativity and associativity, and could not do better than claim that any attempted proof of the commutativity of addition would be circular (p. 221). In the Anfangsgründe, Schultz had declared the commutativity of addition to be "immediately evident" (p. 42).

Martin suggests that there is an intimation of deductive dependences in one of Schultz' discourses, namely, that the commutativity of product follows from the special case of 1 × n = n × 1 and the distributive law. There is a grain of truth to this, as we shall see in a while.

Schultz' proof of n × r = r × n is as follows: First the case 1 × n = n × 1 is proved, and then come three lines with a first step on each line, Corollary 6, from the distributive law as in n × 2 = n × (1 + 1) = n × 1 + n × 1, and similarly for the last step, Corollary 4. The "by proof" clause (p. dem.) in between refers always to the case of one less on a previous line (p. 64): Lemma 9. A product of two integers is the same, should one multiply the first factor by the second, or the second by the first, i.e., n × r = r × n. For since n = 1 times n ( § 36. Cor. 3) = n times 1 ( § 36. Cor. 2);

then n × 1 = 1 × n. n × 2 = n × 1 + n × 1 (Cor. 6) = 1 × n + 1 × n (p. dem.) = 2 × n (Cor. 4) n × 3 = n × 2 + n × 1 (Cor. 6) = 2 × n + 1 × n (p. dem.) = 3 × n (Cor. 4) n × 4 = n × 3 + n × 1 (Cor. 6) = 3 × n + 1 × n (p. dem.) = 4 × n (Cor. 4) etc. So we have in general n × r = r × n.
Martin (p. 61) calls this "an inference from n to n + 1," but it certainly is not the kind of induction in which we have a base case, here r = 1, and a step case from an assumed value r to r + 1. There is instead a clear pattern indicated by the "etc" and the repetitive layout by which the proof of commutativity can be continued to any given number r. Let us single out the pattern by some little formal notation:

The expression n × r can be considered, for each value of n, a function of r in the old-fashioned sense of an expression with a free variable r for which values can be substituted as arguments of the function, denoted f (r). Similarly, the expression r × n can be considered, for each value of n, a function of r, denoted g(r). Schultz' first line of proof gives the result:

f (1) = g(1)
His general case, even if not written down with a variable, gives:

f (r + 1) = f (r) + f (1) g(r + 1) = g(r) + g(1)
Now we see the hidden inductive step:

If f (r) = g(r), then f (r + 1) = f (r) + f (1) = g(r) + g(1) = g(r + 1).
The base value for r = 1 and the recursion clause from r + 1 to r in Schultz comes from his two corollaries, 2 and 3 in § 36 and 6 in § 42, n = 1 × n = n × 1 and n × (r + 1) = n × r + n × 1. These are what we today take as the recursion equations for product; a concrete case of what I stated in the introduction, namely that inductive proofs showed the way to corresponding recursive definitions.

There is even a simpler way to look at Schultz' proof: We have two expressions n × r and r × n. They agree in value for r = 1 and when r grows by one, each grows by the value f (1) = g(1). Therefore f (r) and g(r) have the same value for all r.

The first one to have formulated Schultz' proof method explicitly, with no knowledge of this specific case of course, seems to be Paul Bernays in a talk he gave on 21 February 1928 in Göttingen, titled Die Rekursion als Grundlage der Zahlentheorie (Recursion as a foundation of number theory). Bernays, in a letter of 1940, mentions "the possibility of taking instead of the complete induction the rule of equalizing recursive terms satisfying the same recursive equations" (cf. von Plato 2014). An observation in much simpler words but to the same effect was made by Ludwig Wittgenstein some years after Bernays' talk, as reported in Waismann (1936, p. 99):

The induction proof can also be thought of as a direction for the formation of proofs of individual numerical equations, as the general terms of a series of proofs. Indeed, the induction proof could very well be written in the form of a series of equations, with individual numbers, as a part of a series with an "etc.," and it would thereby lose none of its power.

Seven years after the Anfangsgründe, Schultz produced an abridged version with the title Kurzer Lehrbegriff der Mathematik (Short course in mathematics) that has the theorem of commutativity of multiplication with an identical wording, and the proof (p. 36):

For let one pose that the theorem be true for whatever multiplier m, namely let n×m = m×n;

then n × (m + 1) = n × m + n × 1 (Cor. 5) = m × n + 1 × n ( § 21, Cor. 3.) = (m + 1) × n (Cor.
3.), so the theorem is in this case true also for the successive multiplier (m + 1). The theorem is true for the multiplier 1, because n × 1 = 1 × n ( § 21, Cor. 3.) so also for the multiplier 2, consequently also for the multiplier 3 etc, thereby for each multiplier r whatever; i.e., in general n × r = r × n.

What made Schultz change the proof into an explicit induction? I have found no such proof in the Anfangsgründe, but it does have at least two proofs that use another variant of induction, remarkably both of them of the form of an indirect existence proof. Theorem 17 is (p. 84): § 58. Each composite finite number m has a prime number as a divisor.

Proof The theorem is followed by another by which "every composite finite number is a product of prime numbers throughout" (p. 85). The proof uses the same principle: the contrary of the theorem would lead to an infinite product.

Both proofs are based on the principle that has been traditionally formulated as:

There is no infinite descending chain of natural numbers.

In the Lehrbegriff of 1797, this principle is made explicit in the proof of the prime divisor theorem: Schultz writes about the numbers in the sequence of divisors of a composite number that "they cannot become always smaller without end "(p. 56) Overall we have: there is no trace of induction in the form of the step from n to n + 1 in the Anfangsgründe, but just one equational proof and two by the impossibility of an infinite sum and product; altogether unusual arguments. In 1797, the former has been changed into a canonical induction from n to n + 1, the latter into the well-known infinite descent argument. Did Schultz realize the equivalence of all these formulations? I don't think an answer would make such a big difference in the way we look at his results. We know they are based on one formulation or other of a principle today called induction. All four forms of induction found in Schultz have been used indiscriminately in arithmetic and elsewhere, with varying degrees of awareness of their equivalence.

Recurrence in combinatorics

The first explicit references to a "recurrent procedure" (rekurrierendes Verfahren) seem to stem from a development quite different from the foundational concerns of Schultz, namely from the combinatorics in the early 19th century. Andreas von Ettingshausen's (1796-1878) book Die combinatorische Analysis als Vorbereitungslehre zum Studium der theoretischen höhern Mathematik, published in 1826, is one such (Combinatorial analysis as a preparatory for the study of theoretical higher mathematics). Combinatorial formulas are there described as "recurrent determinations" (recurrirende Bestimmungen), in the following general terms (p. 83):

. . . this procedure is the recurrent one, i.e., one in which a successive member of the result aimed at is obtained only when all preceding members have already been calculated.

The engaging book by Friedrich Wilhelm Spehr (1799Spehr ( -1833)), in the second edition of 1840, has the exhaustive title Vollständiger Lehrbegriff der reinen Combinationslehre mit Anwendungen derselben auf Analysis und Wahrscheinlichkeitsrechnung (Complete course for learning the pure calculus of combinatorics with applications thereof to analysis and the calculus of probability). The preface and first edition are dated 1824 but considering its talented author's death at the young age of 34 seven years before the second edition, it has most likely been a simple reprint. In combinatorics, the nature of the things plays no role, but one considers just the ways in which they can be put together, writes Spehr (p. 1). Each topic is treated separately by the "independent" and the "recurrent" method, explained as follows (p. 9): Whenever quantities or just things whatever are hand that are connected together successively according to laws that remain always the same, so that these connections are members of a progression, the members have also among themselves a fixed link; a rule can be given each time by which one can find another thing from some given ones. It is so overall in analysis where the lawful sequence comes out as a result of an operation, and it is so also in combinatorics.

One can produce each member of a result in itself and independent of every other member, from the quantities or things the connections of which shall bring it forth; (independent procedure, independent determination) but one can also derive a successive one from members of the result already formed earlier. (Recurrent procedure, recurrent determination.)

In § 15, the recurrent method is explained in detail, with combinatorial formulas that show how the computation with a parameter value k is reduced to one with a parameter value k-1. Such experience with complicated situations of combinatorics had led to the idea of a general pattern of reduction, in which in the end the value 1 is reached. Then, turning the procedure around, the value of an expression for k could be determined step by step from the value for 1.

Grassmann's formalization of calculation

In his Ausdehnungslehre of 1844 that introduced linear algebra and the vector calculus, Hermann Grassmann wrote (p. xix):

Proof in the formal sciences does not go into another sphere, beyond thinking itself, but resides purely in the combination of the different acts of thought. Therefore the formal sciences must not begin with axioms unlike the real ones; their foundation is made up of definitions. If axioms have been introduced into the formal sciences, such as arithmetic, this is to be seen as a misuse that can be explained only through the corresponding treatment in geometry.

The last quoted sentence is from an added footnote.

(A) Grassmann's discovery of definition by recursion. Fifteen years after the above passage was published, Grassmann put his credo about avoiding axioms in arithmetic to full effect through the application of the "recurrent procedure" to the most elementary parts of arithmetic, namely the basic arithmetic operations. His 1861 Lehrbuch der Arithmetik für höhere Lehranstalten contains the first explicit recursive definitions of arithmetic operations, ones that go hand in hand with inductive proofs of properties of the recursively defined operations. The base case of induction is 0, or, in Grassmann's times, usually 1, and the step case is that of n to n + 1, the successor of n [Nachfolger]. Grassmann's definition of sum is for an arbitrary "basic sequence" with a unit e and a succession of units as in e, e + e, e + e + e, . . . , with the addition of a unit always intended at right, in the sense of (e + e) + e. He actual! ly constructs a doubly infinite series of integers with a positive and negative unit, but the following is for brevity the part on natural numbers that begin with the positive unit denoted e. Here is Grassmann's explanation of the positive integers (p. 2): 7. Explanation. Let a sequence of quantities be built out of a quantity e [Grösse] through the following procedure: One sets e as one member of the sequence, e + e (to be read e plus e) as the successive [nächstfolgende] member of the sequence, and one continues in this way, by deriving from the member that is each time last the successive one through the joining of + e.

. . . When one assumes each member of this sequence to be different from all the other members of the sequence, one calls this sequence the basic sequence [Grundreihe], e the positive unit.

It is remarkable that Grassmann does not use the word "addition" in this characterization of the number sequence. The addition of the unit e is explained as follows (p. 3): 8-9. Explanation. If a is any member of the basic sequence, one means by a + e . . . the member of the sequence that follows next to a . . . that is, if b is the member of the sequence next to a, we have

(8) b = a + e
One calls this operation [Verknüpfung] the addition of a unit.

Addition of a unit is a clearly defined separate operation explained as the taking of a successor in the basic series. Grassmann now sets out to prove that "the members of the sequence that follow e are sums of positive units." The proof goes as follows:

Proof. The members of the basic series that follow e have (by 7) resulted from e by a progressive addition of positive units, are therefore sums of positive units.

There is a clear awareness in Grassmann that the sequence of natural numbers is generated from the unit through repeated application of the successor operation. The only fault is that there is no separate notation for the successor; it is denoted by + e. Grassmann's definition of addition should be read with the overloading of the symbol + in mind (p. 4): In Grassmann's terms, this equation gives a procedure for reducing arbitrary sums into members of the "basic sequence" that by the above proof are "sums of positive units."

The recursive definition of sum is put into use in Grassmann's "inductory" (inductorisch) proofs of the basic properties of addition, such as associativity and commutativity. Anyone who tries to prove the commutativity of addition, a+b = b+a, will notice that the proof requires as a preliminary a proof of associativity, (a + b) + c = a + (b + c). This must have happened to Grassmann who offers the following proof (p. 8): Therefore, if formula 22 holds for whatever value c, it holds even for the one following next, thereby for all values that follow.

The use of parentheses could have made the steps a bit clearer. Next, as result 23, Grassmann proves the commutativity of addition.

Grassmann conceived of the natural numbers in a completely abstract way, as a special case of his "basic sequences," evidence the occurrence of the number symbols in his treatise: Zero appears early on in his system, the notation 0 for the sum of the positive and negative units (p. 3): e + -e = 0 Zero is not yet a natural number but belongs to any basic sequence. The symbols 1, 2, and 3 appear much later, after the treatment of sum and its properties has been completed in § 3, in the section on Multiplication ( § 4, p. 17): 52. Expl. By a.1 (read a times one or a multiplied by one) one intends the quantity a itself, i.e., (52). a.1 = a.

"To multiply by one changes nothing." 53. Expl. A basic sequence the unit of which is equal to one is called a number sequence, its members numbers, the number 1 + 1 is denoted by 2, the number 2 + 1 by 3, etc.

Grassmann ends this explanation by the remark that since the number sequence is a basic sequence, the previously established laws of addition and subtraction apply to it.

Multiplication with "the rest of the numbers (beyond 1)" is defined by the recursion equation a • (β + 1) = a β + a where "β is a positive number" (p. 18). Grassmann takes a • 0 = 0 to be part of the definitional equations of a product. Much later, it became clear that it is instead derivable from the recursion equation and one of the Peano axioms.

Finally, a remark about Schultz' reduction of the proof of commutativity of multiplication to the special case 1 • n = n • 1 and the distributive law: The first step in the proof as given above was n Today, one would formulate the successor operation as a separately written function, with the notation s(a) or succ(a) so as not to mix sum and successor, with 0 included and the definition of sum and product as:

• 2 = n • (1 + 1) = n • 1 + n • 1,
1. a + 0 = a a • 1 = a 2. a + s(b) = s(a + b) a • s(b) = a • b + a
Here it is seen how recursion clause 2 makes the second summand diminish step by step, until it becomes 0 and vanishes; thus, a clear conceptual advantage from having the natural numbers begin with 0 instead of 1.

The apparent circularity of the definition of sum, signaled as a defect by Frege and others in the 19th century, is seen in the Grassmann-style recursion equation:

a + (b + e) = (a + b) + e
In Grassmann, the end of recursive return is signaled by the appearance of a + e. With clauses 1 and 2, instead, recursion produces a well-founded sequence through the application of clause 2, until the sum-operation is eliminated by clause 1.

Grassmann's motivations for developing formal arithmetic are remarkably clearly stated in the introduction to his book. He writes that it "claims to be the first strictly scientific elaboration of the discipline" (p. v). However, Grassmann got rather frustrated at the lack of interest in his work, and turned into linguistics where he became one of the leading authorities in the Sanskrit language.

(B) The reception of Grassmann's idea. Grassmann's approach to the foundations of arithmetic is found explained in detail in the first of Hermann Hankel's two-volume treatise Vorlesungen über die complexen Zahlen und ihre Functionen of 1867. The full title of the first volume is Theorie der complexen Zahlensysteme insbesondere der gemeinen imaginären Zahlen und der Hamiltonschen Quaternionen nebst ihren geometrischen Darstellung (Theory of complex number systems expecially of the common imaginary numbers and of the Hamiltonian quaternions together with their geometrical representation). He begins with a discourse about the natural numbers (p. 1):

What it means to think or pose an object 1 time, 2 times, 3 times . . . cannot be defined because of the fundamental simplicity of the concept of posing. An absolute, entire number 1, 2, 3 . . . expresses that an object has to be posed 1, 2, 3 . . . times, and it means 1e, 2e, 3e . . . , the result of repeated posing of e.

Next addition is explained as the result of posing the numerical unit e first a times, then b times. Associativity and commutativity are mentioned as "the main laws." Further, addition is an operation with a unique result and the property that if one summand is changed and the other remains constant, also the result changes (p. 2):

The properties of addition given here are sufficient for the derivation of all further consequences on the building of sums, without the need to remind oneself each time about the real meaning of addition. In this sense they are the conditions that are necessary and sufficient to formally define the operation.

"Positive entire numbers" are the topic of § 9, generated from the unit 1 by setting 1 + 1 = 2, 2 + 1 = 3, 3 + 1 = 4, . . . . The sum (A + B) of two numbers is defined as in Grassmann's recursion equation (p. 37):

A + (B + 1) = (A + B) + 1.
Hankel now states that "this equation determines every sum" and shows how it goes: By setting B = 1 in the equation one has A + 2 = A + (1 + 1) = (A + 1) + 1, and with B = 2 one has A + 3 = A + (2 + 1) = (A + 2) + 1 so that A + 2 and A + 3 are numbers in the sequence of integers (p.

37):

In this way one finds through a recurrent procedure, one that goes on purely mechanically without any intuition, unequivocally every sum of two numbers.1 This proclamation is followed by a mechanical computation of the Kantian formula 7 + 5 = 12 through the writing of 17 equations that begins with 7+5 = 7+(4+1) = (7+4)+1 and ends with 7+5 = 11+1 = 12. The example is very likely inspired by the proof in Schultz' Prüfung as discussed above. Next Hankel proves associativity, then the lemma 1 + A = A + 1, and finally commutativity exactly as in Grassmann, and proceeds then to the recursive definition of multiplication. The presentation of positive integers ends with (p. 40):

The idea to derive the rules of addition and multiplication as done here owes itself in its essence to Grassmann (Lehrb. d. Arithmetik).

Grassmann's approach is next described by Ernst Schröder in his 1873 Lehrbuch der Arithmetik und Algebra. The book contains an introduction and chapters on arithmetic operations with a presentation that follows directly Hankel's divisions. The integers are explained through the process of counting, with the paradigm that "a natural number is a sum of ones" (p. 5). The addition of one is kept strictly separate from the concept of an arbitrary sum; the symbol + is used only because otherwise, writing for example 111 for three, one would take that as a hundred and eleven. A number is further "independent of the order in which the units are built with the unit stroke" (p. 16).

Each of the arithmetic operations is treated twice, just as in the much earlier book of combinatorics by Spehr: first by the independent treatment (independente Behandlungsweise), then by the recurrent one (p. 51). What the former is does not become clearly explained, but it is more or less the way one learns basic arithmetic at school, by becoming acquainted with counting and numbers and sums and so on. Spehr's explanation was that a solution can be determined in itself for a given case, independent of other possible cases. The second approach aims at greater rigor and "a simplification of the conditions taken as a point of departure." Grassmann's recurrent mode of counting sums is explained through detailed examples (pp. 63-64):

(5) 2 = 1 + 1, 3 = 2 + 1, 4 = 3 + 1, 5 = 4 + 1, etc., The natural numbers are hereby defined recurrently. Namely, to give in a complete way the meaning of a number, i.e., to express it through the unity, one has to go back from it to the previous number and to run through backwards (recurrere) the whole sequence.

The presentation is copied from Hankel, up to the 17 equations that lead from 7 + 5 = 7 + (4 + 1) to 7 + 5 = 11 + 1 = 12 (p. 65):

One can find such a sum [of two numbers] in this way unequivocally, through a recurrent procedure that goes on purely mechanically.

Well, this goes over to the side of direct copying of Hankel. In counterbalance, Schröder's presentation of how the natural numbers are generated by the + 1-operation is described through a notational novelty (p. 64):

If a is a number from our sequence: 1, 2, 3, 4, 5, . . . then even a + 1 is one, namely a = a + 1 is the general form of equations ( 5). This seems to be the first place in which the successor operation obtains a separate notation, one that became later the standard one. It was a conceptually important step and the notation was taken into use by Dedekind in 1888.

As a conclusion, we can say that with the two textbooks by Hankel and Schröder, Grassmann's recursive foundation of arithmetic became known and generally appreciated. This is made evident through Richard Dedekind's widely read booklet Was sind und was sollen die Zahlen? of 1888 (What are numbers and what are they for?). On the first page, Dedekind mentions as the first source Schröder's "exemplary Lehrbuch"; one finds then in Dedekind the use of the successor function as a primitive, with the Schröderian notation p = n for "the successive number" (p. 27). Addition is defined by the recursive clauses (p. 36):

II. m + 1 = m III. m + n = (m + n)
Next the basic properties are proved inductively, with a slight variant of the old order of associativity of sum followed by its commutativity: Dedekind proves first m + n = m + n (Satz 136), from clauses II and III silently using even the substitution principle in the successor function, from m = n to conclude m = n , with the intermediate step m + n = (m + n) that with clause III gives the result (p. 36). Now follow proofs of 1 + n = n + 1 and m + n = n + m that don't use 136, and then the standard proof of associativity expressed as (l + m) + n = l + (m + n). The order of things is somewhat redundant: Associativity with the instance (m+1)+n = m+(1+n) together with 1+n = n+1 gives at once Dedekind's Satz 136. His intermediate step m + n = (m + n) in the proof is the more interesting result because it shows that the recursion clause can be applied as well to the first argument of a sum.

5 Peano: the logic of Grassmann's formal proofs (A) The Peano axioms. Giuseppe Peano published in 1889 a separate little treatise, the 36-page Arithmetices Principia, Nova Methodo Exposita, or "The principles of arithmetic, presented by a new method." It was written in Latin and the earlier parts got an English translation in the Van Heijenoort collection in 1967, From Frege to Gödel. The original is readily available on-line and one sees that this booklet consists of a 16-page preface and explanation, and a 20-page systematic development that begins with § 1: On numbers and on addition. Peano writes in the introduction (Van Heijenoort's translation, p. 85):

I have denoted by signs all ideas that occur in the principles of arithmetic, so that every proposition is stated only by means of these signs.

. . .

With these notations, every proposition assumes the form and the precision that equations have in algebra; from the propositions thus written other propositions are deduced, and in fact by procedures that are similar to those used in solving equations.

Peano uses dots in place of parentheses, a ∩ b and ab for conjunction,a for negation, V for truth, and the same inverted for falsity Λ. Implication is written a ⊃ b, read "deducitur" (one deduces), but it is clearly a connective, because it is found iterated. For example, Peano's second propositional axiom is:

a ⊃ b . b ⊃ c : ⊃ . a ⊃ c
There is also the connective of equivalence, a = b, definable through implication and conjunction as

a ⊃ b . ∩ . b ⊃ a.
Peano writes in the preface that he has followed in logic amongst others Boole, and for proofs in arithmetic the book by [START_REF] Grassmann | Lehrbuch der Arithmetik für höhere Lehranstalten[END_REF] [in arithmeticae demonstrationibus usum sum libro: H. Grassmann]. Among his references there is also the book of Schröder of 1873. There is no evidence of the influence of Frege, even if some of the initial statements about the ambiguity of language and the necessity to write propositions only in signs are very close to those in Frege's Begriffsschrift. Dedekind ( 1888) is mentioned as a "a useful recent book" in which "questions pertaining to the foundations of numbers are acutely examined."

Definitions are explained as follows (p. 93):

A definition, or Def. for short, is a proposition of the form x = a or α ⊃ . x = a, where a is an aggregate of signs having a known sense, x is a sign or aggregate of signs, hitherto without sense, and α is the condition under which the definition is given.

Pure logic is followed by a chapter on classes, or sets as one could say. The notation is a ε b for a is a b, and a ε K for a is a class.

To get to arithmetic, Peano adds to the language the symbols N (number), 1 (unity), a + 1 (a plus 1), and = (is equal to), the same symbol is used also for logic. The Peano axioms for the class N of natural numbers are:

Peano's axioms for natural numbers:

1. 1 ε N 2. a ε N. ⊃ . a = a 3. a, b ε N. ⊃ : a = b . = . b = a 4. a, b, c, ε N. ⊃ ∴ a = b . b = c : ⊃ . a = c. 5. a = b . b ε N : ⊃ . a ε N. 6. a ε N. ⊃ . a + 1 ε N. 7. a, b ε N. ⊃ : a = b . = . a + 1 = b + 1. 8. a ε N. ⊃ . a + 1 -= 1. 9. k ε K ∴ 1 ε K ∴ x ε N. x ε k : ⊃ x . x + 1 ε k :: ⊃ . N ⊃ k.
In axioms 2, 7, and 8 with its negated equality, equality of numbers and equivalence of propositions get happily mixed.

One direction of axiom 7 can be seen as a principle of replacement of equals a = b in the successor function a + 1. The remaining direction together with axiom 8 are often referred to as "the axioms of infinity," after Dedekind (1888): They show that the positive natural numbers N + , a proper subset of N, are in a one-to one correspondence with N, which makes N infinite in Dedekind's definition.

The last axiom is the principle of induction: Let k be a class that contains 1 and for any x, let it contain x + 1 if it contains x. Then it contains the class N. The implication has the eigenvariable x of the inductive step as a subscript.

After the axioms there is a definition of sorts: 10. 2 = 1 + 1; 3 = 2 + 1, 4 = 3 + 1; and so forth.

Peano's definition, or rather "definition," contains the same defect as those of Grassmann, Hankel, and Schröder, revealed by the elliptic "etc" or similar, namely that no way is given for inductively producing arbitrary decimal expressions from expressions in pure successor form.

There follows a great number of theorems the proofs of which consist of two kinds of steps, with b a substitution instance of axiom a in the first:

a ⊃ b. a . a ⊃ b : ⊃ b.
From the derivations in Peano's treatise, the following structure emerges, as shown in detail in von Plato (2013, section 14.3(b)): Peano's formal derivations consist of a succession of formulas that are either implications with an axiom that implies its instance, or implications with two derived formulas a and a ⊃ b that imply b.

Jean van Heijenoort who edited the book that contains the first English translation of the main part of Peano's 1889 work, instead of figuring out what Peano's notation for derivations means, claims in his introduction (p. 84) that there is "a grave defect. The formulas are simply listed, not derived; and they could not be derived, because no rules of inference are given... he does not have any rule that would play the role of the rule of detachment." Little is needed to see that Peano's derivations are instead constructed purely formally, with a notation as explicit as one can desire, by the application of axiom instances and implication eliminations.

After the above theorem numbered 11 in Peano, there follow other very simple consequences about the equality relation, numbered 12-17. Next comes the definition: Note. This definition has to be read as follows: if a and b are numbers, and if (a

+ b) + 1 has a sense (that is, if a + b is a number) but a + (b + 1)
has not yet been defined, then a + (b + 1) signifies the number that follows a + b.

Peano gives as examples of the use of the definition formal computations of the values a + 2 and a + 3, written as:

a + 2 = a + (1 + 1) = (a + 1) + 1 a + 3 = a + (2 + 1) = (a + 2) + 1
Combining these two, we get:

a + 3 = a + (2 + 1) = (a + 2) + 1 = (a + (1 + 1) + 1 = ((a + 1) + 1) + 1
Now begins a section with theorems, clearly ones suggested by those in Grassmann, and with inductive proofs. Number 19 shows that natural numbers are closed with respect to addition, number 22 is a principle of replacement of equals in a sum, by which a = b ⊃ a + c = b + c, and 23 is the associative law. To arrive at commutativity, Peano proves first as 24 the lemma 1 + a = a + 1, then finishes with 25 that is commutativity of addition to 28 that is replacement at both arguments in sums, a = b . c = d ⊃ a + c = b + d. The part on natural numbers is finished by sections on the recursive definition and basic properties of subtraction, multiplication, exponentiation, and division, all of it following Grassmann's order of things in definitions and theorems to be proved ( § § 2-6).

Peano adds the consideration of classes to Grassmann, and therefore he has operations such as M for "the maximum among. . . ," and the same inverted for minimum. Thus, he expresses Euclid's result about the infinity of primes numbers as result 23 in § 3, with N p standing for the class of prime numbers:

23.

M.N p := Λ

Here Λ is the sign of absurdity or the empty class. The whole is read as something like "the maximum among prime numbers is equal to an empty class." Van Heijenoort's comments on recursive definition in Peano are also flawed, though not as terribly as those about deduction. He writes about Peano's definition of addition and multiplication (p. 83): Peano . . . puts them under the heading "Definitions", although they do not satisfy his own statement on that score, namely, that the right side of a definitional equation is "an aggregate of signs having a known meaning".

When introducing his primitive signs for arithmetic, Peano enlisted unity, notation 1, and a plus 1, notation a + 1. Thus, the sum of two numbers was not a basic notion, but just the successor, and definition 18 laid down what the addition of a successor b + 1 to another number means, in terms of his primitive notions. Peano explained the matter carefully in the note after definition 18, cited above. If, as Peano assumes, a + b is a number, i.e., if a + b ε N, then even (a + b) + 1 ε N, so the definiens "has a meaning" as Peano writes, and one really wonders what Van Heijenoort may have been thinking here, if anything. Peano's misfortune was perhaps to use the same notation for the operation of a successor and for an arbitrary sum.

The notation for natural numbers and their operations got clearly improved in the project "Formulario mathematico," a series of five versions of a book in which mathematics was to be developed within Peano's formalism. The title amounts to something like "Formula collection for mathematics", published in four French versions between 1895 and 1903 with the title Formulaire de Mathématiques and Formulaire Mathématique, and the fifth and last in Peano's own artificial language latino sine flessione as the Formulario Mathematico (1908). (N.B. one might wonder what else "Latin without inflexions" could be than Italian slightly contorted.)

In the Formulario of 1901, there is a clear stylized implication symbol, identical to one used here, and also the existential quantifier, an inverted upper case E, but just the axiom by which an instance gives existence (p. 28). The natural numbers begin with 0, and the successor is written as a+, "the number that comes after a, the successor of a, a plus," as if the second summand had been left blank (p. 39). The recursion equations for sum are (p.

Skolem's recursive arithmetic

Thoralf Skolem (1887Skolem ( -1963) ) became aware of the Frege-Russell tradition of logic only in 1919; his reaction to Russell's universal and existential quantifiers was one of rejection, with an alternative quantifier-free theory of arithmetic as based on recursive definitions. The work got published only in 1923 in a rather obscure place, having been written in the Fall of 1919 but rejected by the prestigious journal Acta Mathematica. Nevertheless, it found its readers, Paul Bernays in particular.

Skolem's motivation for developing quantifier-free arithmetic comes out when defines the notion of divisibility D(a, b), with Σ x the Schröderian notation for the existential quantifier (p. 160):

D(a, b) ≡ Σ x (a = bx)
The crucial observation is: Such a definition refers to an infinite -and that is to say unexecutable -work, for the criterion of divisibility consists in trying out, the whole series of numbers through, whether one can find a number x such that a = bx obtains.

Skolem notes at once that the definition can be given by the use of bounded quantifiers: (p. 161):

D(a, b) ≡ a 1 x (a = bx) ≡ ((a = b) + (a = 2b) + (a = 3b) + • • • + (a = ba)).
The bound variable x has a finite upper bound, and Skolem concludes: Therefore this definition gives us a finite criterion of divisibility: one can determine in each case through a finite work -a finite number of operations -whether the proposition D(a, b) holds or not.

Skolem's dissatisfaction with Russell's quantifiers was not just that: In Frege and Russell, there is a totally failed attempt at founding the basic concepts of arithmetic on a heavy logical apparatus. Arithmetic based on recursive definitions, absent from Frege's and Russell's involved theories that don't lead anywhere, is the right way for Skolem. In a paper titled The development of recursive arithmetic of 1947 Skolem writes about his primitive recursive arithmetic (p. 500):

After having studied the Principia Mathematica (Russell-Whitehead 1910-13) in 1919 I discovered that a great part of ordinary number theory could be developed without quantifiers. . . A paper containing my considerations was published in 1923, and is so far as I know the first investigation in recursive number theory. The utterance of H. B. [START_REF] Curry | A formalization of recursive arithmetic[END_REF] that the recursive arithmetic can be traced back to Dedekind and Peano seems to me rather strange, because the researches of these men had another purpose than to avoid the use of quantifiers.

This passage contains an oddity, namely, Dedekind and Peano had no theory of quantifiers at their disposal around 1890, even less to avoid, as that became accessible only through the very same Principia to which Skolem refers. Skolem is clearly upset by Curry's remark, a brief one (1941, p. 263): "Such a treatment of arithmetic was initiated by Skolem -although the essential ideas were already in Dedekind and Peano."

A later paper of Skolem's, The logical background of arithmetic of 1955, contains what Skolem takes to be "the most important views concerning the logical nature of arithmetic which were set forth in the latter half of the 19th century" (p. 541). The only 19th century figure mentioned is Dedekind. However, a reading of Skolem's 1923 paper, in comparison to the treatments of Grassmann, Peano, and Schröder, reveals similarities that are too striking to be casual coincidences. It is good to keep in mind that all of Skolem's early work was based on Schröder's Vorlesungen über die Algebra der Logik. The beginnings of Schröder's approach are already seen in the earlier Lehrbuch der Arithmetik und Algebra, alongside its clear exposition of Grassmann's recursive arithmetic. Finally, Peano's 1889 presentation of arithmetic follows strictly Grassmann so that Peano would have been a possible source for Skolem, despite his belittlement of Peano's present! ation of recursive arithmetic. Skolem's order of things is indeed almost identical to Peano's, with just subtraction treated after order and product, as in Schröder's presentation. The last-mentioned has many more topics because of the inclusion of the "independent treatment." Dedekind, whose little treatise Was sind und was sollen die Zahlen? of 1888 was certainly known to Skolem, has on the very first side the following:

Of the literature known to me I mention the exemplary Lehrbuch der Arithmetik und Algebra of Ernst Schröder's (Leipzig 1873) in which one finds even a list of the literature.

The mathematics library of the University of Oslo has had a copy of Schröder's 1873 book in addition to the extensive three-volume work on algebraic logic, the former lost not very long ago as I found out during a visit in May 2015. Skolem had put many years into the study and development of Schröder's algebraic logic. It would be very strange if as a student in Oslo he had not at least glanced through a praised book on arithmetic by the same author, then perhaps to forget where the basic ideas of recursive arithmetic came from.

Computation turned into deduction

The close to hundred-page chapter 7 on recursive arithmetic in the Grundlagen der Mathematik was the first systematic presentation of the topic. It owes a lot to Skolem's 1923 paper, but Bernays refers even to Peano's Formulario in the last 1908 edition, to Peano's original work of 1889, and to [START_REF] Dedekind | Was sind und was sollen die Zahlen?[END_REF].

There is a wonderful, clear insight in the beginning pages of the chapter, namely that the recursive definition of basic arithmetic operations turns computation into deduction, repeated several times. The first one was quoted above in the introductory section. Here are another two (p. 290, p. 292):

If c is a numeral, the computation of the value of f (a, . . . , t, x) is already completely formalized through the derivation of the equation f (a, . . . , t, x) = c

We can reconstruct completely the recursive procedure of computation of finitary number theory in our formalism, through the deductive application of the recursion equations.

In § 6, Bernays had given a consistency proof for a weak system of arithmetic that contains no recursive definitions. An example is given that shows how the consistency result can go lost under the addition of recursive definitions, with the more general conclusion (p. 301)

The situation found here can be set straight also from the intuitive point of view. A system of two equations of the form

f (0) = a, f (n ) = b(n, f (n))
puts a requirement on the function f (n). Whether it is satisfiable is not revealed by the structure of the recursion equations themselves, but depends instead on the characteristic properties of the successor function, namely that this function never leads to the value 0, and that two different argument values always correspond to two different values of the successor function.

Therefore the admission of recursive definitions amounts to an implicit characterization of the successor function.

The insight leads Bernays to assume that Peano's two infinity axioms can be derived by recursive definitions (pp. 302-303). The first infinity axiom a 0 can indeed be derived from 0 0 and the function Bernays designates by α (p. 302):

α(0) = 0 α(n ) = 0
The equality axiom gives a = 0 ⇒ α(a ) = α(0), then the recursion equations 0 = 0 against the axiom 0 0, so that a 0 follows.

The second infinity axiom a = b ⇒ a = b is derived by the predecessor function δ in the now standard way (p. 302):

δ(0) = 0 δ(n ) = n
The equality axiom gives again a = b ⇒ δ(a ) = δ(b ), and the second recursion equation then a = b.

It is worth while to compare Bernays' interpretation to that of Dedekind. In the latter, the first infinity axiom shows that the image of N under the successor function is a proper subset of N, the second axiom gives a one-to-one correspondence between this subset and and N, so Dedekind's two clauses for the infinity of a set are satisfied. In Bernays, instead, the second axiom guarantees that when in a recursive call the step back from a successor n is taken, the new argument n of the recursive function is unique. Similarly, the first axiom just tells that recursive call ends when 0 is reached.

The appearance of the first volume of the Grundlagen made formal computation a clearly defined topic of its own. Progress in the theory of computability was remarkable fast, with several equivalent definitions of the notion of a recursive function, Church's thesis, and Turing's fundamental result about the undecidability of the halting problem given by 1936.

Note added in proof: A referee has pointed out that the recursive methods in combinatorics of Section 3 above can be traced back to the work of C. F. Hindenburg from the 1790s on.

  7 + 5 = 7 + (4 + 1) = 7 + (1 + 4) = (7 + 1) + 4 def defGrassmann 1861: 7 + 5 = 7 + (4 + 1) = (7 + 4) + 1

  15. Explanation. If a and b are arbitrary members of the basic sequence, one understands with the sum a + b that member of the basic sequence for which the formula a + (b + e) = a + b + e holds.

  22. a + (b + c) = a + b + c. "Instead of adding a sum one can add the summands step by step," or "instead of adding two quantities step by step, one can add their sums." Proof (inductorily in relation to c). Assume formula 22 to hold for whatever value of c, then we have a + [b + (c + e)] = a + [b + c + e] (by 15). = a + (b + c) + e (by 15). = a + b + c + e (by assumption). = a + b + (c + e) (by 15).

  now an instance of Grassmann's recursive definition of product by the equation a • (b + 1) = a • b + a, together with equation 52. Both equations are present in Schultz, but as "corollaries" instead of definitions.

  εN. ⊃ . a + (b + 1) = (a + b) + 1. Peano notes (p. 95):

  40): •1 a N 0 . ⊃ . a + 0 = a •2 a, b N 0 . ⊃ . a + (b+) = (a + b)+ The definition 1 = 0+ gives now a + 1 = a + (0+) = (a + 0)+ = a+ and a + (b + 1) = (a + b) + 1.

  . Since m has a divisor n ( § 57); we have m = n + n + . . . . ( § 53. Cor. 1). Let then n be composite; then it again has a divisor r and we have again n = r + r + . . . . , consequently m = r +r + . . . . +r +r + . . . . . Were r again composite; then r would again have a divisor u, and we would have r = u+u+ . . . . , consequently m = u+u+ . . . . +u+u+ . . . . +u+u+ . . . .

	Then, had m no prime number as a divisor, then each new divisor would have each time again
	a divisor without end, consequently m would be a sum of infinitely many whole numbers,
	whereby it would be infinitely great ( § 15). Because this is against the assumption, it must
	have a prime number as a divisor.

The German, set in fraktur, is too beautiful to be left just in translation: Auf diese Weise findet man durch ein recurrirendes Verfahren, welches ohne alle Anschauung, rein mechanisch vor sich geht, unzweideutig jede Summe zweier Zahlen.


Nicola Liberati
email: liberati.nicola@gmail.com

From information to perception The new design of the emerging computer technologies and its effects

Keywords: Phenomenology, Post-phenomenology, Philosophy of Technology, Wearable Computers, Augmented Reality

des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Introduction

The aim of this work is to introduce the elements we need in order to be able to analyse the new emerging digital technologies, focussing on the novelties they introduce.

The present work finds its reason in the idea we might be so much obsessed with issue like the privacy of our information and our data, that we misplace the focus our research on how the new technologies relate to these aspects. Therefore, we are at risk to be blind to alternative analyses. This work is an attempt to open the door to a different kind of approach which can highlight more urgent aspects of these technologies and the effects they can have on our society.

The work will be structured in two main parts:

1. Section 2 will take into account the recent development of computer devices in order to make clear the new trend that computer scientists are following.

In this part we will focus on the main elements which changed during the development of these technologies. 2. Section 3 will focus on phenomenology and post-phenomenology, in order to tackle the novel elements of these devices by following the new features they are proposing. Here we will focus the attention on the term "transparent" and on the meaning of being a transparent technology, in order to understand the path followed by the development of these devices and to identify where to focus for a better understanding of what they bring about.

2 Computers design through time

"Previous" computers' design

To better understand in which direction we are moving in the field of computer design, we need to identify the kind of development we had in the past in this field. A brief dip into history 1 may allow us to highlight the crucial elements for our analysis, and in fact to call for a phenomenological analysis. The design of computers changed over time. [START_REF] Ahonen | Digital Korea: Convergence of Broadband Internet, 3G Cell Phones[END_REF] As late as in de middle of the 1960s Gordon Moore could set the agenda for increasing processing power and memory capacity for integrated circuits as the main target. And indeed he was in a position, viz. key manufacturer of ic's, to make such a prediction, that came to be dubbed a "law". [START_REF] Ballagas | The smart phone: A ubiquitous input device[END_REF] Western society face incredible blooming times where computers acquired an ever increasing power. Not only did the devices become not more powerful, but even much cheaper. By the 1980 these became available to a wider public, and penetrated the homes. [START_REF] Billinghurst | A survey of augmented reality[END_REF] Simultaneously data storage became smaller and cheaper, and the possibility grew of locally maintaining big archives and databases. [START_REF] Campbell-Kelly | Computer: A History of the Information Machine[END_REF] In parallel, the rapid development of digital communication links made [START_REF] Ahonen | Mobile As 7th of the Mass Media: Cellphone, Cameraphone, Iphone, Smartphone[END_REF] A more detailed analysis would require much more space than a section of an article. [START_REF] Ahonen | Digital Korea: Convergence of Broadband Internet, 3G Cell Phones[END_REF] Cf. [5] or [6]. [START_REF] Ballagas | The smart phone: A ubiquitous input device[END_REF] See [27] and [19]. [START_REF] Billinghurst | A survey of augmented reality[END_REF] According to the U.S. Census the use of computers from 1984 to 2011 rise from 8.2% to 75.6% ( [34]). 5 "Technology pundits applaud this "substitution of bits for atoms" associated with digital technologies and suggested that the 'future,' will be fueled by some vague and ideal sense of digitality" ([8, p.94]).

possible the creation of a digital communication network system, connecting nodes geographically spread around the globe, allowing the rapid exchange of huge amounts of information worldwide. It was possible to have a digital net touching and connecting every single element of our everyday world. [START_REF] Campbell-Kelly | From Mainframes to Smartphones. A history of the International Computer Industry[END_REF] The computer was therefore at the same time an instrument to access this massive and ever increasing power and a door to enter a huge underlying digital world.

This main idea can be easily found in the cyberpunk movement as witnessed in novels written by William Gibson in the 1980s, where the characters would immerse themselves into a cyber digital world created inside the computers. [START_REF] Davies | Osmose[END_REF] The protagonist were able to create this digital electronic second world ruled by bits of information. Therefore, even if virtual reality was technically not advance enough to make it perceptually evident -because, for example, the head mount display, at that time, was not so advanced as the cyberpunk movement would have loved -, it was an immersion in a second, different world.

Computer design had ny that time shifted from a single big computer (mainframe), with many distributed terminals, to a multitude of smaller devices. Computers became "personal". Everyone was able to have a computer in one's own apartment. The computing power became available to everybody. However, even if they became accessible from the private space of their own apartments, these devices were still related to the idea of a door to enter this digital new world. The "only" difference was that everyone had their own private entry point. Therefore, even if the availability of personal computers is a quite important element for their distribution among people and it changes its use, it merely change the idea of the computer as an access to another second digital world.

However personal the computer, storing and processing data remained the dominant activities of the new devices. The main innovation provided was the possibility of creating this digital framework and the capability of fast and efficient digitisation of most of the elements of our world. The attention of the designer (and of the users) was chiefly oriented towards the data involved in such a process and in the way of being rapidly processed by the devices.

Yet, this is just one aspect of these technologies an captured by Moore's prediction exponential growth of computing power.

The new computers' design

The present development of computer has ceased to follow this trend.

First of all, in the previous generations of computers progress and innovation was defined in therms of increasing the computing power. Today, the fit of Moore's law with the actual empirical data is problematic.

6 "As for the convergence and globalisation of regional economies, this is only a macroscopic effect of the more fundamental phenomenon represented by the development of a world-wide system of digital communication, through which information can be exchanged anywhere, in real time, constantly, cheaply and reliably." ([9, p.3]). 7 See [11]; [12]; [37]; [24].

The computers can no longer follow the massive development in the computing power anymore and the trend is rapidly slowing down8 in spite of industry effort to compensate through the implementation of new nonstandard components. [START_REF] Floridi | Philosophy and Computing: An Introduction[END_REF] Secondly, and more importantly, even the very way these technologies were perceived has changed drastically. From being devices used as a door to the digital world and a mean to access the computing power, they began to be seen more as "ubiquitous" and intertwined with everyday life.

Since the 90's,10 in the heydays of the personal computer, Mark Weiser at Xerox PARC at Palo Alto predicted the age of the personal computer was about to end [START_REF] Gibson | Burning Chrome[END_REF] with the sudden change in the design of these devices and their perceived way of fitting in our everyday lives.

Even if the personal computer played an important role in the pervasiveness of these devices, it did not change the mentality of having a special place dedicated to its use. The computers still required attention and an explicit action to use them. With Weiser's idea, instead of being fixed12 devices requiring a monopoly on the attention of the user, [START_REF] Huang | Moore's law is dying (and that could be good)[END_REF] the new devices should have been designed to be invisible, [START_REF] Husserl | Logische Untersuchungen. Zweiter Band, Erster Teil, Husserliana[END_REF] and ubiquitous. [START_REF] Ihde | Technology and the lifeworld. From garden to earth[END_REF] According to this idea the most "intelligent" design for a computer is not the one which forces the subject to use it dragging him into a second digital world where he can perform some actions, but the one which is completely invisible to the subject and which acts in the background. [START_REF] Ihde | If phenomenology is an albatross, is postphenomenology possible?[END_REF] This computer has to allow the subject to focus its attention on the actual everyday life which is running in the surrounding world and not to force him to sit on a chair and to type strings of text on a keyboard or drive a mouse.

The device should not be the focal point of the subject, but it should be just silently working, unnoticed, in the back of the scene. For that reason Weiser coined the term "ubiquitous computing" in order to highlight the computer's non invasive way to be present in the surroundings, being part of it.

A classic example of such a device is the smartphone. This device, so important today that someone defined it the 7th mass media, [START_REF] Ihde | Introduction: Postphenomenological research[END_REF] is not only constantly with us, but it allows many various functions to be always active in the background [START_REF] Ihde | Postpenomenolgy and technoscience[END_REF] . The smartphones are not therefore mere communication devices which allow you to be in touch with other people, being able to "move" with you. They have sensors which can record the subject's spatial position and track its movements or gather and store other information. [START_REF]Intel Corporation: Excerpts from A Conversation with Gordon Moore: Moore's Law[END_REF] These "simple" additional functions are an indication of the power that these devices acquire by being always with us and making us always "connected" with other people, but also being always strictly intertwined with us and with our common activities.

Still, even if the smartphone can be already reasonably considered an "ubiquitous" device, as some of the installed applications work autonomously, [START_REF] Liberati | Improving the embodiment relations by means of phenomenological analysis on the "reality" of ARs[END_REF] without requiring the attention of the subject, the majority of the applications are still calling for a complete subject's attention, or a good part of it. Many of them require a look, often more than a flash, to the screen and the use of the fingers to click on an icon, still a relic of the older keyboard. In too many cases the way we interact with them is still too conscious and definitely too explicit. [START_REF] Liberati | Augmented reality and ubiquitous computing: the hidden potentialities of augmented reality[END_REF] A further step in this evolution are the wearable computers. These computers are designed to be so small as to become part of our own clothes or part of everyday objects we are used to use. If the smartphones had just some functions designed to be completely out of the focal point of attention of the subject, these wearable technologies are fully designed to be so. [START_REF] Liberati | Augmented "Ouch!". How to create intersubjective augmented objects into which we can bump[END_REF] 17 See [1]; [2]. Even if Tony Ahonen defined the mobile device as the 7th new mass medium and. not the smartphone, we can think of it as an extension of the mobile devices and so as an extension or an evolution of the mobile phone. [START_REF] Ihde | Postpenomenolgy and technoscience[END_REF] For applications on smartphones working as ubiquitous computing See [3]; [29]; [26]. [START_REF]Intel Corporation: Excerpts from A Conversation with Gordon Moore: Moore's Law[END_REF] See the Apple App Health. "Heart rate, calories burned, blood sugar, cholesterol -your health and fitness apps are great at collecting all that data." (See http: //www.apple.com/ios/health/ accessed December 23 2015). [START_REF] Liberati | Improving the embodiment relations by means of phenomenological analysis on the "reality" of ARs[END_REF] For example the application Health by Apple or any other applications working in the background and allowing the device to track the subject life. [START_REF] Liberati | Augmented reality and ubiquitous computing: the hidden potentialities of augmented reality[END_REF] For example, it is quite indicative there are campaigns against the danger in using the smartphones while walking because it induces the distraction of the subject who does not pay attention of what happens in the street. See for example, the au campaign https://youtu.be/wEXVZwcld74 (accessed November 24 2015) or the mobile app by Docomo which locks the screen of the smartphone if the subject is walking "危険 です。歩きスマホ[It is dangerous. Stop using smartphone while walking]" or the famous side-walk in Washington D.C. dedicated to smartphones users which points out the risk in walking while using the device "CELLPHONES: WALK IN THIS LANE AT YOUR OWN RISK". [START_REF] Liberati | Augmented "Ouch!". How to create intersubjective augmented objects into which we can bump[END_REF] See [21].

They are designed to be worn by the subject and to be intertwined completely with him by becoming invisible to the eyes and by working even if the subject has no idea of their activity.

There are many different devices which have been already released, or which are going to be put on the market soon:

watches like the Apple Watch, [START_REF] Liberati | Technology, phenomenology and the everyday world: A phenomenological analysis on how technologies mould our world[END_REF] rings like the RingU, [START_REF] Longo | Johnny mnemonic[END_REF] and fashion bracialets like the CUFF. [START_REF] Mack | The multiple lives of Moore's law. why Gordon Moore's grand prediction has endured for 50 years[END_REF] Perhaps the most famous one is the Apple Watch, which was recently lunched on the market in March 2015.

This device is designed to be active without the attention of the subject and to record peculiar information about their actions and about their bodily inner activities, as the recording of the user's heart beats. [START_REF] Marinagi | Employing ubiquitous computing devices and technologies in the higher education classroom of the future[END_REF] Therefore, the innovations offered by such devices are not related to the mere computing power density, which is at most responsible of their minimal physical dimension, but they are much more related to the way the users interact with the computer and to the way these devices are intertwined with the subject's everyday activities.

Moreover, there is another important innovation related to the interface. The classic personal computer is designed to induce an immersion into the digital world by making the subject completely lost in the activities displayed on the monitor. The concept of cyberspace actually just expands this immersion excluding every kind of spatial limit or physical border. The subject simply immerses themselves in a completely different environment. [START_REF] Moore | Cramming more components onto integrated circuits[END_REF] This simply creates a mere digital duplicate of our world. [START_REF] Moran | From the Natural Attitude to the Life-World[END_REF] This is completely opposite to the goal of having a computer intertwined within the everyday world.

Even in the case of the visualisation of digital 3D objects, the new technologies tend to make an intertwinement between the digital and the real by bring the digital objects into our everyday world. For example, Augmented Reality (AR) allows the subject to directly perceive the digital objects as part of their everyday surroundings. [START_REF] Roussos | Enabling pervasive computing with smart phones[END_REF] So, thanks to this technology, it is possible to have 3D objects which start to "dwell" our environment and which are capable of being seen and "touched" by subjects as if they were really part of the everyday world. [START_REF] Liberati | Technology, phenomenology and the everyday world: A phenomenological analysis on how technologies mould our world[END_REF] See http://www.apple.com/watch/ (accessed December 23 2015). [START_REF] Longo | Johnny mnemonic[END_REF] See http://mixedrealitylab.org/projects/all-projects/ringu/ (accessed December 23 2015). [START_REF] Mack | The multiple lives of Moore's law. why Gordon Moore's grand prediction has endured for 50 years[END_REF] See https://cuff.io/ (accessed December 23 2015). [START_REF] Marinagi | Employing ubiquitous computing devices and technologies in the higher education classroom of the future[END_REF] See https://support.apple.com/en-ap/HT204666 (accessed December 23 2015). [START_REF] Moore | Cramming more components onto integrated circuits[END_REF] See [7]. [START_REF] Moran | From the Natural Attitude to the Life-World[END_REF] See Second Life. http://secondlife.com/ (accessed December 23 2015); [35]). [START_REF] Roussos | Enabling pervasive computing with smart phones[END_REF] See [4]; [10].

For example, the device Spaceglasses by META [START_REF]Postphenomenology. A critical companion to Ihde[END_REF] has a depth camera mounted on the top of the frame which allows the capture the spatial position of the subject's hands. In this way it enables the interaction between the hand of the user and the digital objects when the physical spatial position of a hand gets close to the digital position of the object. Therefore, they manage to create a direct interaction between the subject's hand gestures and the digital objects visualized in front of them. The subject can therefore grab the object, literally stretch it and move it.

Again, as in the previous case, the innovation is not related to the computing power of the devices, but to the user interface and to the way the device is designed in order to merge digital and real world.

For these new devices the way of being in relation with the subjects and the way the subjects live with them are much more important than the actual device's capability of dealing with information.

Phenomenology into play

In philosophy, in the case of phenomenology, we had the same kind of shift of attention as well. Phenomenology is not concerned with the "true" nature of an object, but with the way the object appears, the way the subject and the object relate. It does not study the object as the natural sciences, like Physics or Chemistry, do, but it analyses the object starting from the lived experiences of the subjects and how they live in the world. [START_REF]Husserl and Intentionality[END_REF] This shift of attention from "what" is the true nature of the object to "how" it is in relation to the subject describes exactly the actual turn we are facing in the design of the new computer technologies.

In their design the focal point is not the improvement of what is "inside" them such as their computing power, but the focus is on changing the way the subjects act and live with them and so on the way they are related to each others.

Post-phenomenology 32 makes the similarity even clearer because it directly tackles the relation between subject and object, mediated by a technology. [START_REF]More than Moore Technologies for Next Generation Computer Design[END_REF] It studies the way the subject lives in a world using technologies which is the main interest of these technologies. [START_REF] Census | Computer and internet use in the united states[END_REF] 30 See https://www.getameta.com (accessed December 23 2015). [START_REF]Husserl and Intentionality[END_REF] See [28]. [START_REF] Takács | Intentionality and objectification -Husserl and Simmel on the cognitive and social conditions of experience[END_REF] I identify with this term the philosophy created by Don Ihde which is a phenomenological analysis on technology and how it acts in relation to the subject. See [15], [16]; [30]; [18]; [17]. [START_REF]More than Moore Technologies for Next Generation Computer Design[END_REF] Phenomenology and post-phenomenology seem to be the the view required to understand this shift. [START_REF] Census | Computer and internet use in the united states[END_REF] We are interested in post-phenomenology for its attention on the relations between subject and technology at the perceptual level without focussing on the agency related to these technologies. Thus, even if post-phenomenology focusses on the ethical agency of the technological artefact, we will limit our study to the modification of the perceptual capabilities of the subjects.

Post-phenomenology states it is possible to have a technology which is in an embodiment relation with the subject. In such a case the technology seems to "disappear" and to act in a perfect "symbiosis" with the subject [START_REF] Varvello | Is there life in Second Life?[END_REF] and it produces an action which is the result of a perfect merge between subject and technology. The intentionality of the subject flows freely from the subject toward the object without being stopped by the technology.

Therefore, in this case, instead of having a "perceptual pole" composed of the simple subject, we have a twofold pole composed of subject plus the technology.

P ercpetual P ole

Subject → Object ⇓ (Subject -T echnology)

P ercpetual P ole → Object
A pair of glasses is a classic example of a technology which is in an embodiment relation with the subject. The user does not pay attention to the device at all. His goals lay completely outside the technology and he acts and perceives through it without looking at it directly. The focus of the attention is the world around the subject and not the pair of glasses posed on his nose. The glasses, thanks to these elements, are "transparent".

The ability to make the device transparent for the user in order to have a subject who freely lives in the everyday world without caring too much to the technologies acting in it is exactly what researchers are trying to design. Therefore, it is not a surprise that the design of these new technologies tends to reproduce something very close to a pair of glasses. [START_REF] Verbeek | What things do. Philosophical reflections on technology, agency, and design[END_REF] What the researchers want is what they can already see existing in a pair of classic glasses. Therefore, they are trying to bring these elements to their devices by mimicking the glasseslike design because the "transparency" of this technology is what they look for.

However, we need to go more deeply into the analysis in order to fully appreciate the term "transparency", which seems to be the key element for the embodiment relations in post-phenomenology and for these new technologies.

On "Transparency"

The "transparency" is achieved thanks to two different aspects, or more precisely thanks to two different kinds of "transparency", [START_REF] Wachowski | The matrix[END_REF] and both of them are strictly related to the idea of intentionality we find in Husserl. [START_REF] Weiser | The computer for the 21st century[END_REF] 35 See [15]. [START_REF] Verbeek | What things do. Philosophical reflections on technology, agency, and design[END_REF] See GoogleGlass (https://www.google.co.jp/glass/start/) or Hololens by Microsoft (http://www.microsoft.com/microsoft-hololens/en-us) (accessed December 23 2015). [START_REF] Wachowski | The matrix[END_REF] See [23]. [START_REF] Weiser | The computer for the 21st century[END_REF] See [14]; [31]; [32].

The first one is related to the way the subject is directly intentional toward the object. The technology does not create any kind of duplicate of the "original" object, but it allows the subject to perceive it as if the technology were not there.

For example, we have this kind of transparency when we look through a pair of glasses because our intentionality is not stopped by the lenses. Therefore, even if our perception changes thanks to the modification provided by the tool used, we still perceive the object in front of us directly. [START_REF] Weiser | Hot topics-ubiquitous computing[END_REF] Differently, when we use the smartphone we do not have such a transparency. As we highlighted before, our attention is completely monopolised by the device. If we are looking for information about something around us, we are not directed toward the objects in our world, but we look at the monitor of the smartphone loosing any link with the surroundings.

The second transparency involved is related to the type of "content" the subject perceives. The object perceived through a transparent technology is a perceptual object which does not require any reading capability. [START_REF] Weiser | Some computer science issues in ubiquitous computing[END_REF] This element is quite important, especially with computer technologies because it helps to show how these technologies are not limited to the use of written codes to visualise the output. Even if they use a binary code to compute, they can generate perceptual objects like 2D images or 3D objects which do not require any reading capability by the subjects.

For example, classic glasses are transparent because they do not turn the object into a string of text, but they just change the details the subject perceives of the object. A device which provides textual information, for example, on a monitor is not transparent.

These new technologies are actually following these two transparencies, or at least they tend to do so. [START_REF] Weiser | The coming age of calm technology[END_REF] Wearable computers aim to be "active" without being noticed by the subject and without forcing them to expressively direct their attention toward them. They allow you to act in your everyday world without being immersed in any digital world.

Augmented Reality follows this trend as well because it does not try to give the subject strings of text, but it allows the visualization of entire 3D objects as part of the everyday world. 42 39 This transparency is strictly connected to the one described by Ihde. See [15]. [START_REF] Weiser | Some computer science issues in ubiquitous computing[END_REF] This second transparency is closely related to the the one described by Verbeek. See [36]. [START_REF] Weiser | The coming age of calm technology[END_REF] There are many technologies which are not following any of these transparencies, but they are not the ideal technology and so they are seen by the developers as something transitional, which will be surpassed. Therefore, even if there are devices which do not follow the transparencies, we can still go on in our analysis because they are just prototypes which need to be improved according to these transparencies. See, for example, the case of the ARs and the devices providing textual information instead of 3D objects. [START_REF] Weiser | Designing calm technology[END_REF] On augmented reality and the idea of transparency and how it works to merge digital and real world See [20]; [22].

The products of the major companies today on the market are moving in such a direction. Apple bought Metaio, 43 which was one of the leader for Augmented Reality, Microsoft is developing Hololens, Google developped the GoogleGlass and CardBoard44 and now is working on the GoogleGlass v2. Moreover, many other companies are moving in this direction. 45 However, this analysis is not just oriented toward showing how these devices will look like in the near future, but it allows to study these devices starting from their peculiar novelties. It clearly shows that two main points should be taken into consideration when analysing these technologies.

The first kind of transparency shows how the device acts in this world and it does not open a door to another world. Therefore, we should not consider them as something which allows us to be connected to data or information because this is the element these devices are trying to avoid. It is not the digitalisation of this world or the capability of having a perfect digital representation of it their most important novelty, but their capability to perform actions in this world.

So we should think of them as acting in this world without any reference to what lays in the digital world of the computer.

The second transparency shows how the effects of these technology has to be taken into consideration starting from their capability of literally producing digital objects in our world. The digital objects they create are not only here in this world thanks to the first transparency, but they are visualised as common objects which do not need to be read and comprehended by the subject. Even if there is a large amount of processed data, these data are not to be conceived as string of text, but as perceptual objects. Therefore, we should think of these technologies not as tools which merely manipulate or capture data, but instead as being capable of adding digital objects to this world.

Conclusions

The first part of the work shows how the development of computer technologies is actually moving toward the intertwinement of digital and everyday world, by making the devices more transparent.

The second part shows in what this transparency consists and how we should analyse these technologies, following the novelties they are introducing.

Therefore, if the analysis on the information and data were quite efficient in the past because it tackled the most important novelty of such devices which were the enormous and never-ending increasing computing power, now we should turn our attention towards a more phenomenological point of view because it allows us to understand the novelty of these technologies in a better way, by focusing on the way they interact with the subjects.

Of course data and information are still quite important, especially with devices which are so pervasive that can track every moment of our life. However, they are not the main element of the development and so they should not be taken as the main element of our analysis as well.

We can ask ourselves if it is so important the fact that we are always connected to a network, which constantly acquires and stores data, and if the question about the of our data is the sole important element to be studied with these devices.

Maybe they are doing something more than "merely" capture our personal information like ubiquitous lurking entities.

Our world becomes digital not because computers create a digital entities underlying it, but because it directly becomes part of it by being intertwined with our common activities and by producing perceptual digital objects around us.

The world is literally becoming digital.

See[START_REF] Huang | Moore's law is dying (and that could be good)[END_REF] and[START_REF]More than Moore Technologies for Next Generation Computer Design[END_REF] on the recent developments on Moore's law.

"But this new phase of Moore's Law -what I call Moore's Law 3.0 and what others in the semiconductor industry call "more than Moore" -may not make economic sense. Integrating nonstandard components onto a chip offers many exciting opportunities for new products and capabilities."([25, p.35]).

It was present also at the end of the 80s, but the effect was received only in the following decade.

"My colleagues and I at the Xerox Palo Alto Research Center think that the idea of a "personal" computer itself is misplaced and that the vision of laptop machines, dynabooks and "knowledge navigators" is only a transitional step towards achieving the real potential of information technology" ([START_REF] Weiser | The computer for the 21st century[END_REF]).

Of course as we saw above we have the same situation with mobile devices when they are used as the fixed ones and when they monopolise the attention of the users.

"Unlike virtual reality, ubiquitous computing will integrate information displays into the everyday physical world" ([START_REF] Weiser | Hot topics-ubiquitous computing[END_REF]).

"The most profound technologies are those that disappear. They weave themselves into the fabric of everyday life until they are indistinguishable from it."[START_REF] Weiser | The computer for the 21st century[END_REF].

'Ubiquitous computing is the method of enhancing computer use by making many computers available throughout the physical environment, but making them effectively invisible to the user" ([START_REF] Weiser | Some computer science issues in ubiquitous computing[END_REF]).

[START_REF] Ihde | If phenomenology is an albatross, is postphenomenology possible?[END_REF] Technology should be in the background as a "part of the environment"([38, p.1]).See also[START_REF] Liberati | Augmented reality and ubiquitous computing: the hidden potentialities of augmented reality[END_REF];[START_REF] Weiser | The coming age of calm technology[END_REF];[START_REF] Weiser | Designing calm technology[END_REF].

See https://www.metaio.com/ (accessed December 23 2015).

See https://www.google.com/get/cardboard/ (accessed December 23 2015).

See, for example, Intel with the project Real Sense (http://www.intel.com/ content/www/us/en/architecture-and-technology/realsense-overview.html) (accessed December 23 2015).

Acknowledgements Nicola Liberati is supported by the PostDoctoral Research Fellowship of the Japan Society for the Promotion of Science (JSPS) No. P14782. The author would like to thank Prof. Gerard Alberts and the three anonymous reviewers for their insightful comments on the paper, as these comments led us to an improvement of the work.