A Calculus for Brain Computation

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=gDZM8tT6Kes


Duration: 1:03:50
7,465 views
257

How does the brain beget the mind? How do molecules, cells, and synapses effect reasoning, intelligence, language, science? Despite dazzling progress in experimental neuroscience we do not seem to be making progress in the overarching question -- the gap is huge and a completely new approach seems to be required. As Richard Axel recently put it: "We don't have a logic for the transformation of neural activity into thought." What kind of formal system would qualify as this "logic"? I will sketch a possible answer.

(Joint work with Santosh Vempala, Dan Mitropolsky, Mike Collins, Wolfgang Maass, and Larry Abbott.)

Talk slides: https://www.microsoft.com/en-us/research/uploads/prod/2019/09/A-Calculus-for-Brain-Computation-SLIDES.pdf

Learn more about this and other talks at Microsoft Research: https://www.microsoft.com/en-us/research/video/a-calculus-for-brain-computation/



Other Videos By Microsoft Research


2019-10-07Discover[i]: Component-based Parameterized Reasoning for Distributed Applications
2019-10-04Scheduling For Efficient Large-Scale Machine Learning Training
2019-10-03Distributed Entity Resolution for Computational Social Science
2019-10-03MMLSpark: empowering AI for Good with Mark Hamilton [Podcast]
2019-10-02Non-linear Invariants for Control-Command Systems
2019-10-02Vision-and-Dialog Navigation
2019-10-01The Future of Mathematics?
2019-09-30How Not to Prove Your Election Outcome
2019-09-30The Worst Form Including All Those Others: Canada’s Experiments with Online Voting
2019-09-30DIFF: A Relational Interface for Large-Scale Data Explanation
2019-09-30A Calculus for Brain Computation
2019-09-26Decoding Multisensory Attention from Electroencephalography for Use in a Brain-Computer Interface
2019-09-26A Short Introduction to DIMACS & DIMACS and MSR-NYC
2019-09-26Boosting Innovation and Discovery of Ideas
2019-09-26Resource-Efficient Redundancy for Large-Scale Data Processing and Storage Systems
2019-09-26Optimizing Declarative Graph Queries at Large Scale
2019-09-25SILK: Preventing Latency Spikes in Log-Structured Merge Key-Value Stores
2019-09-25Coverage Guided, Property Based Testing
2019-09-25Efficient Robot Skill Learning: Grounded Simulation Learning and Imitation Learning from Observation
2019-09-25Towards Secure and Interpretable AI: Scalable Methods, Interactive Visualizations, & Practical Tools
2019-09-25Sequential Estimation of Quantiles with Applications to A/B-testing and Best-arm Identification