1 Wykład #2 Czy informatyka mówi coś o świecie?Wybrane zagadnienia filozofii w informatyce Wykład monograficzny r.a. 2012/2013 Prowadzący: dr Paweł Polak Zastrzegam, że rysunki przedstawione w prezentacji (jeśli nie zaznaczono) pochodzą z zasobów sieci Internet nie są mojego autorstwa. Zostały wykorzytane w celach ilustacji treści naukowych i w razie zgłoszenia naruszenia praw zostaną usunięte.
2 Plan wykładu Co opisuje informatyka?Rzut oka na genezę dyscypliny – informatyka jako część matematyki Czy informatyka różni się od matematyki? Simon & Newell: empiryczny charakter informatyki
3 Co opisuje informatyka?Świat platoński (idee)? Świat rzeczy (fizyczny)? Świat procesów? Czym jest realność opisywana przez informatykę? Rys. R. Penrose
4 Rzut oka na genezę dyscypliny – informatyka jako część matematykiCharles Babbage i Ada Lovelace – problem obliczeń numerycznych Uwaga Lady Lovelace z jej pamiętnika o Maszynie Analitycznej Babbage'a: „The Analytical Engine has no pretensions to originate anything. It can do whatever we know how to order it to perform” (cited by Hartree, p.70)
5 Rzut oka na genezę dyscypliny – informatyka jako część matematykiKonrad Zuse – usprawnienie obliczeń inżynierskich, „w istocie nienawidził rachunków” (H. Zuse) seria maszyn elektromechanicznych, Z-3 (1941) w teorii równoważne z MT, Z-4 (1945) – pierwszy pełny komputer Plankalkul dodanie pierwszego i trzeciego bitu V0 i umieszczenie wyniku w Z2 (bajt)
6 Rzut oka na genezę dyscypliny – informatyka jako część matematykiENIAC (Electronic Numerical Integrator and Computer = elektroniczny integrator numeryczny i kalkulator) – pierwszy w pełni elektroniczny komputer, skonstruowany w USA w , działał do 1955 r. pierwsze zastosowania (w kolejności): opracowanie tablic artyleryjskich projektowanie bomby atomowej i wodorowej obliczenia tuneli aerodynamicznych, obliczenie Pi z dokładnością do 1000 miejsc po przecinku
7 Rzut oka na genezę dyscypliny – informatyka jako część matematykiAlan Turing, On computable numbers, with an application to the Entscheidungsproblem (1936) Alan Turing – odpowiedź na Entscheidungsproblem z punktu widzenia informatyki możliwość ujęcia aksjomatycznego równoważna możliwości ujęcia algorytmicznego (nie istnieje uniwersalny algorytm) początek informatyki jako nauki MT jako model obliczeń informatyka jako część matematyki teoretycznej (rozwiązanie problemu Hilberta) oraz matematyki stosowanej (obliczenia techniczne itp.) Alan Turing ( )
8 Czy informatyka różni się od matematyki?Programy działają, w przeciwieństwie do wzorów. Czy jest tu jakaś analogia relacji matematyka-fizyka? Różnice: fizyka również opisuje statyczne struktury, informatyka – struktury aktywne(!) E=mc2 vs
9 Simon & Newell: empiryczny charakter informatyki (1)Allen Newell ( ) – pionier informatyki oraz SI doktorat z fizyki w Stanford w 1949 r. RAND Corporation 1961 profesor Carnegie Mellon's Department of Computer Science autor 250 publikacji w tym 10 książek Herbert A. Simon ( ) – ekonomista, socjolog, psycholog, pionier SI 1943 doktorat z nauk politycznych w Chicago 1949 profesor administracji i kierownik Department of Industrial Management at Carnegie Tech (later Carnegie Mellon University)
10 Simon & Newell: empiryczny charakter informatyki (2)Twórcy pierwszych działających programów SI: Logic Theory Machine (1956) – pierwszy program SI, udowodnił 38 z 52 dowodów z Principia Mathematica (niektóre dowody bardziej eleganckie) General Problem Solver (GPS) (1957) Nagroda Turinga Association for Computing Machinery (1975). "In joint scientific efforts extending over twenty years, initially in collaboration with J. C. (Cliff) Shaw at the RAND Corporation, and subsequentially with numerous faculty and student colleagues at Carnegie Mellon University, they have made basic contributions to artificial intelligence, the psychology of human cognition, and list processing."
11 Simon & Newell: empiryczny charakter informatyki (3)A. Newell & H.A. Simon, „Computer science as empirical inquiry: symbols and search”, Communications of the ACM, Volume 19 Issue 3, March 1976, pp „Computer science is the study of the phenomena surrounding computers”. „The machine – not just the hardware, but programmed, living machine – is the organizm we study”
12 Simon & Newell: empiryczny charakter informatyki (4)„Each new machine that is built is an experiment. Actually constructing machine poses a question to nature; and we listen for the answer by observing the machine in operation and analyzing it by all analytical and measurement means available” „Each new program that is built is an experiment...”
13 Simon & Newell: empiryczny charakter informatyki (5)Cechy charakterystyczne nauk empirycznych Empiryczna teoria jakościowa wg Simona & Newella Testowalność teorii informatycznych (co jest testem teorii – vide: co teoria mówi o świecie) Przykład empirycznej teorii jakościowej SI: fizyczny system symboliczny (physical symbol system)
14 … then STOP. Ciąg dalszy za tydzień...