Concept
Intuitionism
Related lectures (29)
Sequent Calculus: Basics and Applications
Covers the basics and applications of Sequent Calculus in Logic and Proof Theory, including Cut Elimination and practical proof analysis.
Designing Calculi: Strong Normalization and Error Handling
Covers strong normalization, error handling, and typing rules for Calculi design.
Philosophy of Mathematics: Ontology and Structures
Explores the existence of mathematical objects, truth of propositions, and knowledge about them, covering Platonism, Intuitionism, Structuralism, Nominalism, Logicism, and Formalism.
Reformulating Problems: Tools and Intuition
Focuses on open problems and the importance of reformulating problems with better tools and intuition.
Density matrix and von Neumann entropy: first intro
Introduces density matrix and von Neumann entropy in quantum systems.
Vector Calculus: Line Integrals
Covers the concept of line integrals and their application in vector fields.
Principles of Digital Communication
Covers the principles of digital communication, focusing on the Nyquist Sampling Theorem and signal space dimension.
Electromagnetic Fields in Medium
Explores electromagnetic fields in a medium, covering macroscopic Maxwell equations, polarization, magnetization, and dielectric permittivity.
Pearl's Do Calculus: Rules and Intuition
Explains Pearl's do calculus rules and intuition, including action/observation exchange and interventions.
Inventory Management
Covers the (s,s)-inventory model, stationary Markov chains, time reversal property, and detailed balance condition.