home Biological until 1854 Formalization 1854-1937 Revolutions 1937-1951 Electronic Age
Location: http://members.tripod.de/s_ulf/csh/cshist1.html & http://www.cs.mun.ca/~ulf/csh/cshist1.html. By Ulf Schünemann since 251198. Please mail any comments.

Comprehensive History of Information and Computing
From Humans to 1854


indicates "Ulf's recommmended site", a (subjectively!) recommended link for especially good on-line information.

until 13xx A.D.: The Human Age of Information Processing

Speech is a, if not the, information processing innovation (allowing the communication of thoughts) which marks the transition from animal to human (more so than the development of a powerful brain).

Some dates about hominides, and pre-historic homo sapiens:

Neolithicum
Around 10,000 BC the ice-age ended, and in the 10th century the neolithic revolution starting in Anatolia/Assyria/Mesopotamia: hunter-gatherer societies were giving way to an agricultural way of life. The increase in food production allows larger settlements (cities), and labour specialization
Writing systems, i.e. conventional system of marks or signs that represents the utterances of a language, and hence represent information, were developed. Notat., when?[<>]: Mayan hieroglyphs - icons for words and syllables

Second Millenium BC
Algorithms for information processing (especially mathematical problems) were developed, and ``executed'' by humans. The ancient Babylonians and the Egyptians had algorithms for arithmetic and algebraic problems (square roots, trigonometric tables, polynomial equations ...).

First Millenium BC
  •  Notat., 1000 BC [<>]: the Greek alphabet of (and glyphs for) consonants and vowels, derived from the Phoenician constonantal alphabet & glyphs [<].
    Glyphs[>>]: The Greek inventory of sounds and glyphs was adapted by many European cultures:
    750 BC: Etruscians adapted Greek and/or Phoenician alphabet.
    500 BC: Romans adapted Etruscan and/or Greek alphabet to the Latin alphabet
    Other derivates of Greek alphabet: runes, Cyrillic. [
    AITL].
  • Glyphs, ca. 700 BC [<]: demotic script (for Egyptian words and syllables), a more fluent form of hieratic script (used up to 500 AD).
  • Notat., 6th cent. BC: Greeks use letters to represent notes [>]
  • Pythagoras of Samos' (569-475) school: abstract concept of numbers and geometric figures; geometrical algebra; discovered irrationals. They believed that all relations could be reduced to number relations.
  • Syntax[>]: Panini (uncertain: 520-460, India), most influential Indian grammarian, describes the grammar of Sanskrit by 4000 rules and a list of gound forms (uses symbols and abbreviations) [EML].
    Grammar[>]: The Indian tradition knows 12 schools of linguistic theories. Indian linguistics distinguish noun (subject) : verb (predicate) : preposition : particle. In India, unlike Europea, linguists investigated phonetics and morphology (word structure).
  • Grammar[<>]: Protagoras' (one of 5th cent.'s oldest and most influential sophist) distinction of three genera in Greek [EML]
  • Linguistics[>]: Greek philosphers were undecided whether language is a social convention or is derived from the nature of things [EML]
  • Meaning[>]: «Very early in traditional grammar the question about the connection between the word and the `thing', to which it refered or which it `denoted', was raised». Notably the Greek philosphers of the time of Sokrates and, after him, Platon. [EML 412].
  • Model[>]: The atomists «claimed that what exists fundamentally is material atoms and the void, and all change or alteration, such as motion, combustion, or the growth and decay of living things, is merely the rearrangement of atoms in the void» [x].
  • Plato (429-347).
    - Grammar[
    <>]: He distinguishes nouns:verbs (where ``verbs'' includes adjectives) as (main) parts of speech: nouns can be subjects, ``verbs'' describe activities or properties [EML]
    - Model[<>]: Based on the inherent difference between subjects and predicates, Plato's Theory of Forms distinguishes ``ideal'' Forms (exist independently from objects) and their Instances (have obtained their form from a Form).
  • Technology (Automaton): fine mechanics [next: relays] was advanced enough so that Archytas of Tarent (430-345) could build a flapping pigeon figure, the first automaton (according to ancient litarature) [Mey]. Other achievements of Archytas: represented tone intervals by proportions of numbers; started theoretical mechanics.
