turkmath.org

Türkiye'deki Matematiksel Etkinlikler

Hacettepe Üniversitesi Matematik Bölümü Seminerleri

11 Mart 2015, Çarşamba
15:00
Yaşar ATAMAN Seminer Salonu

Algorithmic unsolvability

Ahmet Çevik
University of Leeds, Birleşik Krallık

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.
Mantık
İngilizce
admin 20.03.2020'te eklendi

İLETİŞİM

Akademik biriminizin veya çalışma grubunuzun ülkemizde gerçekleşen etkinliklerini, ilan etmek istediğiniz burs, ödül, akademik iş imkanlarını veya konuk ettiğiniz matematikçileri basit bir veri girişi ile kolayca turkmath.org sitesinde ücretsiz duyurabilirsiniz. Sisteme giriş yapmak için gerekli bilgileri almak ya da görüş ve önerilerinizi bildirmek için iletişime geçmekten çekinmeyiniz. Katkı verenler listesi için tıklayınız.

Özkan Değer ozkandeger@gmail.com

DESTEK VERENLER

ja2019

31. Journees Arithmetiques Konferansı Organizasyon Komitesi

Web sitesinin masraflarının karşılanması ve hizmetine devam edebilmesi için siz de bağış yapmak, sponsor olmak veya reklam vermek için lütfen iletişime geçiniz.

ONLİNE ZİYARETÇİLER

©2013-2025 turkmath.org
Tüm hakları saklıdır