![]() |
![]() |
University of Birmingham > Talks@bham > Postgraduate Seminars in the School of Computer Science > Infinite data structures, computability and decidability
Infinite data structures, computability and decidabilityAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Mohamed Menaa. I will try to convince the audience that topology, which is a field of mathematics arising from geometry, is useful in computer science when one does computing with infinite data structures such as streams of numbers, infinite trees and alike. In particular we discuss different methods of representing real numbers and relate them to geometric ideas. We show how geometric ideas translate quite naturally to issues about deciding properties of numbers such as ‘is the number positive?’ or ‘is the number equal to 0?’ or ‘can this function be implemented in some programming language?’ This talk is part of the Postgraduate Seminars in the School of Computer Science series. This talk is included in these lists:Note that ex-directory lists are not shown. |
Other listsReading Group in Combinatorics and Probability Facts and Snacks Nanoscale Physics SeminarsOther talksThe Heat content of polygonal domains EIC (Title TBC) Time crystals, time quasicrystals, and time crystal dynamics Towards the next generation of hazardous weather prediction: observation uncertainty and data assimilation Developing coherent light sources from van der Waals heterostructures coupled to plasmonic lattices The Holographic Universe |