Info introduction to informatics - Indiana University … to informatics lecture 2 [email protected]...

25
[email protected] informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY Informatics luis rocha 2017 I501 introduction to informatics introduction to informatics lecture 2

Transcript of Info introduction to informatics - Indiana University … to informatics lecture 2 [email protected]...

Page 1: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

Informatics luis rocha 2017

I501introduction

to informatics

introduction to informaticslecture 2

Page 2: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017

I501-introduction to informatics

Instructor Prof. Luis M. Rocha

Office Hours: Wednesdays 9-11am, 919 E. 10th St, Room 301

Associate instructor Thomas Parmer

Office Hours: TBD Resources

Web page http://informatics.indiana.edu/rocha/academics/i501

Blog: sciber http://sciber.blogspot.com/

canvas.iu.edu

fall 2017

Page 3: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017

introduction to informatics

Participation: 15%. class discussion, especially about readings engagement in class

Paper presentation and handout: 15% Choose from reading list

website and canvas Due September 6, 2017 Exception: Weaver and Simon papers (August 30th

presentation), need 2 volunteers by August 25th Covering key paper points, handling discussion

handout Black Box assignments: 40%

2 assignments during the semester. 20% , Assignment I: Due October 11 20% , Assignment II: Due November 15

GRFP Research proposal: 30% Elevator pitch and proposal

due December 8

evaluation

Page 4: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017

Readings until now

This week Heims, S.G. [1991]. The Cybernetics Group. MIT Press. Chapters: 1 and 2 Borges, J.L. “The Library of Babel” and “The Garden of the Forking Paths”. Optional

McCulloch, W. and W. Pitts [1943], "A Logical Calculus of Ideas Immanent in Nervous Activity". Bulletin of Mathematical Biophysics 5:115-133.

Heims, S.G. [1991]. The Cybernetics Group. MIT Press. Chapters 11, and 12. Presentations

Weaver, W. [1948]. "Science and Complexity". American Scientist, 36(4): 536-44. Logan Paul

Simon, H.A. [1962]. "The Architecture of Complexity". Proceedings of the American Philosophical Society, 106: 467-482. Zackary Dunivin

Lecture Notes The Nature of Information

Available http://canvas.iu.edu and listed at

http://informatics.indiana.edu/rocha/academics/i501 Also check out

Links and notes at http://sciber.blogspot.com/

introduction to informatics

Page 5: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017

the library of Babel

“The universe (which others call the Library) is composed of an indefinite and perhaps infinite number of hexagonal galleries, with vast air shafts between, surrounded by very low railings.”

“……all the books, no matter how diverse they might be, are made up of the same elements: the space, the period, the comma, the twenty-two letters of the alphabet. He also alleged a fact which travelers have confirmed: In the vast Library there are no two identical books.”

“…Everything: the minutely detailed history of the future, the archangels' autobiographies, the faithful catalogues of the Library, thousands and thousands of false catalogues, the demonstration of the fallacy of those catalogues, the demonstration of the fallacy of the true catalogue,[…] the true story of your death, the translation of every book in all languages…”.

“I have wandered in search of a book, perhaps the catalogue of catalogues”

Jorge Luis Borges (1899 – 1986)

Poetic essays on information and memory (1941)

Poetic essays on information and memory (1941)

Page 6: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

Informatics luis rocha 2017

I501introduction

to informatics

By Erik Stoltermana possible parsing of informatics

X-Informatics or Computational X

Informatics

Computer Science

Complex Systems

Data & Search

Data Mining

HCID Security

Bio-

Chem-

Geo-

Music-

Health-

Archaeo-

towards problem solving beyond computing into the natural and socialsynthesis of information technology

STS, CCS, Social Informatics

Page 7: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017

Page 8: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017

from reality to computation

Number Perception Recognition of a discrete quantity of objects distinct from a

continuous quantity Exists even in animals, birds, and insects

Counting A measurement process from a physical system to a symbol

E.g. notches on a bone First symbols were probably numbers

Lebombo bone Oldest counting tool is a piece of baboon fibula with 29

notches from 35,000 BC, discovered in the mountains between South Africa and Swaziland Probably representing the number of days in a Moon Cycle

“Wolf Bone” from Czech Republic with 55 notches in groups of 5, from 30,000 BC.

where do numbers come from?

Page 9: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017

counting

The Ishango Bone Oldest Mathematical Artefact?

20,000 BC, border of Zaire and Uganda Used as a counting tool?

9,11,13,17,19, 21: odd numbers 11, 13, 17, 19: prime numbers 60 and 48 are multiples of 12

earliest examples

Page 10: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017

from counting to computation

Counting A measurement process from a physical system

to a symbol A mapping between discrete objects and symbols First numbers were not completely abstract

Specific attributes of concrete objects Computation

Abstract concept of one-to-one pairing of symbols

Mathematical concept of function Formalization

To completely abstract away the significance of measuring observables from real objects

abstracting symbol mappings

