Linear Homotopy Type Theory and the First Topological Quantum Computing Programming Language

Type Theory married Homotopy Theory.
Classical programming languages are cartesian closed categories.
Quantum computers need a totally different type of programming language.

I go over all of this with theoretical physicist Urs Schreiber. He is Senior Research Scientist at the Mathematics Division of Science of New York University in Abu Dhabi. He applies tools from algebraic topology, homotopy theory and topos theory to understand quantum phenomena. His current research includes quantum computing programming languages and questions left unanswered by quantum field theory.

In this episode we go over:

Why toposes are not scary. They are actually simple. Just unfamiliar
How to extract information from (probe) a topos
The history of toposes in physics
The questions left unanswered by quantum field theory
What toposes have to say about the collapse of the wave function
Using toposes to find possible quantum computing materials
The different type of logic needed for quantum computers
The different type of programming language needed for quantum computers
The influence of Hegel on his work

Linear Homotopy Type Theory and the First Topological Quantum Computing Programming Language

Tags

Author

Stats

Published

You Might Also Like

I checked 18 claims in my own spec. Five were false, and one tag byte was responsible for one of them.

Every prime ends in 1, 3, 7 or 9. Put them on a compass and you get a clock

What Math Actually Buys You: Optimizing a Rock-Paper-Scissors Game in C

The 10 percent that bought nothing: what a flooring calculator should actually tell you

Domain coloring: plotting complex functions f(z) in the browser

Your rent-vs-buy break-even is two different numbers and nobody tells you which one you're seeing