Exploring Lawvere-Tierney Topologies in Computability Theory 🧠

Join Takayuki Kihara from Nagoya University as he delves into Lawvere-Tierney topologies and their significance for computability theorists. Recorded on October 5, 2021.

Exploring Lawvere-Tierney Topologies in Computability Theory 🧠
Computability
285 views • Oct 5, 2021
Exploring Lawvere-Tierney Topologies in Computability Theory 🧠

About this video

Recorded 5 October 2021

Video Information

Views

285

Duration

56:50

Published

Oct 5, 2021

Related Trending Topics

LIVE TRENDS

Related trending topics. Click any trend to explore more videos.