“When you can measure what you are speaking of and express it in numbers you know that on which you are discoursing. But if you cannot measure it and express it in numbers. your knowledge is of a very meagre and unsatisfactory kind”. Lord Kelvin

Page 11: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

Informatics luis rocha 2017

I501introduction

to informatics

computationproducing symbols from symbols

Xx1

xn

Yy1

yn

Function: a complete and unambiguous mapping between sets of symbols

YXf : YXf :

y=f(x)

Leibniz introduced the word in 1694Computation: automatic

process or method of implementing a function

Page 12: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017

from counting to computation

Formal Mathematics Axiomatic System

Finite set of symbols Numbers, letters

Strings of symbols expressions

Unambiguous rules to produce strings axioms

Unambiguous rules to re-write strings deductions, productions

Semantic Independence from Syntax All strings and properties (theorems) derived entirely

from axioms

abstracting symbol mappings

“Insofar as the propositions of mathematics are certain they do not refer to reality; and insofar as they refer to reality, they are not certain”. Albert Einstein

Page 13: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017

computation

Process of rewriting strings in a formal system according to a program of rules Operations and states are syntactic Symbols follow syntactical rules Rate of computation is irrelevant

Program determines result, not speed of machine Physical implementation is irrelevant for result

Computer Physical device that can reliably

execute/approximate a formal computation Errors always exist Design aims to make rate and dynamics irrelevant

some facts

“[…] essential elements in the machine are of a binary […] nature. Those whose state is determined by their history and are time-stable are memory elements. Elements of which the state is determined essentially by the existing amplitude of a voltage or signal are called ‘gates’”. Bigelow et al, 1947

Page 14: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017

brief history computing devices

Abacus A counting aid, may have been invented in

Babylonia in the fourth century B.C. Not automatic: memory aid for intermediate

calculations Very used in China and Japan

Each bead on the upper deck has a value of 5, Each bead on the lower deck has value of 1

Beads are considered counted, when moved towards the beam that separates the two decks.

Reconstruction of a Roman abacus in the Cabinet des Médailles, Bibliothèque nationale, Paris.

Page 15: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017

The Antikythera Mechanism 2,000-year-old astronomical calculator

bronze mechanical analog computer discovered more than 100 years ago in a Roman shipwreck, was used by

ancient Greeks to display astronomical cycles. built around the end of the second century BC to calculate

astronomical positions With imaging and high-resolution X-ray tomography to study how it

worked. complicated arrangement of at least 30 precision, hand-cut bronze gears

housed inside a wooden case covered in inscriptions. technically more complex than any known device for at least a millennium

afterwards.

Not a universal Turing machine, but an analog computer

Page 16: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

Informatics luis rocha 2017

I501introduction

to informatics

are people (and tables) too!computers

John Napier’s (1550‐1617)1614: logarithm, “bones” and tables convert multiplication/division to addition/subtraction

need to efficiently compute numerical tables, used in math, ballistics, astronomy, etc.

Page 17: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

Informatics luis rocha 2017

I501introduction

to informatics

are people (and tables) too!computers

John Napier’s (1550‐1617)1614: logarithm, “bones” and tables convert multiplication/division to addition/subtraction

Briggs (1561‐1630): decimal algorithm,  logs of 30,000 numbers to 14 decimal places and logs/tans of 1/100 of every degree, 14 decimal places 

need to efficiently compute numerical tables, used in math, ballistics, astronomy, etc.

mechanical calculators to replace painstaking and error‐prone human calculator work

Page 18: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017

Forefathers of the modern computer Wilhelm Schickard (1592- 1635)

In 1623 built the first mechanical calculator can work with six digits, and carries digits

across columns. It works, but never makes it beyond the prototype stage.

Blaise Pascal (1623-1662) built a mechanical calculator in 1642

It has the capacity for eight digits, but has trouble carrying and its gears tend to jam.

10-teeth gears Gottfried von Leibniz (1614-1716)

built a mechanical calculator in 1670 capable of multiplication and division (shift) registers for binary arithmetic Credited Chinese for Binary arithmetic

Closer to abacus Passive register (memory) of states

“The human race will have a new kind of instrument which will increase the power of the mind much more than optical lenses strengthen the eyes… One could carry out the description of a machine, no matter how complicated, in characters which would be merely the letters of the alphabet, and so provide the mind with a method of knowing the machine and all its parts.” Leibniz, 1679.

Page 19: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017

Charles Babbage (1791 – 1871)

Difference Engine Special-purpose digital computing machine

for the automatic production of mathematical tables. logarithm tables, tide tables, and

astronomical tables Steam-driven, consisted entirely of

mechanical components - brass gear wheels, rods, ratchets, pinions, etc.

Numbers were represented in the decimal system by the positions of 10-toothed metal wheels mounted in columns.

Never completed the full-scale machine Completed several fragments. The largest is

on display in the London Science Museum. In 1990, it was built (London Science Museum)

The Swedes Georg and Edvard Scheutz(father and son) constructed a modified version of Babbage's Difference Engine.