Aristotle (384-322, pupil of Plato).
1st Age of Logic[>]:  Classical Logic   (4th cent. BC - 1854) [>]
«Aristotle was the first thinker to devise a logical system» [x], combining and extending works of others: universal definitions (Socrates), reductio ad absurdum (Zeno of Elea), propositional structure and negation (Parmenides and Platon), argumentative techniques (legal reasoning and geometrical proof).
- He established the inductive method. [x]
- bivalent logic, excluded middle, non-contradiction (consistency), modal logic, temporal logic
- proposition = subject + predicate, Aristotle invents the syllogism.
- theories of opposition (contraries: 'all men are mortal' : 'no men are mortal'; and contradictories: 'all men are mortal' : 'some men are not mortal') and conversion (equipollences, entailments).

- Model[<>]: Aristotle rejected Plato's ideal forms; for him form and matter were the inseparable constituents of all existing things; and types (universals) are only obtained by abstraction (see).
Aristotle recognized is-a (generalization) and has-a (aggregation/composition) «Aristotle speaks of two fundamental kinds of division ... The first kind of division is that of genus [type] into species [subtypes]. The second [is that] of a whole into its composing parts...» [
AUOOP].
- Classific.[>]: Type derivation: The definition of a new type is based on a supertype (a larger genus) + a differentiating property. The top-level types are Aristotle's 10 logical categories substance (object), quality, relation, activity, etc, which were held to be universal (across language, logic, philosophy, biology, etc.).

- Grammar[<>]: He distinguishes noun:verb:conjunction. Verb has tempus aspect (past, present, future) [EML]
  • Meaning[<>], from 300 BC onwards: The Stoic school of philosophers was founded in Athens ca 300 BC [x]. Philosophy was divided into three parts, one of which was called `logic'. The stoicists distinguished in logic the (study of) form (that which `signifies', the refering), from the (study of) meaning (that what is `signified', the refered) [EML].
    - Grammar[<>]: «The work of Chrysippus (280-207 BC) and his pupil Diogenes of Babylon (c. 240-152 BC) is particularly important in the development of the system of parts of speech; also of case, tense, and other semantic categories» [x].
    Stoicists made progress in flexion, introduce the term "case", distinguish verbs into completed:progressing aspect, active:passive mode, transitive:intransitive Early Stoicists distinguished nouns:verbs:conjunctions:articles where nouns include adjectives (both declinated). Later, nouns were separated into appelativa:proper names. [EML].
  • Logic [precisely when?] [<>]: The Megarian and the Stoic school (leading logician: Chrysippus) elaborate full propositional logic, debate the variants of implication, and antinomy (e.g. the liar paradox) [x].
  • Axiomatization [>]: Euclid's (Alexandria; uncertain: 326-265) "Elements", the first logical treatment, by axiomatization of a branch of mathematics: geometry.
    Euclid's algorithm for the greatest common divisor.
  • Notat., around 300 BC[<>]. The Sumerian sexagesimal positional numbers are augmented by a special sign for the zero digit (but still no concept of 0 as a number).
  • 3rd century BC: Assumed origin of "Chiu-chang Suan-shu", a Chinese mathematics textbook with negative numbers and square equations.
  • Meaning, 3rd cent. BC [<>]: Eubulides of Megara's masked man fallacy is concerned with referentially opaque contexts: 'You say you know your brother, but that masked man is your brother, and you did not know him' [x].
    He is also an early propounder of the liar paradox 'I am lying' [x].
  • Algorithm: Archimedes (287-212, Syracuse) perfected an exhaustion-based method of integration.
  • Algorithm: Eratosthenes' (276-194, Alexandria) Sieve of Eratosthenes for finding prime numbers.
  • Linguistics, 2nd cent. BC [<>]: Dispute whether language is primarily regular ("analogists") or irregular ("anomalists") [EML].
  • Grammar[<>]: Dionysius Thrax's (late 2nd cent. BC Alexandria, pupil of Aristarchus (ca 217-145 BC) x]) first comprehensive and systematic grammatical description of the occident (except for syntax) (only first half authentic? [x]). He distinguishes noun:verb:conjunction:article:adverb:particip:pronoun:preposition. (Greek syntax was described less systematically by Appolonius Dyscolus 2nd cent. AD) [EML]
  • Published reports on musical automata reach back to 2nd century BC [Mus].
  • Theory: Geminus (130-70, Rhodos) deals with the logical subdivisions of mathematics, considers the concepts of 'hypothesis', 'theorem', 'postulate', 'axiom', 'line', 'surface', 'figure', 'angle' etc.
