Half-life of knowledge

Slides:



Advertisements
Similar presentations
CS 345: Chapter 9 Algorithmic Universality and Its Robustness
Advertisements

Prof Fateman CS 164 Lecture 371 Review: Programming Languages and Compilers CS AM MWF 10 Evans.
The Big Picture Chapter 3. We want to examine a given computational problem and see how difficult it is. Then we need to compare problems Problems appear.
Class 39: Universality cs1120 Fall 2009 David Evans University of Virginia.
Programming Languages Wrap-up. Your Toolkit Object-oriented Imperative Functional Logic.
Computation and representation Joe Lau. Overview of lecture What is computation? Brief history Computational explanations in cognitive science Levels.
David Evans CS150: Computer Science University of Virginia Computer Science Lecture 39: Lambda Calculus.
Nathan Brunelle Department of Computer Science University of Virginia Theory of Computation CS3102 – Spring 2014 A tale.
Applied Computer Science II Chapter 3 : Turing Machines Prof. Dr. Luc De Raedt Institut für Informatik Albert-Ludwigs Universität Freiburg Germany.
FLAC Lecture 19 Turing Machines and Real Life * Reductions Mihai Budiu March 3, 2000.
CPSC 411, Fall 2008: Set 12 1 CPSC 411 Design and Analysis of Algorithms Set 12: Undecidability Prof. Jennifer Welch Fall 2008.
Tractable and intractable problems for parallel computers
Fall 2004COMP 3351 Recursively Enumerable and Recursive Languages.
Fall 2003Costas Busch - RPI1 Decidability. Fall 2003Costas Busch - RPI2 Recall: A language is decidable (recursive), if there is a Turing machine (decider)
1 Undecidability Andreas Klappenecker [based on slides by Prof. Welch]
Chapter Chapter Goals Describe the layers of a computer system Describe the concept of abstraction and its relationship to computing Describe.
Based on Slides by Zeph Grunschlag from Columbia University www1.cs.columbia.edu/~zeph/3261/L14/L14.ppt Basic Computability Reading Material: J. Savage,
Recursively Enumerable and Recursive Languages
1 Uncountable Sets continued Theorem: Let be an infinite countable set. The powerset of is uncountable.
Fall 2004COMP 3351 The Chomsky Hierarchy. Fall 2004COMP 3352 Non-recursively enumerable Recursively-enumerable Recursive Context-sensitive Context-free.
Humans, Computers, and Computational Complexity J. Winters Brock Nathan Kaplan Jason Thompson.
Dr. Muhammed Al-Mulhem 1ICS ICS 535 Design and Implementation of Programming Languages Part 1 Computability (Chapter 2) ICS 535 Design and Implementation.
CS1001 Lecture 23. Overview Incompleteness and the Halting Problem Incompleteness and the Halting Problem Methods in Artificial Intelligence Methods in.
Fall 2004COMP 3351 Reducibility. Fall 2004COMP 3352 Problem is reduced to problem If we can solve problem then we can solve problem.
1. By the end of this lecture you should be able … To describe in general terms how computers function To describe the fetch-execute cycle To explain.
Fall 2004COMP 3351 A Universal Turing Machine. Fall 2004COMP 3352 Turing Machines are “hardwired” they execute only one program A limitation of Turing.
Halting Problem. Background - Halting Problem Common error: Program goes into an infinite loop. Wouldn’t it be nice to have a tool that would warn us.
Theory of Computation. Computation Computation is a general term for any type of information processing that can be represented as an algorithm precisely.
Chapter 1 The Big Picture Chapter Goals Describe the layers of a computer system Describe the concept of abstraction and its relationship to computing.
Chapter 01 Nell Dale & John Lewis.
CMPS 3223 Theory of Computation Automata, Computability, & Complexity by Elaine Rich ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Slides provided.
David Evans Turing Machines, Busy Beavers, and Big Questions about Computing.
Class 37: Computability in Theory and Practice cs1120 Fall 2011 David Evans 21 November 2011 cs1120 Fall 2011 David Evans 21 November 2011.
1 Theory of Computation 計算理論 2 Instructor: 顏嗣鈞 Web: Time: 9:10-12:10 PM, Monday Place: BL 103.
Artificial Intelligence Introductory Lecture Jennifer J. Burg Department of Mathematics and Computer Science.
Chapter 1 The Big Picture.
The Turing machine Olena Lastivka. Definition Turing machine is a theoretical device that manipulates symbols on a strip of tape according to a table.
Theory of Computing Lecture 15 MAS 714 Hartmut Klauck.
1 CO Games Development 2 Week 21 Turing Machines & Computability Gareth Bellaby.
Introduction to CS Theory Lecture 15 –Turing Machines Piotr Faliszewski
1 1 CDT314 FABER Formal Languages, Automata and Models of Computation Lecture 15-1 Mälardalen University 2012.
CSCI 2670 Introduction to Theory of Computing November 29, 2005.
Week 10Complexity of Algorithms1 Hard Computational Problems Some computational problems are hard Despite a numerous attempts we do not know any efficient.
Halting Problem Introduction to Computing Science and Programming I.
Overview.  Explores the theoretical foundations of computing  What can and cannot be done by an algorithm  Most of the material predates computers!
1Computer Sciences Department. Book: INTRODUCTION TO THE THEORY OF COMPUTATION, SECOND EDITION, by: MICHAEL SIPSER Reference 3Computer Sciences Department.
1 Turing’s Thesis. 2 Turing’s thesis: Any computation carried out by mechanical means can be performed by a Turing Machine (1930)
1Computer Sciences Department. Book: INTRODUCTION TO THE THEORY OF COMPUTATION, SECOND EDITION, by: MICHAEL SIPSER Reference 3Computer Sciences Department.
NP-Completness Turing Machine. Hard problems There are many many important problems for which no polynomial algorithms is known. We show that a polynomial-time.
Capabilities of computing systems Numeric and symbolic Computations A look at Computability theory Turing Machines.
Recursively Enumerable and Recursive Languages
Lecture 16b Turing Machines Topics: Closure Properties of Context Free Languages Cocke-Younger-Kasimi Parsing Algorithm June 23, 2015 CSCE 355 Foundations.
Early Computing Presented by Brian Barker and Brycen Ainge.
Introductory Lecture. What is Discrete Mathematics? Discrete mathematics is the part of mathematics devoted to the study of discrete (as opposed to continuous)
1 Recursively Enumerable and Recursive Languages.
Recursively Enumerable and Recursive Languages. Definition: A language is recursively enumerable if some Turing machine accepts it.
Modeling Arithmetic, Computation, and Languages Mathematical Structures for Computer Science Chapter 8 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesTuring.
Introduction to Computing Science and Programming I
Chapter 1 The Big Picture
Recursively Enumerable and Recursive Languages
Turing Machines.
CS154, Lecture 11: Self Reference, Foundation of Mathematics
Turing Machines, Busy Beavers, and Big Questions about Computing
Busch Complexity Lectures: Undecidable Problems (unsolvable problems)
CSCE 411 Design and Analysis of Algorithms
Decidable Languages Costas Busch - LSU.
Computability and Complexity
Formal Languages, Automata and Models of Computation
Half-life of knowledge
Lecture 23: Computability CS200: Computer Science
Presentation transcript:

