My introduction to the interplay of mathematics, logic, and computer science was trying to wrap my head around Scott's Domain Theory. I am amazed to see how integrated that project was at its conception. Now, studying coalgebras and impredicative logics, I am floored at the depth and quality of Dr. Scott's thinking. Thank you for giving this speech, and thank you to the Topos Institute for giving it a platforn.
![Banach Fixed-Point Theorem [dark version]](http://i.ytimg.com/vi/pUklLJEv-1s/mqdefault.jpg)
Always a joy to hear Dana talk.
My introduction to the interplay of mathematics, logic, and computer science was trying to wrap my head around Scott's Domain Theory. I am amazed to see how integrated that project was at its conception. Now, studying coalgebras and impredicative logics, I am floored at the depth and quality of Dr. Scott's thinking. Thank you for giving this speech, and thank you to the Topos Institute for giving it a platforn.