For an interesting “what-if” scenario read “The Difference Engine” by Bruce Sterling and William Gibson

Page 20: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017

Charles Babbage (1791 – 1871)

Difference Engine Special-purpose digital computing machine

for the automatic production of mathematical tables. logarithm tables, tide tables, and

astronomical tables Steam-driven, consisted entirely of

mechanical components - brass gear wheels, rods, ratchets, pinions, etc.

Numbers were represented in the decimal system by the positions of 10-toothed metal wheels mounted in columns.

Never completed the full-scale machine Completed several fragments. The largest is

on display in the London Science Museum. In 1990, it was built (London Science Museum)

The Swedes Georg and Edvard Scheutz(father and son) constructed a modified version of Babbage's Difference Engine.

For an interesting “what-if” scenario read “The Difference Engine” by Bruce Sterling and William Gibson

Not a universal Turing machine, but an analog computer

Page 21: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017

Charles Babbage (1791 – 1871)

Difference Engine Special-purpose digital computing machine

for the automatic production of mathematical tables. logarithm tables, tide tables, and

astronomical tables Steam-driven, consisted entirely of

mechanical components - brass gear wheels, rods, ratchets, pinions, etc.

Numbers were represented in the decimal system by the positions of 10-toothed metal wheels mounted in columns.

Never completed the full-scale machine Completed several fragments. The largest is

on display in the London Science Museum. In 1990, it was built (London Science Museum)

The Swedes Georg and Edvard Scheutz(father and son) constructed a modified version of Babbage's Difference Engine.

For an interesting “what-if” scenario read “The Difference Engine” by Bruce Sterling and William Gibson

Not a universal Turing machine, but an analog computer

Page 22: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017 The analytical engine had an “external tape”

Charles Babbage (1791 – 1871) and Ada Lovelace (1815-1852)

general-purpose mechanical digital computer. Separated memory store from a

central processing unit (or ‘mill’) able to select from among

alternative actions consequent upon the outcome of its previous actions Conditional branching: Choice, information

Mechanical cogs not just numbers Variables (states/configurations)

Programmable Data and instructions on distinct

punched cards

Turing on programs (numbers as instructions) : “[Babbage] had all the essential ideas [and] planned such a machine, called the Analytical Engine. […]

"It is only a question of cards and time, […] and there is no reason why (twenty thousand) cards should not be used if necessary, in an Analytical Engine for the purposes of the mathematician”. Henry Babbage (1888)

Page 23: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017 The external tape as a general principle (system) of universal computing

Charles Babbage (1791 – 1871) and Ada Lovelace (1815-1852)

Analytical engine Separated memory store from a

central processing unit (or ‘mill’) Cogs not just numbers

variables Programmable

instructions on punched cards Inspired by the Jacquard Loom

Ada Lovelace: the science of operations Set of (recursive) rules for producing

Bernoulli numbers (a program) Separation of variable and operational

(data) cards would punch out cards for later use

“the Engine eating its own tail.” (Babbage)

distinction between numbers that mean thingsand numbers that do things.

Page 24: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017 The external tape as a general principle (system) of universal computing

Charles Babbage (1791 – 1871) and Ada Lovelace (1815-1852)

Analytical engine Separated memory store from a

central processing unit (or ‘mill’) Cogs not just numbers

variables Programmable

instructions on punched cards Inspired by the Jacquard Loom

Ada Lovelace: the science of operations Set of (recursive) rules for producing

Bernoulli numbers (a program) Separation of variable and operational

(data) cards would punch out cards for later use

“the Engine eating its own tail.” (Babbage)

distinction between numbers that mean thingsand numbers that do things.

Page 25: Info introduction to informatics - Indiana University … to informatics lecture 2 rocha@indiana.edu informatics.indiana.edu/rocha/academics/i501/ INDIANA UNIVERSITY I501 introduction

[email protected]/rocha/academics/i501/

INDIANAUNIVERSITY

I501introduction

to informatics

Informatics luis rocha 2017

next class

Week 3 Lecture

Gleick, J. [2011]. The Information: A History, a Theory, a Flood. Random House. Chapter 8.

Prokopenko, Mikhail, Fabio Boschetti, and Alex J. Ryan. [2009]. "An information-theoretic primer on complexity, self-organization, and emergence. “ Complexity 15(1): 11-28

Presentations & Discussion Freeth, Tony. 2014. “Eclipse Prediction on the Ancient Greek

Astronomical Calculating Machine Known as the AntikytheraMechanism.” PloS One 9 (7): e103275.

Plank, Nicholas Wasserman, M., X.H.T. Zeng, and L.A.N. Amaral [2015]. “Cross-

evaluation of metrics to estimate the significance of creative works”. PNAS 112 (5) 1281-1286.

Boothby, Clara Lecture Notes

The Nature of Information Optional

Aleksander, I. [2002]. “Understanding Information Bit by Bit”. In: It must be beautiful : great equations of modern science. G. Farmelo(Ed.), Granta, London.

Readings (available in Canvas)