Özyineleme (Recursion) teoremi nedir?
T, t:Ʃ^*×Ʃ^*→Ʃ^* fonksiyonunu hesaplayan bir Turing makinesi olsun. Ve bir r:Ʃ^*→Ʃ^* fonksiyonunu hesaplayan, her bir w için r(w)=t(
Başka bir açıdan:
Özyineleme (Recursion) teoremi, hesaplanabilirlik teorisinde ileri düzey çalışmalarda önemli bir rol oynayan matematiksel bir yaklaşımdır. Matematiksel mantığa, kendi kendini yeniden üreten sistemlerin teorisine ve hatta bilgisayar virüslerine bağlantıları vardır.
Özyineleme (Recursion) teoremini izah etmek için yaşam araştırmasında kullanılan bir paradokstan bahsedelim. Kendi kopyalarını oluşturabilen makineler yapma ihtimali var mıdır? sorusuna cevap aranmaktadır.
1. Canlılar makinelerdir.
2. Canlılar kendiliğinden çoğalabilirler.
3. Makineler kendi kendine çoğalamazlar.
Özyineleme (Recursion) teoremi 3.durumun yanlış olduğunu ortaya koyar.
Özyineleme (Recursion) teoremi:
T, t:E*xE*->E* fonksiyonunu işleyen bir Turing makinesidir. R, r:E*->E* fonksiyonunu her w girdisi için işleyen bir Turing makinesidir. r(w)=t(
Bu tanıma göre T Turing Makinesi, R Turing makinesini otomatik olarak üretir.
Bilgisayar virüsleri, kendi kendilerine çoğalan bir yapıdadırlar.
Videolu anlatım:
4-6 MART 2021 ÇEVRİMİÇİ TÜBİTAK-2237-B PROJE EĞİTİMİ ETKİNLİĞİ KTÜ – TRABZON
Alanında dünyada öncü Prof. Dr. Yener EYÜBOĞLU, Prof. Dr. Asım KADIOĞLU, Prof. Dr. Nurettin YAYLI,>>>
Mar
ARDEB 1001 – 2020 Sonuçlarını Değerlendirme ve Yenilikler Toplantısı
>>>
Şub
2021 yılı içerisinde değerlendirilebilecek konferanslar
GLOBAL CONFERENCE on ENGINEERING RESEARCH online 2-5 June 2021 Abstract or Full Paper Submission: 2>>>
Şub
Sayfamda paylaştığım bütün Karikatürler silinmiştir
İsimsiz bir uyarı yorumuyla araştırdığım vakit gördüm ki bazı karikatüristler blog sayfalarında karikatür paylaşanlara dava>>>
Oca
MATLAB – Error: Functions cannot be indexed using {} or . indexing.
data = get(z9).OutputData{1}; satırında aşağıdaki şekilde hata vermekteydi. Error: Functions cannot be indexed using {}>>>
Oca
“ERASMUS+ Yüksek Öğretim” konulu seminer notları
“ERASMUS + Yüksek Öğretim” konulu seminer notları Dr. Öğretim Üyesi Kemal TÜTÜNCÜ hocam tarafından sunulan>>>
Oca
Akademik bir makalenin Giriş kısmı nasıl yazılmalıdır?
Sinem Toraman @Sinem_Trmn tarafından verilen “Akademik Yazımda Metodolojik Sorunlar ve Çözüm Önerileri” başlıklı eğitimde bir>>>
Ara
4. Uluslararası Mühendislik Teknolojileri Konferansı
4. Uluslararası Mühendislik Teknolojileri Konferansı: https://icente.selcuk.edu.tr/>>>
Eyl
Kaç kere yeniden doğar insan?
Kaç kere yeniden doğar insan? Kaç kere yeniden doğmalı? Peki her doğumda aynı anadan mı>>>
Tem
Optimizasyon problemlerindeki belirsizlikler
Normalde bir x değişkeni için f(x) fonksiyonunun her zaman aynı sonucu üretmesi beklenir. Fakat bazı>>>
Tem
Moodle – mysql_full_unicode_support
Bu uyarıya rağmen Moodle kurulumu yapıldığı zaman bazı karakterlerin ve emojilerin desteklenmeyeceği belirtilmektedir.>>>
May
Moodle SSL ayarı nasıl yapılır?
SSL kurulumunuzu bitirdikten sonra config.php dosyasındaki: $CFG->wwwroot = 'http://sorucevaptest.com/moodle'; kısmındaki adresi https şeklinde düzenleyiniz. $CFG->wwwroot>>>
May
Moodle – mysql_full_unicode_support#File_format
Çözüm: https://docs.moodle.org/38/en/MySQL_full_unicode_support phpmyadmin yetkisi olanlar için: SET GLOBAL innodb_file_format = barracuda SET GLOBAL innodb_file_per_table =>>>
May
Tanım Teorileri: Platon’un İnsanı ders notları…
Tanım Teorileri: Platon’un İnsanı ders notları… İnsanın Tanımına Dair ders notları… başlıklı yazı: https://www.ahmetcevahircinar.com.tr/2020/04/19/insanin-tanimina-dair-ders-notlari/ “Namazın>>>
2 Comments
Nis
İnsanın Tanımına Dair ders notları…
İnsanın Tanımına Dair ders notları… İnsanın Tanımına Dair başlıklı videoyu yayınlandıktan 2 hafta sonra izleyebildim>>>
1 Comment
Nis
Uzman Sistemler -Bir Yapay Zeka Uygulaması- Novruz Allahverdi
Uzman Sistemler -Bir Yapay Zeka Uygulaması- Novruz Allahverdi Uzman Sistemler hakkında yabancı literatürün oldukça zengin>>>
Nis
Ne yapmayı düşünüyorsun?
“Ne yapmayı düşünüyorsun? Bu soru karşısında Martin Heidegger biraz duraklar ve şöyle der: “Hem düşünmek>>>
Ara
Eğlenerek İngilizce öğrenmek için Duolingo
Duolingo 2011 yılında ortaya çıkmış, benim 2016 yılında üye olduğum fakat geçtiğimiz günlerde Twitter’da yeniden>>>
Ara
Online MS Paint – jspaint.app
Windows işletim sistemine sahip olmadığınız ortamlarda alışkın olduğunuz Paint programını online olarak kullanabilirsiniz. Online Paint>>>
Ara
VATAN HAİNİ – Nâzım Hikmet
“Nâzım Hikmet vatan hainliğine devam ediyor hâlâ. Amerikan emperyalizminin yarı sömürgesiyiz, dedi Hikmet. Nâzım Hikmet>>>
Kas