(Yapay) Zekâ Yılmaz Kılıçaslan

Slides:



Advertisements
Benzer bir sunumlar
KÜMELER TEORİSİNİN TARİHÇESİ
Advertisements

FORM 3 USE OF THE PRESENT CONTINUOUS TENSE • a)Bu tense ile temel olarak içinde bulunduğumuz anda yapmakta olduğumuz eylemleri anlatırız. Zamanı.
GEÇMİŞTEN GELECEĞE BİLGİSAYIM VE BİLGİSAYARLAR
MANTIK Mantığın Konusu.
“Sen ne iş yapıyorsun?” Professions talebe U4  .
Everyday objects ● Possession
ÖNERME ANALİZİ VE YÜKLEM MANTIĞI Yılmaz KILIÇASLAN.
GEÇMİŞTEN GELECEĞE BİLGİSAYIM VE BİLGİSAYARLAR
TURING MAKİNELERİ Yılmaz Kılıçaslan.
MANTIK BİLİMİNE GİRİŞ VE ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
MANTIK BİLİMİNE GİRİŞ VE ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
YAPAY ZEKA Yılmaz KILIÇASLAN.
(Yapay) Zekâ ve Mantık (Programlama) Yılmaz Kılıçaslan
RELATIVE CLAUSES YASEMİN TURAN ( B ) ELT 1.
MANTIK DERSİ AKIL YÜRÜTME YÖNTEMLERİ
READING AND WRITING IN FOREIGN LANGUAGE
MUSTAFA KEMAL ATATÜRK.
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
Yabancı Dil - II Bölüm - 1.
MANTIK BİLİMİNE GİRİŞ Yılmaz KILIÇASLAN.
Past tense ● Time expressions
1 Kelime Uygulama Sunumu - 76 Bu sunumdaki kelimeler… Gesture To gift To gild To give To gibbet
UNIT FIFTEEN Health and Sports
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
SÜMEYYE KARABOYUN İÖP-1
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
(Yapay) Zekâ ve Mantık (Programlama) Yılmaz Kılıçaslan
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
MANTIK BİLİMİNE GİRİŞ VE ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
NOUN CLAUSES (İSİM CÜMLECİKLERİ).
Bilgisayar Bilimlerinin Kuramsal Temelleri
UNIT- 3 OUR NATURAL HERITAGE.
MANTIK BİLİMİNE GİRİŞ VE ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
Today’s Lesson By the end of this lesson you should be able to say phone numbers in Turkish.
Nigel Cross İngiliz Açık Üniversitesi’nde tasarım alanında araştırmacı ve eğitimci olarak çalışmaktadır.
Nick and Frida’s first meeting was serendipitous as she was supposed to have been with Diego in San Francisco, but she had traveled to Mexico several.
COSTUMES KILIKLAR (KOSTÜMLER)
(Yapay) Zekâ -Tanımı ve Geçmişi- Yılmaz Kılıçaslan
ÖKLİD’İN ELEMANLAR İSİMLİ
Sunulacak / Tartışılacak Konular
(Yapay) Zekâ ve Mantık (Programlama) - Olabilirliği ve Geleceği - Yılmaz Kılıçaslan.
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ - Sayılabilirlik - Yılmaz Kılıçaslan.
KÜME KAVRAMI 1/24 A B C E Sinan NARMANLI ID :
There was a man who was thinking of building an honourable structure that could last for milleniums and show the king’s power. So, he racked his brain.
TURİNG MAKiNESİ.
ULUBATLI HASAN PRIMARY SCHOOL (ULUBATLI HASAN İLKÖĞRETİM OKULU) BERGAMA, İZMİR TURKEY.
MUSIC FOR COMENIUS BROTHER HOOD NEVER ENDS BROTHERHOOD NEVER ENDS…. *We are not going to give up yet *It's time for us to make our move *We fed up with.
Eternal Lover In Thy Heart While creating the galaxies And defining the endless time.. And covering the unknown, with the known I dreamt of you. What.
What is lost in translation?
Bazı geçmiş zaman cümlelerinde hep past tense’i, hem de past continuous tense’i kullanmak zorunda kalabiliriz. Past tense ile geçmişte olan ve biten.
Brenda, yamaç tırmanışı yapmak isteyen genç bir kadındı. Bir gün cesaretini toplayarak bir grup tırmanışına katıldı. Tırmanacakları yere vardıklarında,
KASTAMONU ÜNİVERSİTESİ
MUNZUR WATER Bu Proje AB Tarafından Finanse edilmektedir. This Project is funded by European Union. Responsibility for the information and views set out.
Bölüm 2 : Yapay Zeka nedir?
(YAPABİLİRİM/YAPAMAM)
German shepherd dog. These dogs are said to be intelligent before they say.
PRESENT PERFECT TENSE Yakın Geçmiş Zaman. WHERE DO WE USE PRESENT PERFECT TENSE ????
UNIT 6 DEDECTİVE STORİES
Would you like a different color?
MY HOME Hello guys now tell you the house I'm living in.
MUSTAFA KEMAL ATATÜRK. THE LIFE OF MUSTAFA KEMAL.
Future: I will/shall & I am going to. Structure: Subject+will/shall+verb(base form)+object.
CONDITIONALS TYPE
NİŞANTAŞI ÜNİVERSİTESİ
Before the Battle of Çanakkale. Why a Front in Çanakkale was Opened? In the summer of 1914, the war continued in Europe with all its intensity, and by.
Feminism, unlike the idea of ​​ mankind, is a trend that is prioritized to bring gender inequality to the agenda. The notion of feminism, which is not.
Imagine that you are a teacher and you are taking your 20 students to England for the summer school.
CONDITIONALS TYPE
ISLAM JUDAISM CHRISTIAN MEHD İ AND MES İ H. WHO IS MEHDİ ? Mehdi, means the are who got quided by himselb in the dickmary. There is nothing related to.
People with an entrepreneurial mindset are always brave.
Sunum transkripti:

