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: Unıversıte Jean Moulın (lyon Iıı)
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Felsefe Ana Bilim Dalı
- Bilim Dalı: Bilim Tarihi ve Felsefesi Bilim Dalı
- Sayfa Sayısı: Belirtilmemiş.
Ö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
- L'application des methodes de prise de decision a multicriteres au probleme de selection de personnel
Çok ölçütlü karar verme yöntemlerinin personel seçimi problemine uygulanması
İSMAİL ÖZGÜR BAYKAL
Yüksek Lisans
Fransızca
2007
Endüstri ve Endüstri MühendisliğiGalatasaray ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
PROF. DR. E. ERTUĞRUL KARSAK
- Le choix de la meilleure alternative de transport pour la solution du probleme de traffic a İstanbul
İstanbul'daki trafik probleminin çözümü için en uygun ulaşım alternatifinin seçimi
ASLI GÜL ÖNCEL
Yüksek Lisans
Fransızca
2003
Endüstri ve Endüstri MühendisliğiGalatasaray ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. MÜJDE EROL GENEVOİS
