Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Next revisionBoth sides next revision
20cs700 [2020-09-09] – [Synopsis] Martin Ziegler20cs700 [2020-09-17] – [Synopsis] Martin Ziegler
Line 27: Line 27:
 Un-/Computability, Halting Problem, Semi-/Decidability, Reduction, WHILE model of computation, SMN property/Currying, Oracle computation, Limit Lemma, Arithmetic Hierarchy \\ Un-/Computability, Halting Problem, Semi-/Decidability, Reduction, WHILE model of computation, SMN property/Currying, Oracle computation, Limit Lemma, Arithmetic Hierarchy \\
 **II. Computability theory over the Reals**:  \\ **II. Computability theory over the Reals**:  \\
-a)   Computing Real Numbers: three equivalent notions, counter/examples, oracle-computable reals/limit Lemma \\ +a)   Computing Real Numbers: three equivalent notions, counter/examples, oracle-computable reals/limit Lemma ([[https://drive.google.com/file/d/1goACIp9v1Lva1m7tUx8E7_bS2xawIfUT|video]]) \\ 
-b)  Computing Real Sequences: semi-decidability / strong undecidability of equality, no computable sequence contains all computable reals  \\ +b)  Computing Real Sequences: semi-decidability / strong undecidability of equality, no computable sequence contains all computable reals  ([[https://drive.google.com/file/d/14TqLkBtmdQy5A-bLUDb0juOAmQKxcW-j|video]])\\ 
-c)  Computing Real Functions: closure under composition and restriction and sequences, necessarily continuous, computable Weierstrass Theorem, compactness \\ +c)  Computing Real Functions: closure under composition and restriction and sequences, necessarily continuous, computable Weierstrass Theorem ([[https://drive.google.com/file/d/1bD4sUmWErYefwmnXKibD08s04XPTDW6W|video]])\\ 
-d)  Computing Real Functions (continued): uncomputable Root Finding, uncomputable Derivative, uncomputable Wave Equation \\+d)  Advanced Un/Computility of Real Functions: uncomputable Argmin/Root Finding, uncomputable Derivative, uncomputable ODE, uncomputable, Wave Equation, compactness in Real Computation \\
 e)  Multi-Functions & Enrichment: generalized restriction, fundamental theorem of algebra, fuzzy sign, Archimedian property, linear algebra, analytic functions \\ e)  Multi-Functions & Enrichment: generalized restriction, fundamental theorem of algebra, fuzzy sign, Archimedian property, linear algebra, analytic functions \\
 f)  Computing Real Operators: encoding continuous functions, encoding compact subsets \\ f)  Computing Real Operators: encoding continuous functions, encoding compact subsets \\