(Yapay) Zekâ Yılmaz Kılıçaslan

Sunum Planı Yapay Zekâ Disiplininin Hedefleri Yapay Zekâya Mantıksal Yaklaşım Mantığın Çıkmazları

ALAN MATHISON TURING 23 Haziran 1912’ de Londra’ da doğdu. 1936’da Turing Makinelerini tasarladı. 1938’de ABD Princetown Üniversitesi’nde Alonzo Church’un yanında hazırladığı teziyle doktor oldu. İngiltere’ye döndüğünde, II.Dünya Savaşı sırasında Almanların “Enigma” kodlarının çözülmesinde önemli rol oynadı. 1945’ te Automatic Computing Engine (ACE) olarak adlandırılan büyük bir bilgisayarın tasarım, yapım ve kullanım çalışmalarını yönetti. 1950 yılında Mind dergisinde yayınlanan “Computing Machinery and Intelligence” adlı makalesinde bugün TURING TESTİ olarak bilinen ünlü testi açıklamıştır. 1954’te intihar ederek öldüğü sanılıyor.

Turing Testi (Tanım) Kriter: Bilgisayar/makine sorduğumuz herhangi bir soruya insanınkinden ayırt edilemeyecek yanıtlar veriyorsa gerçekten düşünmektedir. Test Düzeneği: Bilgisayar, gönüllü bir insanla birlikte sorgulayıcının görüş alanının dışında bir yere saklanır. Sorgulayıcı, yalnız soru sormak suretiyle, hangisinin bilgisayar olduğunu saptamaya çalışır. Sorgulayıcının soruları, daha önemlisi aldığı yanıtlar, tamamen ses gizlenerek, yani ya bir klavye sisteminde yazılarak veya bir ekran gösterilerek verilir. Sorgulayıcıya, bu soru/cevap oturumunda elde edilen bilgiler dışında, her iki taraf hakkında hiçbir bilgi verilmez. İnsan denek soruları içtenlikle yanıtlar ve kendisinin insan, öteki deneğin bilgisayar olduğuna dair sorgulayıcıyı ikna etmeye uğraşırken, bilgisayar ‘yalan’ söylemeye programlanmış olduğu için kendisinin insan olduğuna sorgulayıcıyı inandırmaya çalışır.