1st century BC or AD China: iteration ``invented'' in "Nine Chapters of the Mathematical Art" (author unknown) for calculation of fiscal problems [Le Monde, March 24, 1999]. It gives the first known example of matrix method for systems of linear equations (Gaussian elimination): ``subtract as many times as possible ...''
  • Theory: Nicomachus of Gerasa (60-120, Jordan) treated arithmetic as a separate topic from geometry (but gives no abstract proofs of his theorems, like Euclide). Contains the first multiplication table in a Greek text. Contains Arabic numerals, not Greek ones.
  • Algorithm, 3rd century AD: Diophantos of Alexandria's (200-284) "Arithmetica" gives numerical solutions of determinate and indeterminate (linear and square[Math]) equations.
  • Principle, 499 AD (India) [<>]: Decimal positional number system and arithmetics[<>] used by Aryabhata the Elder (India, 476-550) (Gurjara inscription 595) [HN].
    Notat.[<>]: Ten digits including zero "o" for the empty position (Gualori inscription 876) [Math].
    Brahmagupta (India, 598-670) calculates with the zero as a number and with fractions [Math].
 Glyphs[<>] in the Roman Empire [dtv]:
  • Originally, Latin is written as majuscles, perfected in form of the capitalis quadrata during the Emperors' time.
  • 4th cent.: uncial script, a rounded majuscle script, appeared and prevailed over capitalis quadrata in the 5th cent.
  • 4th - 5th cent.: the long-in-use cursive script for faster writing of Latin develops into a minuscule script (going above and below the base line).
  • Tironic notes - a kind of stenography.

    In Europe: The migration of nations, end of the Roman Empire.

    Glyphs[<>] in Europe [dtv]:

  • In Merowingian time, script became narrower and taller; ligatures like "æ" = a + e came into use.
  • 800: newly developed rounded Carolingian minuscles, spread over Europe (reaching the Vatican in mid-11th cent.)
    Muhammad ibn-Musa Al-Khowarizmi (780-850, Tashkent cleric/mathematician, professor in Baghdad):
  • Notat.: His "Arithmetics" introduces to Arabia decimals (integers and ratios) and the four basic arithmetic operations on them [Math].
  • 830: Developed the concept of a written process to be followed to achieve some goal. Published in "[Al Kitab al muktasar fi] hisab al-jabr w'al-muqabala" [Short Book on Calculation of Restoration and Reduction, latinized: "Algebra et Almuqabala"] about quadratic equations and geometric squares describes formalized, step-by-step procedures for calculations [known as algorithms, from his name "Al-Khowarizmi"]. Also: rules for determining square roots, and sine tables.
  • 1096-1275: The Cruzades. Europe regains access to Aristotle's texts through the Arabs.
    • Logic, early 12th cent. [<>]: Peter Abelard composed an independent treatise on logic: conversion, opposition, quantity, quality, tense logic, reduction of de dicto to de re modality, ...
    • Linguistics[<>]: The area of "speculative grammar": Scholastic philosophers believed in universal common categories of logic, grammar and metaphysics. They believed that language is a product of reason, mirroring a logical system. Roger Bacon (1214-94): «Grammar is, except for accidental variations, substantially the same in all languages» [EML].
    • Grammar[<]: Scholastic philosophers distinguished noun:adjective:verb.
    • Meaning, late 12th cent. [<>]: Scholastic philosophers, like Stoicists before, were interested in language as a means for analyzing reality -- hence their interest in meaning (``modis significandi'') [EML]. «In course of the development of traditional grammer it became common to distinguish between the meaning of a word and the `thing' or `things' which the word `names'. This distinctions was expressed by medieval grammarians as follows: The form of a word (the vox-component of a dictio) means `things' due to the `concept', which is connected with the form of a word in the mind of the speaker of a language; and the 'concept' ... is the meaning of the word (the significatio).». [EML 412]. Philosophers developed supposition theory to specify the reference of a term in various propositional contexts [x] - first phase in the middle of the thirteenth century [x].
    Glyphs, 12th cent. [<>]: Gothic script is formed, breaking the rounds of uncials as capitals and Carolian minuscles as small letters (cf. the breaking of round Romanic arches to pointed Gothic arches) [dtv]
    Notat., 12th cent.: modal notation
    13th cent.: mensural notation shows tone duration (for coordinating part singing) [
    <]
    Notat.: Li Jan' [China, when?] writes decimal fraction part as index [HN]. In 1202 Leonardo Fibonacci's (1170-1250, Pisa) "Liber Abaci" introduces the Indian ``Arabian'' digits (including 0) to Europe. In the 12th/13th century, Al-Hassar and Leonardo di Pisa (ca 1170-1240) use the fraction bar for division of numbers [HN]. Jordanus Nemorarius (1225-60, Germany) used letters to replace (known?) numbers. In 1261/75 Yang Hui (1238-98, China) uses decimal fractions in the modern form.

    Notat.[<>] / Symbolism[>]: Ramon Llull (philosopher, 1235-1316, Mallorca) is a precursor of combinatorics. He tried to prove Christian dogmas using logic and complex mechanical techniques ... involving symbolic notation and combinatory diagrams to relate all forms of knowledge, including theology, philosophy, and the natural sciences.
    1272 Llull invented the idea of a machine that would produce all knowledge, by putting together words at random. He even tried to build it. He rotates concentric disks with words on them to generate sentences.
    His 1274 Ars Magna is one of the few wholly worked through and finished systems in the history of formalization of knowledge and language
    Influenced Leibniz, rejected by Swift.


  • 13xx-1820: Invention of Special Purpose Devices

    14th century: Black Death kills 25% of European population.

    This age starts with the invention of the first data processing (or programmable) machines (mechanical). After some non-algorithmic aides to arithmetics, mechanical calculators are invented, albeight not programmable. To the end several other machines implementing single algorithms are developed. And now that the decimal system was accepted the notation for arithmetic operations is developed nearly to completition.

    14th century, Netherlands: Invention of Mechanical Processors and Machine-Readable Data

    (a) Machine Type: Processor: Automatic Carillons [ribosome/calculator]:
    (b) PL, 13xx-1837/1938: Machine-Readable Data (0st gen. PL) [next: machine language]: encoded music.

    Automatic carillons read and play [next >] music encoded [in bits?] and stored by putting/removing wooden pegs in/from the 9000 holes (= 9000 bit capacity [or did the pegs have different lengths???]) of a cylinder [Mus].

    The Processor Concept:
    Processors are (pre-)programmable automata processing read-in software input of potentially arbitrary length written in some code on some physical carrier. Software input allows to prepare all the input before the start and treat it as an entity of an independant existance: It can be stored over time, reused several times and used on different automata, libraries of software input can be compiled. (We will use ``processor'' as a synonym for ``software programmable automaton'').
    Processors are the true ancestors of the computers. The remains of the processor concept are still found in current computers as the input/output unit in the Von-Neumann architecture.

    The first and until Jackard's loom (1801) the only application was in the control of music automata (they were real-time processors).
    Until Babbage's Analytical Engine (1833) the input to processors was a sequence of data. They reacted directly To each unit of input without memory of the past, and without interpreting it, i.e., there was a one to one correspondance between the elements of the input and variables (wheels, handles etc) in the automaton.

    • 1303: Chu Shih-Chieh's (1270-1330, China) transformation method for solving equations (used up to degree 14).
    • Meaning, 14th cent. [<>]: «Supposition theory is developed extensively in its second phase by logicians such as William of Ockham, Jean Buridan, Gregory of Rimini, and Albert of Saxony.» [x].
    • about 1340: William of Ockham formulates Ockham's razor, the epistemologic principle that entities should not be multiplied beyond necessity when trying to explain things [x].
    • Logic, 14th cent. [<>]: «Jean Buridan elaborates a full theory of consequences, a cross between entailments and inference rules. ...» [x].
    • Al-Kashi (1390-1450, Persia) uses fixed-point iteration to solve a cubic equation.

    Glyphs in the 15th century[<>]:

  • 1st half 15th cent.: Italian humanists form antiqua out of Roman quadratis as capitals and Carolian minuscles as small letters.
  • 1455: Gutenberg's 45-line bible brings Gothic handwriting to print.
  • Ca. 1470: Schwabacher script appeared (another kind of fracture, named after a town close to Nürnberg, Germany). Used for Luther's bible.
  • Ca. 1500: Fracture script proper was designed in Augsburg (Germany) on order of Emperor Maximilian I.

    Notat. in the 15th century: Mid 15th century in France and Italy: "p" and "m" (with or without a tilde on them) for plus and minus. In Germany "+" evolved from "&" for "et" (Latin and) and "-" from the tilde on "mio" (minus) [e.g. Johannes Widman 1489 [TEP]]; used in whole Europe since the late 16th century [HN]. Johann Müller Regiomontanus (German mathematician and astronomer, 1436-76) introduces the multiplication dot "." [HN]. In 1484, Nicolas Chuquet (1445-88, France) uses (free standing!) elevated numbers for the different powers of a unique variable in formulas [HN]. He is also the first to use (unpublished) negative numbers as coefficients, exponents and solutions. In 1492, Pellos introduces the decimal point [HN].

    Notat. in the 16th century: In 1557, Robert Recorde (Britisch medician, 1510-58) invents the equivalence symbol "=" [TEP]. In 1585, Simon Stevin (Dutch merchant and engineer, 1548-1620) makes decimals (decimal fraction [Math]) popular in Europe, and promotes decimal decimal coinage and measures. He introduces a notion for real numbers (= scientific notation with E ?), taken up by Napier[>]. And Thomas Harriot (1560-1621) invented "<" and ">", recognised negative roots and complex roots. In 1591[?], François Viète or Vieta (France, 1540-1603, advisor of Henry IV of Navarre) is one of the first to use systematically (single) letters for known and unknown quantities (vowels for unknowns, consonants for known quantities; Descartes uses letters near the beginning of the alphabet for known and near the end for unknown quantities) and uses the fraction bar for all divisions [HN]. In 1600, Adriaan van Roomen (1561-1615, Belgium, Germany) uses variable names with an elevated number for their exponentiation [HN]. (Also used by James Hume 1636 [TEP]).

  • Encod. + Crypto, 1605: A 5-bit (``five-level'') code [>] «used for cryptography by Sir Francis Bacon as far back as 1605» [Article about revised ASCII]

    Non-algorithmic aides to arithmetics begin to appear:

    1622: Invention of the Mechanical Calculator

  • Machine Type: Calculator [processors/generators].
    1622/23, William Schickard's (1592-1635, Germany) first adding machine [da Vinci's try/Pascalene] allowing more easy multi-digit multiplication, used by Kepler.
  • These calculators are non-programmable, mechanical devices realizing a built-in set of algorithms for arithmetic operations based on the primitive of incrementing (counting) numbers in decimal representation.
    Classification of adders and calculators with pictures. Their construction. How to operate them (for example, to multiply a number by 125, the user would enter the number and turn the crank 5 times, shift the carriage into the 10s position, crank 2 times, shift the carriage into the hundreds position and crank once to yield an answer). Java Applet of the 1885 Felt & Tarrant Comptometer adding machine.

    From these first experimental calculators it took until 1820 for commercial production to start. Mechanical calculator were in use until the 1960's when the were replaced by electronic calculators. Calculator are still found in current computers as the ALU (arithmetic-logical unit) of the Von-Neumann architecture.

    • Aide: [continued from]
      1624: "Gunter's scale" to multiply based on logarithms.
      1630: Richard Delamain publishes his circular slide rule.
      1632: Oughtred's circular slide rule based on two Gunter rulers aids addition, multiplication etc. Analog, accuracy about 3 digits.
      A 1654 slide rule. Slide rules were used up into the 20th century. [Java applett] How to use.
    • Notat., 1631: Oughtred [prev. episode] introduces the multiplication cross "×" [TEP] (John Wallis 1656(?) uses "×" between numbers, and no symbol between variables) [HN].
    • Notat., 1639: Stampioen de Jonghe (1610-90, Netherlands) writes "A:B = C:D" for proportions; since then "=" prevails on the continent [HN]. (Did he introduce ":" for proportions?)
    • Calculator, 1642-45: Blaise Pascal's (France, 1623-62) Pascalene [Schickard's/Leibniz's] to help tax collecting work adds and subtracts with automatic carry-over (ignorant of Shickard; French patent request (1645) and grant (1649)).
    • Notat., 1659: Johann Heinrich Rahn (Swiss) introduces ``Pell's division symbol'' "÷" [TEP] (prevails in the English world since Pell's translation 1668).
    • Linguistics, 1660[<>]: Revival of speculative grammar. The teachers of Port Royal (France) publish their grammar to prove that the structure of language is a product of reason. (1637: Richelieu founded the Académie Française to regulate vocabulary and grammar of French [EML].
    •  Notat., 1668 [<>]: Dalgarno's Characteristica Universalis or Generalis [HSem]: E.g. 'tan' = conscientia, 'tam' = ingenium, 'taf' = curiositas where 't' is for the genus of intellectual accients, and 'a' for the species of actus intellectus primi. And from 'ska' = religion: 'skaf' = worship and 'skan' = good luck. But no complete semantic decomposition.
    •  Notat., 1668 [<>]: John Wilkins' (Dean of Ripon, later Bishop of Chester) Real Characters on demand of the Royal Society as a universal script for all languages:
      • defines a systematic way to construct symbols for noun(root)s (similar to facette-based archiving). 40 superconcepts (e.g. stone) by first two letters @ up to 9 subconcepts (e.g. gem) by a consonant @ 9 species (e.g. turkis) by a vowel.
      • + derivational / flexion particles and phonetic symbols.
      • Adjectives and verbs are constructed by modification from nouns.
      Had a great impact on decyphering and understanding of ancient scripts. [Maurice Pope: The Story of Decipherment; Thames and Hudson, 1975]
    Gottfried Leibniz (1646-1716, Germany).
  • Calculator, 1673: presents Leibniz's Wheel [Pascalene/Hann's] to the Royal Society (London). It is the first four function calculator (add, sub, mult, div): multiplication by automatic repeated addition in accumulator.
  • Technology: 1694: stepped drum mechanical technology [next: pin wheel] in (another?) machine by Leibniz.
  • Notat.[<] + Principle[<>]: 1666-1679 (published 1701) he developed and strongly advocated positional binary numbers [<] and binary arithmetics influenced by a (misunderstood) Llull.
  •  1666[HSem], Notat.[<>]: Characteristica Universalis or Generalis, or Lingua Generalis - his universal ideographic script. He set out to invent a perfect writing system which would reflect systems of thought directly and thereby be readable by all human beings regardless of their mother tongues.
  • Symbolism[<>]: Leibniz persued the symbolism idea that that (correct) thoughts can be reduced to calculations. For his Ars Combinatoria, he encoded concept hierarchies into numbers to enable reasoning by calculation. «Leibniz used prime numbers to represent conceptual primitives and multiplied them together to make composite concepts. ... if one concept's number is divisible by that of a second concept. then the first concept is subsumed by the second (i.e. it is more specific)» [Ellis, Lehmann: Exploiting the induced order on type-labeled graphs for fast knowledge retrieval; in: Conceptual Structures: Current Practices; LNAI 835, 1994]
    Quote from a letter of the old Leibniz [TEP]: «Ich möchte eine Methode finden ... mit deren Hilfe sich alle Wahrheiten des Verstandes auf eine Art Rechnung zurückführen lassen. Diese könnte gleichzeitig eine Art Sprache oder allgemene Ausdrucksform sein, die sich jedoch von allen bis heute vorgeschlagenen unerscheidet, da die Zeichen und selbst die Wörter den Verstand leiten und es sich bei Fehlern (außer den Fehlern der Wirklichkeit) nur um Rechenfehler handeln würde. Zwar wäre es sehr schwierig, diese Sprache oder diese Merkmale zu erstellen oder zu erfinden, doch man könnte sie sehr einfach ohne Wörterbücher erlernen.»
  • Notat.: 1675 he introduces the " f(x)" notation for his integrals (in print 1686). (Isaac Newton wrote about his integrals introducing the dot notation in 1671, published 1736. Babbage[>] promotes Leibniz' notation in Britain).
    1678/79: He uses the proportion symbol ":" generally for divisions (prevails in continental European).
    1698: Leibniz favors multiplication dot over cross [HN].
  • 1775-1783: American Revolution [Encarta]. Colonial population at that time: approx. 2.5 million people. Black slaves: more than 500,000 (roughly 22%), Scots-Irish: ca. 250,000, Germans: ca. 200,000.
    2nd Age of Linguistics[<>]: Comparative Philology (1786-1906)
    Comparative philology establishes linguistics as a discipline separate from philosophy & logic (e.g., linguistic vs. logic categories [x]).
  • Linguistics, 1786[<>]: William Jones (British orientalist), among others, discovers the surprising similarity between old Sanskrit (India) and ancient Greek.
  • Classific.[<>]: Similarities of (European) languages were explained as result of their evolution from a common (often unknown) ancestor by different laws of sound shifts. Languages are grouped to families based on their ancestrial relationships [EML].

  • 1820-1951: The Mechanical Age of Information Processing (and Age of Electrical Communication)

    Mechanical calculators and, later, electro-mechanical calculators and data processors come into wide use.

    1820-1893: Age of Commercial Mechanical Calculators

    Over 200 years after the construction of the first mechanical calculators they become commercially successful.

    1822: Invention of the Mechanical Generator

  • Machine Type: Generator [calculator/interpreter]: Difference Engine [>]
    1819-22: Charles Babbage[>] (UK, mathematics professor at Cambridge, 1791-1871) constructs a Difference Engine prototype (conceived 21) with 6 significant decimal digits. About every 5 minutes it produces 60 members of the sequence n + n + 41. «It could perfrom only addition, subtraction, and solve polynomial equations (such as 0 = a+bx+cx2+dx3 ...).» [Ada]
    1823: Construction of the large Difference Engine for navigational tables etc with significant 20 digits starts with a government grant of £1500. Operations: add, sub, mult, div, solve polynomial equations. Planned with 25,000 parts, 8×7×3 ft, 15 to.
    In 1834 the government stops the project after £17000 and Babbage's own £6000 are spent.
    1834: Georg and Edward Scheutz (Swedish engineers) build a based on Babbage's description.
    1847-1849: designed Difference Engine II [<>] «using elegant and simplified techniques developed for the more complex Analytical EngineAddition in 4 cycles.
    1876 (five years after Babage's death): « [A]n obscure inventor called George Barnard Grant exhibited a full-sized difference engine of his own devising at the Philadelphia Centennial Fair»
    [In 1991, the London Museum of Science built it with the technology of that area]
  • The Generator Concept: A generator is a calculator with internal memory to store intermideate results and use them besides the input. This allows to produce sequences of numbers and to change behavior over time. This change could be very abrupt, which people of this time would only expect from living beings [socio-historic account of Babbage].

    Internal memory can still be found in current computers as the memory unit of the Von-Neumann architecture. [TODO: was the Difference Engine's memory a RAM?]

    1837: Invention of the Mechanical Interpreter and Machine Language

    (a) Machine Type: Interpreter [generators/computers]: Analytical Engine [next: TM]
    (b) PL, 1837/1938-5x: Machine language (1st gen. PL) [data encoding/assembly] (first realized 1938 in Z1/Z2).
    (c) Encod.: however, «[t]he details of how programs ... were to be punched onto cards is never presented in detail ...»

    During constructing the Difference Engine and inspired by automata like dancers and (mock) chess players Babbage[<>] thought about an Algebra or Formula Engine for algebraic symbolic operations.
  • Sep 1834, completed first drawings.
  • «Babbage has written several small programs for the Analytical Engine in his notebook in 1836 and 1837» «Babbage had adopted a tabular format for expressing programs» [Ada]
  • 1837, he designed the Analytical Engine a steam-driven mechanical interpreter [next: Z1/Z2] of machine instructions and data. Construction never completed. [Java applett emulator]
  • 1878: report by committee of the British Association for the Advancement of Science on the Analytical Engine: «It appears to have been primarily designed with the following general object in view -- to be coextensive with numerical synthesis and solution, without any special adaptation to a particular class of work, such as we see in the difference engine. It includes that à majori, and it can either calculate any single result, or tabulate any consecutive series of results just as well. But the absence of any speciality of adaptation is one of the leading features of the design.»
    «A large number of drawings of the machinery are also in existence. It is supposed that these are complete ... ; but, for the most part, they are not working drawings, that is to say, they are not drawings suited to be sent straight to the pattern or fitting shop, to be rendered in metal.»
    «[I]t would surprise us very much if it were found possible to obtain tenders for less than 10,000l., while it would pretty certainly cost a considerable sum to put the design in a fit state for obtaining tenders.»
  • 1880-88-96: Babbage's son completes the Mill as a stand alone.
  • 1888: Babbage's son: «I see no hope of any Analytical Engine, however useful it might be, bringing any profit to its constructor, ... Those who wish for such an engine would, I think, give it a helping hand if they could show what pecuniary benefit it would bring.»
  • The Interpreter Concept: A simple combination of processor and calculators would give a machine fed with a sequence of (paris of) numbers ni, mi producing a sequence of results ni + mi. The essentially new idea is to feed a machine not only with data but to have an algorithm as input, too: the software program. The only algorithm built into the machine is to interpret the program and execute it. (We will use ``interpreter'' as a synonym for ``software programmable processor''). The machine language of Babbage's proposed Analytical Engine was even Turing-complete, i.e., it could have calculated all computable functions.
    At the same time, for executing an algorithm step by step it was necessary to have an addressable memory (RAM) to store intermideate results. The machine is constructed by combining a generator (with the parts calculator and internal memory), and a software input automaton, and control them by a control unit driven by the interpreted program. All these four parts can still be found in current computers with the Von-Neumann architecture.

    Details of the Analytical Engine:

    References: [socio-historic account of Babbage] [Menabrea 1842: Sketch of the Analytical Engine, Babbage's 1864 autobiography] [many links]
    General Purpose/Symbolism/Computability:
    • 1840/fall 1841: Babbage[<>] presents the Analytical Engine on seminar in Turin (Italy).
    • 1842: Luigi Menabrea (mathematician, Italy's future prime minister) publishes his 1840 notes. «Menabrea ... recognized that it would be able to compute any algebraic formula properly epressed (or programmed) on the punched cards. "The cards," Menabrea wrote, "are merely a translation of algebraic formulae, or to express it better, another form of analytical notation."» [Ada]
    • Comp. Theory, 1843 [>]: Ada Augusta King, Countess of Lovelace (1815-1852, daughter of Lord Byron) translates Menabrea's paper and extends it by seven notes (more than twice as long as the paper) discussing the programming of a computer. Her program for Bernoulli numbers demonstrated «conditional branching and used two loops. It was far more ambitious and complex than any program Babbage had written ...» [Ada]
      «An important theme was the significance of the Analytical Engine's ability to be programmed using the Jacquard punched cards. ... [S]he emphasized te computational importance of the engine's ability to branch to different instructions based on certain conditions, and she drew the distinction between what was theoretically possible to compute and what was, in reality, impractical.
      Ada also wrote about the benefits of the Analytical Engine's ability to reuse code.» [Ada, emphasize added]
    • Symbolism("numerism") [<>]: Also Ada recognizes the generalization from numeric to algebraic and symbolic calculations: «The engine might develop three sets of results ... symbolic results ...; numerical results ...; and algebraical results in literal notation.» This is the flip-side of symbolism (reduction of mathematics/logics to symbol manipulation) -- in analogy it could be called ``numerism.''
      And she predicts that such a machine might be used to compose complex music and to produce graphics, and would be used for both practical and scientific use..
    • Invents subroutines [source?]
    [Ada] Kim, Toole: Ada and the First Computer; Scientific American, May 1999.
    Toole:
    Ada: The Enchantress of Numbers.


    home Biological until 1854 Formalization 1854-1937 Revolutions 1937-1951 Electronic Age references
    Location: http://members.tripod.de/s_ulf/csh/cshist1.html & http://www.cs.mun.ca/~ulf/csh/cshist1.html. By Ulf Schünemann since 251198. Please mail any comments.