What is formal logic? by Graham Stevens
A non-technical overview of some of the key features of formal logic, including a very brief overview of its historical development, and the role it has played in ...
methodsMcr
The Church-Turing Thesis: Story and Recent Progress
Google Tech Talk June 8, 2009 ABSTRACT Presented by Yuri Gurevich. The Church-Turing thesis is one of the foundations of computer science. The thesis ...
Google TechTalks
The Church-Turing Thesis: Story and Recent Progress
The Church-Turing thesis is one of the foundations of computer science. The thesis heralded the dawn of the computer revolution by enabling the construct of ...
Microsoft Research
Grafos de conocimiento
Fernando Paz
Theorem provers are a P.L. researcher's best friend
Presented by Xavier Leroy. Presented at PLMW @ POPL'20.
ACM SIGPLAN
The mathematics of machine learning and deep learning – Sanjeev Arora – ICM2018
Plenary Lecture 15 The mathematics of machine learning and deep learning Sanjeev Arora Abstract: Machine learning is the sub-field of computer science ...
Rio ICM2018
Steve Awodey: Mac Lane and Carnap's Logical Syntax of Language
Impact des categories : 60 ans de theorie des Categories : aspects historiques et philosophiques October 11, 2005 Credits to L' Ecole Normale Superieur.
Logic and Foundations of Mathematics
Learning Controllable Representations - Richard Zemel
Seminar on Theoretical Machine Learning Topic: Learning Controllable Representations Speaker: Richard Zemel Affiliation: University of Toronto; Member, ...
Institute for Advanced Study
Lecture 2 - What is an algorithm? Yuri Gurevich
The Ada Lovelace Bicentenary Lectures on Computability, 2015-2016 Organized by Jack Copeland, Eli Dresner and Diane Proudfoot Lecture 2: " What is an ...
Israel Institute for Advanced Studies
"Height and Happiness" - Melvin Fitting (CUNY)
Joi, 27 martie 2014, ora 16.00, Sala 6. Facultatea de Filosofie a avut loc conferinţa "Height and Happiness" susţinută de Profesorul Melvin Fitting, City University ...
Facultatea de Filosofie
Mod-01 Lec-17 Introduction to Predicate Logic
Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit http://nptel.iitm.ac.in.
nptelhrd
Introduction to Logic: Sample from Tom Woods's Liberty Classroom
Gerard Casey, a professor of philosophy at University College, Dublin, and author most recently of the books _Murray Rothbard_ and _Libertarian Anarchy: ...
TomWoodsTV
Lecture #4
The brilliant and delightful Sung gives a lecture on the history of Set Theory :)
metamathematicslectures
Mathematics and Reality DAY 2 01
"Can Computers help to sharpen our understanding of ontological arguments?"- Dr. Christoph Benzmuller, University of Luxembourg.
Bhaktivedanta Institute - Media
STP - Reading Logics of Worlds - Greater Logic and Ordinary Logic
stp.ideaandideology.com.
Círculo de Estudos da Ideia e da Ideologia
1. Frege: "Thought, Sense, & Reference"
In this video Professor Thorsby offers an introduction to contemporary philosophy, beginning with the work of Gottlob Frege. This lecture reviews Frege's ...
Mark Thorsby
Byron Cook: Formal Reasoning about the Security of Amazon Web Services
Plenary lecture at the Federated Logic Conference, 16 July 2018 - see http://www.floc2018.org/speaker/byron-cook/ for details.
Federated Logic Conference FLoC 2018
Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 2 of 5 - λC 2017
Description: The formal systems that are nowadays called lambda-calculus and combinatory logic were both invented in the 1920s, and their aim was to ...
LambdaConf
COG250 11 - History of AI
Introduction to Cognitive Science, University of Toronto, Summer 2019 This course is based on the work of prof. John Verveake.
Cory Lewis
FORMATS2020, Session FOS11, September 3 [RECORDED SESSION]
QONFEST2020
PNW PLSE Workshop: Welcome and Introductions
The PNW PLSE workshop provides an opportunity for programming languages and software engineering researchers throughout the Pacific Northwest to meet, ...
Microsoft Research
CSE215: Foundations of Computer Science: The Logic of Compound Statements
Online course, Summer 2020 Instructor: Paul Fodor Stony Brook University http://www3.cs.stonybrook.edu/~pfodor/courses/summer/cse215.html.
Paul Fodor
Tutorial: What is a probability monad? (Paolo Perrone)
Tutorial talk for the Categorical Probability and Statistics workshop 2020: http://perimeterinstitute.ca/personal/tfritz/2019/cps_workshop/ Title: What is a probability ...
Paolo Perrone
Duncan Coutts - Building a Billion Dollar Cryptocurrency with Haskell | Code Mesh LDN 18
This video was recorded at Code Mesh LDN 18 http://bit.ly/2P7SPII Get involved in Code Sync's next conference http://bit.ly/2Mcm4aS --- BUILDING A BILLION ...
Code Sync
CVPR18: Tutoral: Part 2: Software Engineering in Computer Vision Systems
Organizers: David Doria Description: Each year top computer vision researchers from around the world gather at CVPR to present and discuss recent ...
ComputerVisionFoundation Videos
LPC2019 - Challenges of the RDMA subsystem
Challenges of the RDMA subsystem Speaker Mr Jason Gunthorpe (Mellanox Technologies) Description The RDMA subsystem in Linux (drivers/infiniband) is ...
Linux Plumbers Conference
Space: a computational frontier in biomedical research - Prof. Albert Burger
Pinpointing the precise location of biological and physiological processes in an organism is critical for our understanding of them. Increasingly such spatial ...
HWU Lectures
Social Psychology Lecture, UCLA, Matthew Lieberman, Ph.D. (Psych 135), 10.06.09
Social Psychology Lecture by Matthew Lieberman, Ph.D. Recorded at UCLA on 10.06.09 Lecture 3 of the 17 part Fall 2009 series (Psych 135)
UCLACourses
A Lesson in Linguistics and Philology: Advancing the debate on the meaning of Kemet
Bro. Asar Imhotep will have a spirited discourse with our good brother Neter Neb of the Pr-Ntr research group on the etymology and meaning of Kemet.
Asar Imhotep
AI and Society: 03a. History and claims of AI (Part I)
We discuss some of the main points in the history of ideas behind AI: Aristotle, the Turing Test, the Chinese Room, SHRDLU and Moore's Law.
Dr Andreas Matthias
CCN 2019: Tutorial T-B Causal inference
2019 Conference on Cognitive Computational Neuroscience 13-16 September 2019, Berlin, Germany Tutorial T-B Causal inference Presented by Dominik ...
Cognitive Computational Neuroscience
Existence in Spacetime and the Lorentz Transformations
In this online lecture, I introduce an equivalence relation that directly connects the concept of existence in a formal way to physics. This equivalence relation is ...
Armin Nikkhah Shirazi
Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling
Paper and supplementary material: ...
POPL 2019
EBTC GRADE Webinar Part 1
How certain are we? Progress in adapting systematic review methods to environmental health assessments Session 1: Incorporating mechanistic data in EH ...
Evidence-based Toxicology Collaboration
Graham Priest - Frege
A lecture on Gottlob Frege's legacy.
Emporium
Discussions in Architecture: Stan Allen with Preston Scott Cohen
Stan Allen, Dean of Princeton University School of Architecture and Principal of SAA/Stan Allen Architect, in conversation with Preston Scott Cohen, Chair of the ...
Harvard GSD
10 Carnap and McKinsey: Topics in the Pre-history of Possible-worlds semantics by Max Cresswell
matsciencechannel
Kurt Gödel Centenary Full Lectures from the Princeton Institute for Advanced Study
My other Gödel videos start with: http://www.youtube.com/watch?v=B2DY8WvSOLU and my Georg Cantor videos start here: ...
GaryGeckDotCom
Sergei Artemov --- On the Provability of Consistency.
Talk given on Wednesday May 15, 2019 at The Graduate Center. Abstract: We revisit the foundational question concerning Peano arithmetic PA: (1) can ...
The New York City Category Theory Seminar
Andrea Censi: Designing everything together
MIT Category Theory Seminar 2020/01/23 ©Spifong Title: Designing everything together Abstract: Category theory can be very useful for many domains of ...
Topos
"Experiments in hep-th" presented by Prof Vishnu Jejjala Professor, School of Physics, Wits
Wits Mathematica Commiunity seminar... (15 May 2020). ABSTRACT: Machine learning provides a new tool for analyzing Big Data and Small Data in ...
computational X
What Kind of Computation is Human Cognition? A Brief History of Thought (Episode 2/2)
Since the naming of the field in 1956, AI has been dominated first by symbolic rule-based models, then early-generation neural (or “connectionist”) models, then ...
Microsoft Research