Turing Testi (Örnek Sorgulama) Sorgulayıcı: “Please write me a sonnet on the topic of the Forth Bridge.” Program: “Count me out on this one. I never could write poetry.” Sorgulayıcı: “Add 34957 to 70764.” Program: “(Pause about 30 seconds and then give answer as) 105621.” Alan Turing

Turing Testi (Sonuç) Turing testini geçebilecek bir program henüz yapılamadı. Turing testinin taraftarlarına göre bilgisayar çok geçmeden –diyelim 2010 yılına kadar – Turing testinden başarıyla geçecektir. Turing, başlangıçta ‘vasat’ bir sorgulayıcı, 10 gigabyte bellekli bir bilgisayar ile ve sadece beş dakikalık bir sorgulamayla, 2000 yılına kadar, yüzde 30 başarı oranı öngörmüştü. Bazı insanları her zaman kandırabiliriz. Turing testini geçebilecek bir programın, dili insan gibi kullanabilmesi gerekir. Turing testini geçebilecek bir programın yalan söyleyebilmesi gerekir. Yalan söyleyebilmek bilinç ve irade gerektirir.

“Başını Kuma Gömme" Tavrı Makinelerin düşünebilir olması çok korkunç sonuçlar doğuracaktır. Öyleyse, bunu yapamamaları için dua edelim ve bunun olmayacağına inanalım.

Hawking’in 2001’deki Uyarısı "In contrast with our intellect, computers double their performance every 18 months," warned the genius physicist in a recent interview with the German news magazine Focus. "So the danger is real that they could develop intelligence and take over the world." "We must develop as quickly as possible technologies that make possible a direct connection between brain and computer, so that artificial brains contribute to human intelligence rather than opposing it."

Reel ve Sanal Dünyalar Sürüngenler, M. C. Escher (1943)

Bilinç Kavramı Üzerinden Karşı Çıkış Sembollerin rasgele yan yana gelişi ile değil ama hissedilen heyecanlar ve düşünceler sayesinde bir şiir yazamadığı ya da bir konçerto besteleyemediği ve bununla da kalmayıp yazıp bestelediğini bilmediği sürece, biz makineyi beynin eşiti olarak kabul edemeyiz. AARON drawing, 1979

Bilinç Kavramı Üzerinden Karşı Çıkış AARON drawing, 1987

Bilinç Kavramı Üzerinden Karşı Çıkış Input text:  the fishing boat is on the shiny dark ocean. The sky is pale yellow. The large grim reaper is in the boat. the hell mountain is 20 feet behind the boat. the hell texture is 25 feet wide. The large hammerhead shark is 5 feet to the right of the boat. it is in the ocean.

Bilinç Kavramı Üzerinden Karşı Çıkış Input text:  the cabin is on the big grassy island. the island is on the ocean the sun and the sky are orange. the cabin is facing backwards. a large stone mountain is fifty feet to the right of the cabin. a bridge-vp5412 is 20 feet in front of the cabin. it is facing left. there is a lifeboat next to the bridge. it is facing left.

S2S: Uzamsal ilişkileri kodlayan ifadelerden 3 Boyutlu resimlerin oluşturulması Input Text: ‘Sandalye masanın solunda.’ 14 14

Bir Park Çizimi

Sinir Sisteminin Sürekliliğinden Hareketle İtiraz Sinir sistemi ayrık durumlu bir makine değildir. Öyleyse, ayrık durumlu sistemlerle taklit edilemezler.