Half-life of knowledge Hari V Sahasrabuddhe Kanwal Rekhi School of I.T., IITB hvs@it.iitb.ac.in

what is half-life? Definition: The time required for the quantity of a chemical, drug or radioisotope to fall to half. For example, if the quantity now is 32, and half-life is 10 days, the quantity will be 16 after 10 days, 8 after 10 more days, etc.

First used “Half-life of knowledge” Fritz Machlup (1902-83)

Does knowledge decay like that?

Does knowledge decay like that? No, but it may become useless when the situation changes

A progression of terms Data: factual information, often numeric Information: specific knowledge Knowledge: familiarity, awareness, understanding Wisdom: insight, ability to judge Our use of “knowledge” is a bit fuzzy – it fits somewhere in this progression.

What is new in Oracle9i? Oracle Streams (replace Oracle Advance Replication and Standby Databases) Cluster file system for Windows and Linux (raw devices are no longer required) (etc.)

MySQL: Changes in 5.0.2 Warning: Incompatible change! NOT a BETWEEN b AND c is parsed as NOT (a BETWEEN b AND c) rather than as (NOT a) BETWEEN b AND c

Even mathematics! Is mathematics necessary? Moving Beyond Myths, published by the National Academy of Sciences, says so, but Prof. Dudley of DePauw University does not agree! (See references)

Halting problem - definition Given a description of an algorithm and its initial input, determine whether the algorithm, when executed on this input, ever halts (completes). The alternative is that it runs forever without halting.

Halting problem - answer Alan Turing proved in 1936 that a general algorithm to solve the halting problem for all possible inputs cannot exist. We say that the halting problem is undecidable.

Halting problem – informal proof Let P be a program that reads any program Q and prints 1 if Q halts, 0 if not. Define P’: read program Q simulate P on input Q if output of step 2 is = 1, go to step 2 Halt What happens when P’ is fed to P’?

Halting problem – formal proof Turing’s formal proof is based on Turing Machine, a model of computation with a finite controller coupled to a unbounded memory

Another model of computation -calculus Allows us to define a recursive function Foundation for LISP class of programming languages

Decidable but hard problems Hamiltonian circuit: a circuit that visits all vertices of a given graph We don’t know how to find one in any arbitrary graph in time limited by a polynomial, any polynomial, of the number of vertices. If you can solve that one, a number of other problems are solved!

Hard - example Remember Cramer’s rule? n*n determinant => n (n-1)*(n-1) determinants Time for n*n determinant equals roughly n*time for an (n-1)*(n-1) determinant A PC which can calculate a 2*2 determinant in 0.5*10-9 seconds needs almost 1 year to calculate a 19*19 determinant by Cramer’s rule, and 19 years for a 20*20 determinant!

Hard example contd. We could use a supercomputer. A 60 teraflop supercomputer can calculate a 19*19 determinant in less than 17 hours (but even it will need about 18 years for a 22*22 determinant) So, faster computers do not compensate for algorithmic complexity

First programmer Charles Babbage described his analytical engine in 1834, and in 1842-43 Lady Lovelace either created or corrected a program for it to compute Bernoulli numbers (first defined in print in 1713) (The analytical engine could never actually be built.)

How many programming languages are there? Thousands of them! Main types Imperative (c, c++, java, …) Functional (LISP, SCHEME) and applicative (APL) Declarative (PROLOG)

BCS: Future challenges Conference: Brit. Comp. Soc., 29-31 March 2004 Two separate reports, on “Grand Challenges” in education and research Either report identifies seven challenges Most challenges arise from spread of computing to new areas, e.g. embedded systems, memories for life

Identifying lasting knowledge Abstract rather than concrete Technology-independent areas, e.g. maths, theoretical CS, architecture, … Older, still useful knowledge (if it survived n years it might survive n more years)

What after you graduate? Self-study and reference skills library, bookstores, search engines, … List of references is available These were gathered using web search