Future Computers.

Slides:



Advertisements
Similar presentations
Turing Machines January 2003 Part 2:. 2 TM Recap We have seen how an abstract TM can be built to implement any computable algorithm TM has components:
Advertisements

Models of Computation Prepared by John Reif, Ph.D. Distinguished Professor of Computer Science Duke University Analysis of Algorithms Week 1, Lecture 2.
CS 345: Chapter 9 Algorithmic Universality and Its Robustness
Complexity Theory Lecture 1 Lecturer: Moni Naor. Computational Complexity Theory Study the resources needed to solve computational problems –Computer.
Limitations. Limitations of Computation Hardware precision Hardware precision Software - we’re human Software - we’re human Problems Problems –complex.
Turing Machines (At last!). Designing Universal Computational Devices Was Not The Only Contribution from Alan Turing… Enter the year 1940: The world is.
Enigma Meghan Emilio Faculty Sponsor: Ralph Morelli (Computer Science)
CSC 2400 Computer Systems I Lecture 3 Big Ideas. 2 Big Idea: Universal Computing Device All computers, given enough time and memory, are capable of computing.
Applied Computer Science II Chapter 3 : Turing Machines Prof. Dr. Luc De Raedt Institut für Informatik Albert-Ludwigs Universität Freiburg Germany.
Alan Turing Enigma Chris Jager. Contents Introduction Introduction Childhood & Youth Childhood & Youth The Turing Machine The Turing Machine Second World.
1 Introduction to Computability Theory Lecture11: Variants of Turing Machines Prof. Amos Israeli.
CS5371 Theory of Computation Lecture 11: Computability Theory II (TM Variants, Church-Turing Thesis)
CSE 830: Design and Theory of Algorithms
Foundations of (Theoretical) Computer Science
CIS 197 Computers in Society Professor John Peterson Philosophy Week!
1 Foundations of Software Design Fall 2002 Marti Hearst Lecture 29: Computability, Turing Machines, Can Computers Think?
Solution methods for Discrete Optimization Problems.
Lecture 14: Church-Turing Thesis Alonzo Church ( ) Alan Turing ( )
BIT Presentation 4.  An algorithm is a method for solving a class of problems.  While computer scientists think a lot about algorithms, the term.
Studies in Big Data 4 Weng-Long Chang Athanasios V. Vasilakos MolecularComputing Towards a Novel Computing Architecture for Complex Problem Solving.
More Theory of Computing
Context-Free Languages Regular Languages Violates Pumping Lemma For RLs Violates Pumping Lemma For CFLs Described by CFG, PDA 0n1n0n1n 0n1n2n0n1n2n Described.
David Evans Turing Machines, Busy Beavers, and Big Questions about Computing.
Chapter I: Introduction to Computer Science. Computer: is a machine that accepts input data, processes the data and creates output data. This is a specific-purpose.
Famous Firsts in Computation MSE 2400 Evolution & Learning
The Turing machine Olena Lastivka. Definition Turing machine is a theoretical device that manipulates symbols on a strip of tape according to a table.
©Brooks/Cole, 2003 Foundations of Computer Science from Data Manipulation to Theory of Computation Behrouz A. Forouzan, Brooks/Cole — Thomson Learning,
Algorithms and their Applications CS2004 ( ) Dr Stephen Swift 1.2 Introduction to Algorithms.
Unsolvability and Infeasibility. Computability (Solvable) A problem is computable if it is possible to write a computer program to solve it. Can all problems.
Spring 2006ICOM 4036 Programming Laguages Lecture 2 1 The Nature of Computing Prof. Bienvenido Velez ICOM 4036 Lecture 2.
Alan M. Turing ( ) A Natalie Cluck Presentation.
Chapter 1 Introduction.
David Evans CS150: Computer Science University of Virginia Computer Science Class 33: Computing with Photons From The.
CSE 311 Foundations of Computing I Lecture 26 Computability: Turing machines, Undecidability of the Halting Problem Spring
CSE 311 Foundations of Computing I Lecture 29 Computability: Turing machines, Undecidability of the Halting Problem Autumn 2012 CSE 3111.
COMM 3353: Communication Web Technologies I M,W,F 1:00PM to 2:00PM 239 COM Shawn W. McCombs M,W,F 1:00PM to 2:00PM 239 COM Shawn W. McCombs
The Nature of Computing INEL 4206 – Microprocessors Lecture 2 Bienvenido Vélez Ph. D. School of Engineering University of Puerto Rico - Mayagüez.
Computer Science 101 Theory of Computing. Computer Science is... The study of algorithms, with respect to –their formal properties –their linguistic realizations.
History 398 Fall 2004 History 398Lecture 20 FROM ENIAC TO EDVAC.
Complexity & Computability. Limitations of computer science  Major reasons useful calculations cannot be done:  execution time of program is too long.
Week 13 - Monday.  What did we talk about last time?  B-trees  Hamiltonian tour  Traveling Salesman Problem.
Computer Theory Michael J. Watts
Capabilities of computing systems Numeric and symbolic Computations A look at Computability theory Turing Machines.
Copyright © 2012 Pearson Education, Inc. Chapter 12: Theory of Computation Computer Science: An Overview Eleventh Edition by J. Glenn Brookshear.
Alonzo Church: Mathematician. Philosopher. Computer Scientist? Who is Alonzo Church? Alonzo Church was a man who was very important to the computer science.
Donghyun (David) Kim Department of Mathematics and Physics North Carolina Central University 1 Chapter 0 Introduction Some slides are in courtesy of Prof.
MARC ProgramEssential Computing for Bioinformatics 1 The Nature of Computing Prof. Bienvenido Velez ICOM 4995 Lecture 3.
1 IDT Open Seminar ALAN TURING AND HIS LEGACY 100 Years Turing celebration Gordana Dodig Crnkovic, Computer Science and Network Department Mälardalen University.
Automata & Formal Languages, Feodor F. Dragan, Kent State University 1 CHAPTER 3 The Church-Turing Thesis Contents Turing Machines definitions, examples,
Chapter 12 Theory of Computation Introduction to CS 1 st Semester, 2014 Sanghyun Park.
Theory of Computation Foundations of Computer Science  Cengage Learning.
Spring, 2011 –– Computational Thinking – Dennis Kafura – CS 2984 Lambda Calculus Introduction.
Introductory Lecture. What is Discrete Mathematics? Discrete mathematics is the part of mathematics devoted to the study of discrete (as opposed to continuous)
Millions of electronic pulses move through your computer every second. Computers are capable of processing thousands of functions in the time it takes.
The Church-Turing Thesis Chapter Are We Done? FSM  PDA  Turing machine Is this the end of the line? There are still problems we cannot solve:
CS 154 Formal Languages and Computability April 5 Class Meeting Department of Computer Science San Jose State University Spring 2016 Instructor: Ron Mak.
Chapter I: Introduction to Computer Science. Computer: is a machine that accepts input data, processes the data and creates output data. This is a specific-purpose.
Fall 2013 Lecture 27: Turing machines and decidability CSE 311: Foundations of Computing.
Sub-fields of computer science. Sub-fields of computer science.
Introduction to formal languages and automata
Computable Functions.
Turing Machines Finite State Machines.
CSE 311 Foundations of Computing I
Unsolvable Problems December 4, 2017.
Turing Machines (At last!).
Modeling Computation:
Foundations of Computer Science
Theory of Computation Turing Machines.
BITS & BYTES.
An electro-mechanical rotor cipher machine created by the German engineer Arthur Scherbius.
Presentation transcript:

Future Computers

Alan Turing 23 June 1912 – 7 June 1954 English mathematician Logician cryptanalyst and computer scientist

Alan Turing For a time he was head of Hut 8, the section responsible for German naval cryptanalysis during World War II An Enigma machine is any of a family of related electro-mechanical rotor machines used for the encryption and decryption of secret messages, the German military model, the – Wehrmacht Enigma, is the version most commonly discussed.

Alan Turing Together with Gordon Welchman designed La Bombe that could break any Enigma-enciphered message The basic property of the Bombe was that it could break any Enigma-enciphered message, provided that the hardware of the Enigma was known and that a plain-text 'crib' of about 20 letters could be guessed accurately After the war he worked at the National Physical Laboratory, where he created one of the first designs for a stored-program computer, the ACE.

Touring Machine 1936

Execution. Initially the Turing machine starts in one distinguished state called the start state, and the tape head points to one distinguished cell called the start cell. There is at most one possible transition corresponding to each combination of state and input symbol; thus, the actions of the machine are completely determined in advance.

4turing/ p p Turing Machine

Touring Machine 1936 Read the input symbol from the active cell. Look up the transition rule associated with the current state and input symbol. Overwrite the input symbol with the new symbol. Change the current state according to the transition rule. Shift the tape head one cell to the left or right, according to the new state's designation.