Davranışının Formel Olmayan Doğasından Hareketle İtiraz Eğer insanlar yaşamlarını belirli bir kurallar kümesine dayanarak düzenleseydiler makinelerden daha iyi olamazlardı. Fakat, böyle bir kurallar kümesi mevcut değil. Öyleyse, insanlar makine olamazlar.

Yapay Zeka Nedir? Yapay zeka disiplinin amacı İnsan gibi veya rasyonel düşünen veya davranan programlar / makineler yapmaktır.

Yapay Zeka Nedir? (1) İnsanlar Gibi Düşünen Sistemler: “Bilgisayarları düşündürmeye … kelimenin tam anlamıyla zihne sahip makineler yapmaya çalışan yeni ve heyecan verici bir çaba” (Haugeland, 1985) “Karar verme, problem çözme, öğrenme … gibi insan düşüncesi ile ilişkilendirdiğimiz aktivitelerin otomasyonu” (Bellman, 1978)

Yapay Zeka Nedir? (2) İnsanlar Gibi Davranan Sistemler: “İnsanların zekâlarını kullanarak gerçekleştirdiği fonksiyonları gerçekleştiren makineleri yapma sanatı” (Kurzweil, 1990) “İnsanların halihazırda daha iyi olduğu işleri bilgisayarların nasıl yapabileceğine dair yürütülen çalışma” (Rich and Knight, 1991)

Yapay Zeka Nedir? (3) Rasyonel Düşünen Sistemler: “Zihinsel yeteneklerin bilgisayımlı (hesaplamalı) modeller aracılığıyla incelenmesi” (Charniak ve McDermott, 1985) “Algılamayı, düşünmeyi ve davranmayı mümkün kılan bilgisayım modellerinin incelenmesi” (Winston, 1992)

Yapay Zeka Nedir? (4) Rasyonel Davranan Sistemler: “Akıllıca davranan etmenlerin tasarımı üzerine yapılan çalışma” (Poole et al., 1998) “İnsan yapımı şeylerde akıllı davranışın incelenmesi ” (Nilsson, 1998)

İnsan Gibi Düşünme: Bilişsel Modelleme Yaklaşımı Zihinsel süreçleri anlamanın yolları: 1) İç-gözlem 2) Psikolojik deneyler 3) Dilbilim Disiplinler-arası bir alan olan Bilişsel Bilim Yapay Zekadan bilgisayar modellerini ve Psikolojiden deneysel teknikleri alıp bir araya getirerek insan zihninin nasıl çalıştığına ilişkin kuramlar üretir.

İnsan Gibi Davranma: Turing Testi Zekânın tanımlanmasına işlevsel yaklaşım: zeki varlıklardan ayırt edilemezlik üzerine kurulu bir test. Testi geçecek bilgisayar programının sahip olması gereken yetenekler: 1) Doğal Dil İşleme 2) Bilgi Gösterimi 3) Otomatik Akıl Yürütme 4) Öğrenme ve 5) Algılama 6) Robotik hareket

Rasyonel Düşünme: ‘Düşüncenin Yasaları’ Yaklaşımı Aristoteles, “Doğru Düşünmenin Yasalarını” ilk formüle eden düşünürlerdendir. => “Syllogisms” => Mantık Yapay Zekaya Mantıkçı Yaklaşım: Mantık programlarına dayanarak akıllı sistemler üretmeyi amaçlayan yaklaşım. Üç Önemli Problem: Bilginin formüle edilmesi Teorik olarak çözülemez sorunların varlığı Teorik olarak çözülebilenin pratikte çözülemezliği

Rasyonel Davranma: Akıllı etmen yaklaşımı Etmen programlarını diğer programlardan ayıran yönler: Otonom kontrol Ortamı algılama Uzun bir zaman diliminde varlığını sürdürme Değişime uyum gösterme Empati Rasyonel etmen en iyi sonuca ulaşacak şekilde davranır. En iyi sonuca, her zaman rasyonel düşünerek erişilmez.

