Jeremy Dubut: Natural homology computability and Eilenberg Steenrod axioms
The lecture was held within the framework of the Hausdorff Trimester Program : Applied and Computational Algebraic Topology.
Hausdorff Center for Mathematics
Samson Abramsky: "Contextual semantics: quantum mechanics and beyond", Lecture 3
Samson Abramsky Contextual Semantics: Quantum mechanics and beyond Lecture 2 Spring School in Quantum Structures in Physics and Computer Science, ...
OxfordQuantumVideo
Sean Tull: "Operational physics, logic and categories"
Recent years have seen several reconstructions of quantum theory from among more general operational theories of physics, defined in terms of systems and ...
OxfordQuantumVideo
Algorithmically random structures
Bakhadyr Khoussainov University of Auckland, New Zealand.
Institute for Mathematical Sciences
Results in Computable Model Theory of Continuous Logic - Caleb Camrud
2020 North American Annual Meeting of the Association for Symbolic Logic University of California, Irvine March 25–28, 2020.
Association for Symbolic Logic
Bart Jacobs: "Perspectives on Categorical Quantum Logic"
Speaker: Bart Jacobs Title: Perspectives on Categorical Quantum Logic Slides: http://www.cs.ru.nl/B.Jacobs/TALKS/quantum-logic-6up.pdf Event: PrakashFest, ...
OxfordQuantumVideo
Towards Simplicial Complexes in Homotopy Type Theory - Maximilian Doré
HoTT-UF 2020
Gillian: a Multi-language Platform for Compositional Symbolic Analysis
This talk will give a general introduction to Gillian, a multi-language platform for symbolic program analysis being developed by my team at Imperial College ...
ACM SIGPLAN
Dexter Kozen. Joint Distributions and Probabilistic Semantics. (Plenary Talk)
Dexter Kozen. Joint Distributions and Probabilistic Semantics. (Plenary Talk)
MFPS 2020
Jana Glivická. Nonstandard methods and models of weak arithmetics
Journées sur les Arithmétiques Faibles (JAF 36) http://www.pdmi.ras.ru/EIMI/PDMI/JAF/
PDMI Logic Lab
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules: Key ideas
This is a video explains some of the key ideas in the paper "Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules", published at IJCAI 2020.
KBS talks
Anupam Das, University of Birmingham
Cyclic proofs, Peano arithmetic, and logical complexity.
Online Worldwide Seminars in Logic and Semantics
Paul Taylor: "A computable axiomatisation of the topology of R and C"
Speaker: Paul Taylor Title: A computable axiomatisation of the topology of R and C Event: Categories, Logic and Foundations of Physics V (August 2009, ...
OxfordQuantumVideo
Simon Perdrix: "Graphs states and the necessity of Euler decomposition"
Speaker: Simon Perdrix (Universite Paris Diderot) Title: Graphs states and the necessity of Euler decomposition Event: Quantum Physics and Logic 2009 (April ...
OxfordQuantumVideo
Fundamentals of Mathematics - Lecture 15: Dedekind-Peano vs Peano Arithmetic
This is the class where we talk about the Extra Credit. course page: http://www.uvm.edu/~tdupuy/logic/Math52-Fall2017.html videography - Eric Melton - UVM.
Taylor Dupuy
20th century in science | Wikipedia audio article
This is an audio version of the Wikipedia Article: https://en.wikipedia.org/wiki/20th_century_in_science 00:01:17 1 Astronomy and space exploration 00:04:21 2 ...
wikipedia tts
Jonathan Gallagher: Categorical semantics of a simple differential programming language
Title: Categorical semantics of a simple differential programming language Speaker: Jonathan Gallagher (joint work with Geoffrey Cruttwell and Dorette Pronk) ...
Applied Category Theory
Amar Hadzihasanovic, "A diagrammatic axiomatization of the GHZ and W quantum states"
Talk given as part of QPL 2015, Oxford, UK http://www.cs.ox.ac.uk/qpl2015/
OxfordQuantumVideo
Medieval science | Wikipedia audio article
This is an audio version of the Wikipedia Article: https://en.wikipedia.org/wiki/History_of_science 00:01:59 1 Early cultures 00:03:22 1.1 Ancient Near East ...
wikipedia tts
Cambridge Ethics in Maths. Lecture 1 Part 1/4
Part of a series of 8 lectures on Ethics in Mathematics, given by Dr Maurice Chiodo in the Faculty of Mathematics at the University of Cambridge, in Michaelmas ...
Ethics in Maths
Formalising the E.-S. Closed Interval Axiomatisation in Univalent Type Theory - Todd Waugh Ambridge
Full title: Formalising the Escardó-Simpson Closed Interval Axiomatisation in Univalent Type Theory.
HoTT-UF 2020
WBL'20: F. Esteva (CSIC), A. Figallo-Orellano (UNS), T. Flaminio (CSIC) and L. Godo (CSIC)
Degree-preserving companion of Nelson logic expanded with a consistency operator The main aim of this paper is defining a Logic of Formal Inconsistency over ...
Sociedade Brasileira de Lógica
Set Theory
Techies Hub Cloud
Erik Palmgren: From type theory to setoids and back
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: Errett Bishop proposed several ...
Hausdorff Center for Mathematics
SIMMA 2020 - Palestra 6
Palestra "Transmathematics" - James Anderson - University of Reading - Reino Unido Resumo: Transmathematics goes beyond the usual mathematics by ...
simma
Vincenzo Marra, A logician's encounter with classical decision theory... - July 9, 2014
Games and Decision 2 WORKSHOP Centro di Ricerca Matematica "E De Giorgi" Sala Azzurra - Palazzo della Carovana Scuola Normale Superiore Piazza dei ...
Scuola Normale Superiore
Historian of science | Wikipedia audio article
This is an audio version of the Wikipedia Article: https://en.wikipedia.org/wiki/History_of_science 00:02:08 1 Early cultures 00:03:37 1.1 Ancient Near East ...
wikipedia tts
1.4 Probability and Statistics
Unit 1, Module 4 Algorithmic Information Dynamics: A Computational Approach to Causality and Living Systems---From Networks to Cells by Hector Zenil and ...
Complexity Explorer
Lovelace Lecture 2019 - Gordon Plotkin
Lovelace Lecture 2019 Languages for learning - Professor Gordon Plotkin.
BCS, The Chartered Institute for IT
Pure mathematics | Wikipedia audio article
This is an audio version of the Wikipedia Article: https://en.wikipedia.org/wiki/Pure_mathematics 00:02:05 1 History 00:02:14 1.1 Ancient Greece 00:03:45 1.2 ...
wikipedia tts
Julie Grèzes (ENS Paris) : "To be or not to be Charlie? (...)"
Julie Grèzes (ENS Paris) : "To be or not to be Charlie? The impact of group affiliation on the processing of others' emitted social signals" The Brains that pull the ...
IEA de PARIS
Compositionality Journal: A quick look at the first papers
The papers are * Network models from Petri nets with catalysts * Fuzzy sets and presheaves * Stinespring's construction as an adjunction * An effect-theoretic ...
Nikolaj-K
Dines Bjørner - An Informatics View of The World
This talk is for beginners in the serious study of computer science. Behind its presentation lies the attitude that software, including programmes, denote ...
ФКН ВШЭ
Didier Dubois, Qualitative decision theory: the possibilistic setting - July 7, 2014
Games and Decision 2 WORKSHOP Centro di Ricerca Matematica "E De Giorgi" Sala Azzurra - Palazzo della Carovana Scuola Normale Superiore Piazza dei ...
Scuola Normale Superiore
Hammurabi Mendes (11/10/15): Byzantine Computability and Combinatorial Topology
Applied Algebraic Topology Network
ICAPS 2018: Vaishak Belle on "More for Free: A Dynamic Epistemic Framework for Conformant ..."
ICAPS 2018 talk on the paper Davide Nitti, Vaishak Belle, Luc De Raedt and Tinne De Laet. More for Free: A Dynamic Epistemic Framework for Conformant ...
ICAPS
Science in the Middle Ages | Wikipedia audio article
This is an audio version of the Wikipedia Article: https://en.wikipedia.org/wiki/History_of_science 00:01:40 1 Early cultures 00:02:52 1.1 Ancient Near East ...
wikipedia tts
Fundamentals of Mathematics - Lecture 06: Basic Divisibility Proofs (from axioms)
handouts - DZB, Emory videography - Eric Melton, VM.
Taylor Dupuy
Combinatory interpretation of lambda calculus (2 Solutions!!)
Combinatory interpretation of lambda calculus Helpful? Please support me on Patreon: https://www.patreon.com/roelvandepaar With thanks & praise to God, ...
Roel Van de Paar
Operational Semantics for Single-Particle Classical Thermodynamics
Dominic Horsman, Durham University https://simons.berkeley.edu/talks/dominic-horsman-2016-12-6 Compositionality.
Simons Institute
Andreas Doering: "Some steps towards noncommutative Gel'fand duality"
Speaker: Andreas Doering (University of Oxford) Title: Some steps towards noncommutative Gel'fand duality Event: Quantum Physics and Logic 2010 (May ...
OxfordQuantumVideo
Historians of science | Wikipedia audio article
This is an audio version of the Wikipedia Article: https://en.wikipedia.org/wiki/History_of_science 00:02:19 1 Early cultures 00:03:55 1.1 Ancient Near East ...
wikipedia tts
