In constructive mathematics, Church's thesis is an axiom stating that all total functions are computable functions. thus restricts the class of functions to computable ones and consequently is incompatible with classical logic in sufficiently strong systems. For example, Heyting arithmetic with as an addition axiom is able to disprove some instances of variants of the law of the excluded middle. However, Heyting arithmetic is equiconsistent with Peano arithmetic as well as with Heyting arithmetic plus Church's thesis. That is, adding either the law of the excluded middle or Church's thesis does not make Heyting arithmetic inconsistent, but adding both does. The Church–Turing thesis states that every effectively calculable function is a computable function. The constructivist version, , is much stronger, in the sense that with it every function is computable. (Wikipedia).
Douglas Bridges: Ishihara’s contributions to constructive analysis
The lecture was held within the framework of the Hausdorff Trimester Program: Constructive Mathematics. Abstract: I present some of Ishihara's fundamental contributions to Bishop-style constructive analysis, and their consequences. Among the areas discussed in the talk are: Ishihara's tr
From playlist Workshop: "Constructive Mathematics"
Klaus Mainzer: Constructivity and Computability. Perspectives for Mathematics [...]
Title: Klaus Mainzer: Constructivity and Computability. Perspectives for Mathematics, Computer Science, and Philosophy The lecture was held within the framework of the Hausdorff Trimester Program: Constructive Mathematics. Abstract: Since antiquity, mathematical proofs were realized by
From playlist Workshop: "Constructive Mathematics"
Bishop's Constructive Analysis
In this video I speak about the Constructive Analysis approach spearheaded by Bishop. I start a review of Techniques of Constructive analysis, discuss the Axiom of Dependent Choice, and so on. Text used in this video: https://gist.github.com/Nikolaj-K/2207cacbd7cc15f20a9b81bb2be04285 See a
From playlist Logic
Five Stages of Accepting Constructive Mathematics - Andrej Bauer
Andrej Bauer University of Ljubljana, Slovenia; Member, School of Mathematics March 18, 2013 Discussions about constructive mathematics are usually derailed by philosophical opinions and meta-mathematics. But how does it actually feel to do constructive mathematics? A famous mathematician
From playlist Mathematics
Reinhard Kahle: How Computations Entered in Mathematical Foundations
The lecture was held within the framework of the Hausdorff Trimester Program: Constructive Mathematics. Abstract: Starting from Hilbert's Programme, we discuss how computation became a central notion in mathematical foundations. Special emphasis is put on the distinction of syntax and se
From playlist Workshop: "Constructive Mathematics"
Giuseppe Rosolini: Categorical completions in constructive mathematics
The lecture was held within the framework of the Hausdorff Trimester Program: Constructive Mathematics. Abstract: There seems to be a very close connection between category theory and constructive mathematics which still is hard to make manifest, but which may be extremely useful to impr
From playlist Workshop: "Constructive Mathematics"
Henri Lombardi: A geometric theory for the constructive real number system and for o-minimal struct
Title: Henri Lombardi: A geometric theory for the constructive real number system and for o-minimal structures The lecture was held within the framework of the Hausdorff Trimester Program: Constructive Mathematics. Abstract: We work in a pure constructive context, minimalist, à la Bish
From playlist Workshop: "Constructive Mathematics"
Samuele Maschio: Two constructive approaches to probability theory
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: In classical mathematics, Kolmogorov’s axiomatic theory is the standard paradigm for probability. However, for a long time, many different non-overlapping approaches wer
From playlist Workshop: "Constructive Mathematics"
Celebrating Emil Post & His "Intractable Problem" of Tag: 100 Years Later
100 years after combinators were first presented, Stephen Wolfram unveils the latest computational results along with some special guests. After 100 Years, Can We Finally Crack Post’s Problem of Tag? A Story of Computational Irreducibility, and More: https://writings.stephenwolfram.com/202
From playlist Stephen Wolfram Livestreams
6. TM Variants, Church-Turing Thesis
MIT 18.404J Theory of Computation, Fall 2020 Instructor: Michael Sipser View the complete course: https://ocw.mit.edu/18-404JF20 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP60_JNv2MmK3wkOt9syvfQWY Quickly reviewed last lecture. Showed that various TM variants are al
From playlist MIT 18.404J Theory of Computation, Fall 2020
The Computational Universe - Leslie Valiant
Lens of Computation on the Sciences - November 22, 2014 The Computational Universe - Leslie Valiant, Harvard University The idea that computation has its own laws and limitations emerged in the 1930s. Some of the early computing pioneers, most notably Turing and von Neumann, already unde
From playlist Lens of Computation on the Sciences
Turing Centennial Conference: Turing, Church, Gödel, Computability, Complexity and Randomization
Turing, Church, Gödel, Computability, Complexity and Randomization Presented by Prof. Michael Rabin, Turing Award laureate, Hebrew University & Harvard University Alan M. Turing Centennial Conference - Israel April 4, 2012 The Wohl Centre Bar-Ilan University Ramat-Gan, Israel For more in
From playlist Alan M. Turing Centennial Conference - Israel
Quantum computing with noninteracting particles - Alex Arkhipov
Alex Arkhipov Massachusetts Institute of Technology February 9, 2015 We introduce an abstract model of computation corresponding to an experiment in which identical, non-interacting bosons are sent through a non-adaptive linear circuit before being measured. We show that despite the very
From playlist Mathematics
Mathematicians helping Art Historians and Art Conservators — Ingrid Daubechies — ICM2018
Mathematics can help Art Historians and Art Conservators in studying and understanding art works, their manufacture process and their state of conservation. The presentation will review several instances of such collaborations in the last decade or so. Some of them led (and are still leadi
From playlist Public Lectures
Kahn’s Square and Kant’s Square: Which Kind of “Intuition” in Architects’ Sketches - Philippe Boudon
Kahn’s Square and Kant’s Square: Which Kind of “Intuition” in Architects’ Sketches Philippe Boudon
From playlist CASVA symposium
RubyConf 2016 - The Building Built on Stilts by Nickolas Means
RubyConf 2016 - The Building Built on Stilts by Nickolas Means In the summer of 1978, structural engineer William LeMessurier got a phone call that terrified him. An undergraduate student claimed that LeMessurier's acclaimed 59-story Citicorp Center in Manhattan, just completed the year p
From playlist RubyConf 2016
The many facets of complexity of Beltrami fields in Euclidean space - Daniel Peralta-Salas
Workshop on the h-principle and beyond Topic: The many facets of complexity of Beltrami fields in Euclidean space Speaker: Daniel Peralta-Salas Affiliation: Instituto de Ciencias Matemáticas Date: November 02, 2021 Beltrami fields, that is vector fields on $\mathbb R^3$ whose curl is p
From playlist Mathematics
Hajime Ishihara: Constructive reverse mathematics an introduction and recent results
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: This talk presents an introduction to constructive reverse mathematics (CRM) with some recent results. The aim of CRM is to classify various theorems in intuitionistic, c
From playlist Workshop: "Proof, Computation, Complexity"
From Orphism to the Milesians in ancient Greece
History of Economic Theory by Dr. Shivakumar, Department of Humanities and Social Sciences IIT Madras, For more details on NPTEL visit http://nptel.iitm.ac.in
From playlist IIT Madras: History of Economic Theory | CosmoLearning.org Economics
Logic: The Structure of Reason
As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be
From playlist Logic & Philosophy of Mathematics