Aristoteles’in ‘Syllogistic’ Mantığı Mantık bilimi 2000 yıldan daha uzun bir süre önce, Aristoteles’in bir dizi düşünceyle ilgili felsefi sezgiyi Prior Analytics’te Syllogism’ler biçiminde biraraya toplayıp düzenlemesiyle başladı. Syllogism’ler iki öncülden bir sonucun elde edildiği özel türde çıkarımlardır: Bütün çocuklar ben-merkezcidir. (Ana Öncül) Bazı insanlar ben-merkezci değildir. (İkincil Öncül) ----------------------------------------------- Bazı insanlar çocuk değildir. (Sonuç) Yalnızca aşağıdaki türden önermeler Aristoteles’in çıkarım şemalarında yer alır: Bütün A’lar B’dir. Bütün A’lar B değildir. Bazı A’lar B’dir. Bazı A’lar B değildir.

Öklid’in Aksiyomları Öklid (Euclid) Elemanlar adlı kitabında 10 aksiyom öne sürmüştür. Bunlardan, genel kavramlar olarak adlandırdığı, 5 tanesi Geometriye özgü değildir: Aynı şeye eşit olan iki şey birbirine de eşittir. Eğer eşit iki şeye eşit miktarlar eklenirse, elde edilen bütünler de eşit olur. Eğer eşit iki şeyden eşit miktarlar çıkarılırsa, kalanlar da eşit olur. Birbiriyle çakışan/örtüşen şeyler birbirine eşittir. Bütün parçadan büyüktür. Diğer 5 aksiyom Geometriye özgüdür ve Öklid bunlara postülalar demiştir: Herhangi bir noktadan bir başka herhangi bir noktaya bir doğru çizmek mümkündür. Bir doğru boyunca sürekli olarak sonlu uzunlukta doğrular üretebiliriz. Verilen herhangi bir merkez ve herhangi bir mesafe ile bir çember tanımlayabiliriz. Bütün dik açılar birbirine eşittir. Eğer iki doğruyu kesen bir üçüncü doğru aynı tarafta iki dik açıdan daha küçük iç açılar oluşturuyorsa, kesilen iki doğru bu tarafta sonsuza kadar uzatılırsa kesişirler.

Aristo Mantığının Temel İlkeleri Her önerme ya doğru ya yanlıştır. Bu ikisinin arasında ya da dışında üçüncü bir olasılık yoktur.

Megara Okulu - Eubulides Atina’daki felsefe okuluna rakip olan Megara Okulu Aristo’nun hep canını sıkmıştır. Bu Stoacı okulun kurucusu yine bir Öklid’dir. Megara okulundan filozof Eubulides (MÖ. 405 – 330) Aristocu paradigmadaki problemleri dört paradoks ile açığa çıkarmıştır (Seuren 2005): Kel Adam ya da Yığın (The Heap) Şapkalı Adam, Fark Edilmeyen Adam ya da Elektra (The Hooded Man, the Unnoticed Man, or the Electra) Boynuzlu Adam (The Horned Man) Yalancı (The Liar)

Kel Adam Paradoksu A: ‘Eğer bir adamın yalnızca bir saç teli olsaydı, ona kel der miydiniz? B: Evet. A: Eğer iki saç teli olsaydı kel der miydiniz? A: Eğer üç saç teli olsaydı, … vs. A: Öyleyse kel olma durumu ile kel olmama durumu arasındaki sınırı nereye çizeceğiz?’

