Concept

Computable function

Related lectures (28)

Sciences and Technologies Studies: Commensurable Data

Discusses the transition from case studies to commensurable data in Sciences and Technologies Studies, emphasizing comparisons and indicators.

Convergence Analysis: Explicit RK Scheme

Explores the convergence analysis of the Explicit Runge-Kutta scheme for accurate numerical solutions.

Total Functions: How and Why

Explores hash table efficiency, total functions in code modeling, and well-founded relations for recursive function termination.

Quantum Backaction

Explores quantum backaction, noise mitigation strategies, and the analysis of quantum fluctuations.

Foundations of Deep Learning: Transformer Architecture Overview

Covers the foundational concepts of deep learning and the Transformer architecture, focusing on neural networks, attention mechanisms, and their applications in sequence modeling tasks.

Understanding Vacuum Energy in Inflation

Explores vacuum energy during inflation and the dynamics of scalar and vector fields, emphasizing the importance of seeking clarification and providing details about upcoming exams.

Induction and Recursion: Summary

Covers mathematical induction, recursively defined functions, and iterative algorithms for problem-solving.

Numerical Analysis: Implicit Schemes

Covers implicit schemes in numerical analysis for solving partial differential equations.

Universal Turing Machine: Definition and Functioning

Explores the universal Turing machine, its canonical representation, and its role in defining algorithms and theoretical computer science concepts.

Understanding Chaos in Quantum Field Theories

Explores chaos in quantum field theories, focusing on conformal symmetry, OPE coefficients, and random matrix universality.

Recursive Functions: Substitution Interpreter

Covers the implementation of recursive functions using substitutions and environments, showcasing the ability to execute computable functions.

Communication Amid Uncertainty

Explores challenges in human communication, context importance, compression problems, uncertain functionality, and proof verification.

Explicit RK Methods

Explains explicit Runge-Kutta methods up to order 4 and conditions for method's order.

Numerics: semester project

Covers the semester project on numerics, focusing on adaptive algorithms and multistep methods.

Nerves and Geometric Realization

Covers the explicit computations of nerves of categories and geometric realisations of simplicial sets.

Theory of Computability and Halting Problem

Covers the theory of computability and the halting problem in algorithms.

Voronoi Analysis: Closest Vector Problem

Explores Voronoi analysis for efficient Closest Vector Problem solutions.

Kirillov Paradigm for Heisenberg Group

Explores the Kirillov paradigm for the Heisenberg group and unitary representations.

Effective Field Theory: Universal Description at Low Energies

Explores effective field theory, emphasizing its application to the standard model and the hierarchy problem.

Quantum Optics: Squeezed States

Covers the concept of squeezed states in quantum optics and their significance.