<div dir="ltr">

<p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;background:none repeat scroll 0% 0% white"><font><span><span style="font-family:"Times New Roman",serif;color:rgb(34,34,34)">Değerli liste üyeleri,</span></span></font></p><p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;background:none repeat scroll 0% 0% white"><br><font><span><span style="font-family:"Times New Roman",serif;color:rgb(34,34,34)"></span></span></font></p><p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;background:none repeat scroll 0% 0% white"><font><span><span style="font-family:"Times New Roman",serif;color:rgb(34,34,34)">detayları aşağıda ve ekte yer alan bölüm seminerimize bekleriz.</span></span></font></p><p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;background:none repeat scroll 0% 0% white"><br><font><span><span style="font-family:"Times New Roman",serif;color:rgb(34,34,34)"></span></span></font></p><p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;background:none repeat scroll 0% 0% white"><font><span><span style="font-family:"Times New Roman",serif;color:rgb(34,34,34)">İyi günler.</span></span></font></p><p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;background:none repeat scroll 0% 0% white"><font><span><span style="font-family:"Times New Roman",serif;color:rgb(34,34,34)">mesut<br></span></span></font></p><p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;background:none repeat scroll 0% 0% white"><b style><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)"><br></span></b></p><p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;background:none repeat scroll 0% 0% white"><b style><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)">Tarih (Date) :</span></b><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)"> 11.03.2015, Çarşamba
(</span><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)">Wednesday</span><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)">)<span style>                    </span></span></p>

<p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;background:none repeat scroll 0% 0% white"><b style><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)">Saat (Time):</span></b><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)"> 15:00</span></p>

<p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;background:none repeat scroll 0% 0% white"><b style><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)">Yer (Place):</span></b><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)"> Yaşar ATAMAN Seminer
Salonu</span></p>

<p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;background:none repeat scroll 0% 0% white"><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)"> </span></p>

<p class="MsoNormal" style="margin-bottom:12pt;line-height:normal"><b style><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)">Konuşmacı (Speaker):</span></b><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)"> </span><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34);background:none repeat scroll 0% 0% white">Dr. </span><span style="font-size:14pt;font-family:"Times",serif" lang="EN-US">Ahmet Çevik</span><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34);background:none repeat scroll 0% 0% white" lang="EN-US"> </span><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34);background:none repeat scroll 0% 0% white">(University of Leeds</span><span style="font-size:14pt">)</span><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34);background:none repeat scroll 0% 0% white"></span></p>

<p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal"><b style><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)">Başlık (Title) :</span></b><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)"> Algoritmik
çözülemezlik (Algorithmic unsolvability)</span><span style="font-size:12pt;font-family:"Times New Roman",serif"></span></p>

<p class="MsoNormal" style="margin-bottom:12pt;text-align:justify;line-height:normal"><b style><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)">Özet (Abstract) : </span></b><i style><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)">Hesaplanabilirlik kuramı</span></i><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)"> 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 <i style>çözülemezlik derecesi</i> 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. <br>
<i style><br>
Recursion theory</i>, also known as <i style>computability
theory</i>, is one of the four pillars of mathematical logic. In this talk, I
will give an introduction to algorithmic computability and degrees of
unsolvability. <i style>Degree of unsolvability</i>
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.</span><span style="font-size:12pt;font-family:"Times",serif" lang="EN-US"></span></p>

<p class="MsoNormal" style="margin-bottom:0.0001pt;text-align:justify;line-height:normal;background:none repeat scroll 0% 0% white"><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)"> </span></p>

<p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;background:none repeat scroll 0% 0% white"><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)">NOT: Konuşma sonunda çay ve pasta ikramı olacaktır.</span></p>

<p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;background:none repeat scroll 0% 0% white"><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)">(P.S.<span style>  </span>Tea and </span><span style="font-size:14pt;font-family:"Times New Roman",serif">cookies will be
served after the talk</span><span style="font-size:14pt;font-family:"Times New Roman",serif;color:rgb(34,34,34)">.)</span></p>

<div><div class="gmail_signature"><div dir="ltr">  <br><br>  Mesut Sahin<div>  Associate Professor<br>  Department of Mathematics<br>  Hacettepe University<br>  TR 06800 Beytepe </div><div>  ANKARA - TURKEY<br> <a href="http://yunus.hacettepe.edu.tr/~mesut.sahin" target="_blank">http://yunus.hacettepe.edu.tr/~mesut.sahin</a></div></div></div></div>
</div>