L'élimination de coupure en calcul de lambda pour lacomputation quantique
Kuantum Hesaplama için Lambda Kalkülde Kesme-eleme yöntemi
- Tez No: 947244
- Danışmanlar: PROF. DR. JEAN BAPTİSTE JOİNET
- Tez Türü: Yüksek Lisans
- Konular: Felsefe, Philosophy
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2024
- Dil: Fransızca
- Üniversite: Université Jean Moulin (Lyon III)
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Felsefe Ana Bilim Dalı
- Bilim Dalı: Bilim Tarihi ve Felsefesi Bilim Dalı
- Sayfa Sayısı: 52
Özet
Formel mantıkta, kanıt teorisinin önemli bir kavramı olan kesme-eleme yönteminin (cut eliminiation), hesaplama ve programlama alanıyla olan doğal bağlantısı olan Curry-Howard eşleşiminin ( Curry-Howard correspondance), kuantum paradigması bağlamında nelere karşılık geldiği ve kanıt teorisindeki belirlenemezcilikle, kuantum teorisinin anti-realist yorumunun bu eşleşim aracılığıyla oluşan potansiyel ilişkisinin tartışılması ve lineer mantıktaki bir örnek üzerinden varılan sonuçlara bir bakış.
Özet (Çeviri)
In this master thesis, the debate on the non-determinism of the cut elimination method, which is a proof theory, and its equivalent in the context of linear logic will be introduced, and the relevance of this debate in the context of quantum computing will be questioned; for this purpose, a model of linear lambda calculus will be used, which is constructed by considering the requirements of a quantum system. In this way, the consequences of the non-determinism of the cut elimination method on reduction, which is the computational counterpart of the Curry-Howard isomorphism, can be analysed in a quantum model.
Benzer Tezler
- Nefret suçunun Ceza Hukukundaki yeri
The place of hate crime in Criminal Law
ŞURA NUR PELİT
Yüksek Lisans
Türkçe
2022
HukukGalatasaray ÜniversitesiKamu Hukuku Ana Bilim Dalı
PROF. DR. PINAR KARTAL
- Alacaklı temerrüdünün şartları, hükümleri ve satım sözleşmesi açısından sonuçları
Conditions of the creditor default, provisions, results in terms of sale contrac
BURCU ZENGİN ÖZKÜÇÜKPARLAK
Doktora
Türkçe
2021
HukukGalatasaray ÜniversitesiÖzel Hukuk Ana Bilim Dalı
PROF. DR. HÜSEYİN MURAT DEVELİOĞLU
- Türk ve Avrupa Topluluğu Rekabet Hukukunda pazar paylaşımı ve pazara girişin engellenmesine yönelik anlaşmalar
Market sharing and the agreements on prevention of entry to the market according to the Turkish and European Community's Competition Law
ARZU ÖZGEN
Yüksek Lisans
Türkçe
2023
HukukGalatasaray ÜniversitesiKamu Hukuku Ana Bilim Dalı
PROF. DR. HALİL ERCÜMENT ERDEM
- Kök kanallarında oluşan 'smear tabakası'nın temizlenmesinin histolojik olarak incelenmesi
Başlık çevirisi yok
FARUK HAZNEDAROĞLU
Doktora
Türkçe
1991
Diş Hekimliğiİstanbul ÜniversitesiDiş Hastalıkları ve Tedavisi Ana Bilim Dalı
PROF.DR. ŞÜKRÜ ŞİRİN