Yığın Paradoksu Bir çıkarım şeması: N kum tanesi bir kum yığınıdır. (Öncül 1) N kum tanesini 1 eksiltirsek yine bir kum yığını elde ederiz. (Öncül 2) ------------------------------------------------------------------------- (N-1) kum tanesi bir kum yığınıdır. (Sonuç) Uygulama: 1,000,000 kum tanesi bir kum yığınıdır. (Öncül 1) 1,000,000 kum tanesini 1 eksiltirsek yine bir kum yığını elde ederiz. (Öncül 2) ----------------------------------------------------------------------- 999,999 grains of sand is a heap of sand. (Conclusion) Çıkarım şemasını her defasında elde ettiğimiz sonuçla başlayarak defalarca uygularsak, neticede bir kum yığınının tek bir kum tanesinden oluşabileceği sonucunu kabul etmek zorunda kalırız.

Elektra Paradoksu While Agamemnon, king of Mycenes, was away to fight in the Trojan war, his wife Clytaemnestra had set up house with another man. Obviously, when Agamemnon was due back, there would be a problem. So when Agamemnon came home Clytaemnestra let him a warm bath, during which she chopped his head off with a sword. That would have been the end of the affair, had it not been for the children, in particular the son Orestes, who now had the holy duty to avenge his father. However, in order to do that, he would have to kill his mother, which would be a heinous crime. In order to sort out his moral dilemma, Orestes went to stay with an uncle for a while. At the end of that period he has made up his mind and has decided that the right thing to do, after all, is to kill his mother. So he returns to Mycenes, but, sensibly fearing to receive a treatment similar to his father’s, he disguises himself as a beggar so as not to be recognized. He then knocks at the gate and is let in. His sister Electra has him shown to the kitchen and given some soup. At this point in the story, Eubulides steps in and asks: ‘Is the sentence Electra knows that her brother Orestes is in the kitchen true or false?’

Boynuzlu Adam Paradoksu What you have not lost, you have. But you have not lost horns. Therefore you have horns.

Yalancının Paradoksu ‘Şu an bu cümleyle söylediğim yanlıştır.’ ‘Aşağıdaki cümle yanlıştır.’ ‘Yukarıdaki cümle doğrudur.’

Kötümser Bir Filozof Kant 1789’da, Saf Aklın Eleştirisi (Critique of Pure Reason) kitabının ikinci baskısının önsözünde şöyle diyordu: Mantık Aristo’dan bu yana hiçbir şey kaybetmedi ama hiçbir şey kazanmadı da. Ayrıca, gelecekte de mantık alanında hiçbir gelişme olmayacağına dair her türlü işaret var.

İyimser Bir Filozof Doğal dilin bütün çok anlamlılıklarından, muğlaklıklarından ve öznel ifadelerinden arınmış bir characteristica universalis, bir evrensel dil, geliştirilmesini önerdi. Bu dilin oluşturulmasında, sayıların asal çarpanlarının tek olmasına özel bir rol yükledi. Bu dilin sembollerinin manipülasyonu, ars combinatoria, doğrudan düşüncelerimizin işleyişine karşılık gelecekti. Kant’ın kötümser öngörüsünden yaklaşık yüz yıl kadar önce, Gottfried Wilhelm Leibniz (1646-1716) mantık alanında, modern mantık kuramlarında halen daha kullanılan düşünce ve yöntemler geliştirdi. Böylelikle, calculus ratiocinator içinde hesaplama yaparak, doğal dil ile ifade edilmiş düşünce zincirlerinin geçerliliğini kontrol etmek mümkün olacaktı: “Öyleyse, artık düşüncelerin farklılaşması halinde, nasıl iki hesap makinesi tartışmıyorsa, iki filozofun da tartışmasına gerek kalmayacak. Kağıdı kalemi ellerine alıp, abaküsün karşısına geçip (eğer istiyorlarsa bir arkadaşlarının tanıklığında) birbirlerine calculesmus demeleri yeterli olacak.”

