[Turkmath:300] 11 Mart Çarşamba, Hacettepe Matematik Semineri, Dr. Ahmet Çevik

[Mesut Şahin]

Değerli liste üyeleri,


detayları aşağıda ve ekte yer alan bölüm seminerimize bekleriz.


İyi günler.

mesut


*Tarih (Date) :* 11.03.2015, Çarşamba (Wednesday)

*Saat (Time):* 15:00

*Yer (Place):* Yaşar ATAMAN Seminer Salonu



*Konuşmacı (Speaker):* Dr. Ahmet Çevik (University of Leeds)

*Başlık (Title) :* Algoritmik çözülemezlik (Algorithmic unsolvability)

*Özet (Abstract) : **Hesaplanabilirlik kuramı* matematiksel mantığın dört
alanından biridir. Bu konuşmada algoritmik hesaplanabilirlik kavramının ne
olduğu tartışılacak, çözülemezlik derecelerine giriş yapılacaktır. Bir
kümenin *çözülemezlik derecesi* o kümenin diğer çözülemez kümelere göreceli
olarak hesaplanabilirlik düzeyini verir. Derecelerin arasındaki
matematiksel ilişkilerden bahsedilecek, zaman kaldığı takdirde algoritmik
rastgelelik kavramından bahsedilecektir.

* Recursion theory*, also known as *computability theory*, is one of the
four pillars of mathematical logic. In this talk, I will give an
introduction to algorithmic computability and degrees of unsolvability. *Degree
of unsolvability* of a set gives us its level of algorithmic unsolvability
relative to other undecidable sets. We will examine the relationship
between degrees of unsolvability and then discuss algorithmic randomness if
time permits.



NOT: Konuşma sonunda çay ve pasta ikramı olacaktır.

(P.S.  Tea and cookies will be served after the talk.)


  Mesut Sahin
  Associate Professor
  Department of Mathematics
  Hacettepe University
  TR 06800 Beytepe
  ANKARA - TURKEY
 http://yunus.hacettepe.edu.tr/~mesut.sahin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20150309/c2a43bd7/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ahmet-cevik.docx
Type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
Size: 50134 bytes
Desc: not available
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20150309/c2a43bd7/attachment-0001.docx>