Universal Turing Machine "It is possible to invent a single machine which can be used to compute any computable sequence. If this machine U is supplied with a tape on the beginning of which is written the S.D ["standard description" of an action table] of some computing machine M, then U will compute the same sequence as M."

John Von Neumann December 28, 1903 – February 8, 1957 Made major contributions to: Set theory, Functional analysis, Quantum mechanics, Ergodic theory, Continuous geometry, Economics Computer science, Numerical analysis, Hydrodynamics

John Von Neumann Von Neumann distinguished himself from his peers in childhood for having a photographic memory, being able to memorize and recite back a page out of a phone book in a few minutes. Science, history, and psychology were among his many interests; he succeeded in every academic subject in school.

John Von Neumann He published his first mathematical paper in collaboration with his tutor at the age of eighteen, and resolved to study mathematics in college.

John Von Neumann Architecture

Alonzo Church June 14, 1903 – August 11, 1995 American mathematician and logician Made major contributions to: Mathematical logic and the Foundations of theoretical computer science

Alonzo Church He is best known for the lambda calculus, – is a formal system for function definition, function application and recursion – smallest universal programming language of the World – It is equivalent to Turing machines. However, it emphasizes the use of transformation rules and does not care about the actual machine implementing them Church–Turing thesis, Frege–Church ontology, and the Church–Rosser theorem.

Church–Turing Thesis Informally it states that if an algorithm (a procedure that terminates) exists then there is an equivalent – Turing machine, – recursively-definable function, – or applicable λ-function, for that algorithm. Today the thesis has near-universal acceptance

Modern Computers Von Neumann Machine implement a universal Turing machine and have a sequential architecture Modern Computers are based on John Von Neumann architecture Modern Computers are based on 1936 architecture

Travelling salesman problem The Travelling Salesman Problem (TSP) is a problem in combinatorial optimization studied in operations research and theoretical computer science. Given a list of cities and their pairwise distances, the task is to find a shortest possible tour that visits each city exactly once. oblem oblem

Travelling salesman problem The most direct solution would be to try all permutations (ordered combinations) and see which one is cheapest (using brute force search). The running time for this approach lies within a polynomial factor of O(n!), the factorial of the number of cities, so this solution becomes impractical even for only 20 cities. permutationsbrute force searchfactorial One of the earliest applications of dynamic programming is an algorithm that solves the problem in time O(n 2 2 n )dynamic programming

New Computer Paradigm Superposition

New Computer Paradigm In 1982, the Nobel prize-winning physicist Richard Feynman thought up the idea of a 'quantum computer', a computer that uses the effects of quantum mechanics to its advantage. Quantum Computers use non classic logic operations to perform numeric calculations. The advantage of Quantum Computers derives from their capabilities to execute multiple operations simultaneously on a single computer. The Quantum Computers are inspired on Quantum Mechanics.

New Computer Paradigm “I think it is safe to say that no one understands Quantum Mechanics. … What I am going to tell you about is what we teach our physics students in the third or fourth year of graduate school... It is my task to convince you not to turn away because you don't understand it. You see my physics students don't understand it.... That is because I don't understand it. Nobody does. (Richard Feynman)

David Deutsch’s Algorithm Compute in a single step:

Different Computer Paradigm Quantum algorithms will probably be used in computers within a 10 year range; there are several efficient algorithms already developed and many to come. Following we will show some interesting comparisons that would will help to illustrate the importance of these developments:

Dr. Quantum

Different Computer Paradigm

Mother Computer

IBM’s Quantum Computer