Boole Mantığı ve De Morgan Yasaları 19. YY. matematikçisi George Boole’dan adını alan Boole Mantığı (Boolean Logic), bütün değerlerin Doğru ya da Yanlış’a indirgendiği bir Cebir türüdür. Bool mantığı her bitin alabileceği 0 ve 1 değerlerinden oluşan ikili sistemle çok iyi örtüştüğü için Bilgisayar Bilimleri açısından özel bir önem taşır. 19. YY. mantık ve matematikçisi Augustus De Morgan’dan adını alan De Morgan Yasaları (ya da De Morgan Teoremi) Bool Cebrinin ve Küme Teorisinin iki önemli prensibini oluşturur: değil (P ve Q) = (değil P) veya (değil Q) değil (P veya Q) = (değil P) ve (değil Q)

Modern Yüklem Mantığı Friedrich Ludwig Gottlob Frege, Aristocu ‘syllogistic’ mantık ile Stoacı düşünceleri birleştirdi. Aristo’nun özne-yüklem formundaki önermelerini almakla birlikte, iki (ya da daha fazla) şey arasındaki ilişkileri ifade eden cümleleri de mantığa kazandırdı. Artık, aktif cümlelerin pasif biçimleri ile ‘eşanlamlılıkları’ görülebilecekti: Yunanlılar Plataea’da Persleri yendi. Persler Plataea’da Yunanlılara yenildi. Ayrıca, aşağıdaki türden çıkarımları yapmak da mümkün olacaktı: Ali Banu’dan uzundur. Banu Cem’den uzundur. ----------------------------- Ali Cem’den uzundur.

Birinci Dereceden Yüklem Mantığı Her köpek bir kediyi kovaladı. 40

Birinci Dereceden Yüklem Mantığında Bir İspat x(akıllı(x)) Varsayım akıllı(a) Varsayım x(akıllı(x)) Varsayım akıllı(a) Ç , 3 ┴ Ç , 2, 4 x(akıllı(x)) E  akıllı(a)  x(akıllı(x)) E  x(akıllı(x)) Ç , 1, 7

Yüksek Dereceden Yüklem Mantığı John became something Mary already is. P(P(j)  P(m)) Geleneksel Fonksiyon Gösterimi: Örn.: f(x) = 2 x + 3 f(4) = 2.4 + 3 Lambda Calculus: Örn.: x(2 x + 3) x(2 x + 3)(4) = 2.4 + 3 x( y( L(x, y)  ((y = x)  (L(y, x) ) ) )

‘Bütün Doğrulara’ Erişme Girişimi Russellın Paradoks’u: Kendi kendisinin elemanı olmayan bütün kümeleri içeren küme. Matematiğin bütün doğrularını, yüklem mantığı içinde, iyi tanımlanmış bir aksiyomlar ve çıkarım kuralları kümesinden çıkarma girişimi.

Hilbert Programı Hilbert proposed to ground all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent. Hilbert proposed that the consistency of more complicated systems, such as real analysis, could be proven in terms of simpler systems. Ultimately, the consistency of all of mathematics could be reduced to basic arithmetic.

Gödel’in Eksiklik Teoremi Gödel Yalancının Paradoksunu aşağıdaki şekilde değiştirdi: “Bu önerme ispatlanabilir değildir.” … Aritmetiğin her tutarlı biçimselleştirilmesi için öyle aritmetik doğrular vardır ki, bunlar bu biçimsel sistem içinde ispatlanabilir değillerdir.

Quine Paradoxu “Yields falsehood when preceded by its quotation” yields falsehood when preceded by its quotation. ", when preceded by itself in quotes, is unprovable.", when preceded by itself in quotes, is unprovable. Bir sonsuz yorumlama döngüsü: x(x(x))(x(x(x))) = x(x(x))(x(x(x)))

Durma Problemi The halting problem is a decision problem which can be stated as follows: given a description of a program and a finite input, decide whether the program finishes running or will run forever, given that input. Alan Turing proved in 1936 that a general algorithm to solve the halting problem for all possible program-input pairs cannot exist.

???