Separation of randomness notions in Weihrauch degrees

履歴
2015年10月2日 要旨アップロード

タイトル
Separation of randomness notions in Weihrauch degrees

種類
Dagstuhl Seminarでの黒板での短い講演

要旨
If someone says that a function is “computable”, it sometimes means that it is programmable with a programming language with a random generator. Computability with a random set can be paid more attension. In this talk we will consider whether we can make a random set more random. In other words, we will consider randomness notions in Weihrauch degrees and see some separation of them.
This is a joint work with Rupert Hölzl.