Bilqi Forum  

Geri git   Bilqi Forum > > >

ÖDEVLERİNİZİ BULMAKTA ZORLANIYOMUSUNUZ!

SORUN ANINDA CEVAPLIYALIM.

TÜM SORULARINIZA ANINDA CEVAP VERİLECEKTİR !

Sitemize Üye Olmadan Konulara Cevap Yazabilir Ayrıca Soru Cevap Bölümüne Konu Açabilirsiniz !

Yeni Konu aç Cevapla
 
Seçenekler Stil
Alt 11-27-2008, 12:23   #1
_ѕєηєм_
 
_ѕєηєм_ - ait Kullanıcı Resmi (Avatar)
 
Üyelik tarihi: Nov 2008
Mesajlar: 2.714
Tecrübe Puanı: 541
_ѕєηєм_ has a reputation beyond repute_ѕєηєм_ has a reputation beyond repute_ѕєηєм_ has a reputation beyond repute_ѕєηєм_ has a reputation beyond repute_ѕєηєм_ has a reputation beyond repute_ѕєηєм_ has a reputation beyond repute_ѕєηєм_ has a reputation beyond repute_ѕєηєм_ has a reputation beyond repute_ѕєηєм_ has a reputation beyond repute_ѕєηєм_ has a reputation beyond repute_ѕєηєм_ has a reputation beyond repute
Standart MatematiKseL MantıK

MatematiKseL MantıK


Çağdaş mantığın ve çağdaş felsefenin kurucusu Alman mantıkçısı Gottlob Frege, "Matematik mantığın uygulama alanıdır" görüşünden hareketle matematiğin, mantığın aksiyomatik sistemi üzerine kurulabileceğini düşünmüştür. Bu düşünceden hareket ederek aritmetiğin temelleri konusundaki felsefi çalışmaları için bir mantık sistemi geliştirmişti.Çağdaş mantığın ve çağdaş felsefenin kurucusu Alman mantıkçısı Gottlob Frege, "Matematik mantığın uygulama alanıdır" görüşünden hareketle matematiğin, mantığın aksiyomatik sistemi üzerine kurulabileceğini düşünmüştür. Bu düşünceden hareket ederek aritmetiğin temelleri konusundaki felsefi çalışmaları için bir mantık sistemi geliştirmişti.

Daha sonra, Frege'nin çalışmalarına dayanarak, Russell ve Whitehead 1910-1913 yılları arasında Principia Mathematica adını verdikleri eserde matematiği mantığa indirgeyerek formel bir sistem haline getirmeye çalıştılar. Fakat matematiğin formel hale getirilemeyeceğini Gödel 1933'te yayınladığı bir kitabındaki (Über die unentsheidbare Saetze der Principia Mathematica und verwander Systeme) meşhur teoremiyle gösterdi.

Alan Robinson, 1967'de çözülüm teorem ispatlama yöntemini geliştirdi. Bu yöntem 1972'de A. Colmaurer tarafından ilk mantık programlama dilinin (Prolog) geliştirilmesine yol açtı. Bu dil 1975'te D. Warren tarafından “Warren Abstract Machine” (WAM) olarak ugulandı. Kişisel bilgisayarlar üzerinde ilk uygulamalar 1980'lerde ortaya çıktı.




Daha sonra, Frege'nin çalışmalarına dayanarak, Russell ve Whitehead 1910-1913 yılları arasında Principia Mathematica adını verdikleri eserde matematiği mantığa indirgeyerek formel bir sistem haline getirmeye çalıştılar. Fakat matematiğin formel hale getirilemeyeceğini Gödel 1933'te yayınladığı bir kitabındaki (Über die unentsheidbare Saetze der Principia Mathematica und verwander Systeme) meşhur teoremiyle gösterdi.

Alan Robinson, 1967'de çözülüm teorem ispatlama yöntemini geliştirdi. Bu yöntem 1972'de A. Colmaurer tarafından ilk mantık programlama dilinin (Prolog) geliştirilmesine yol açtı. Bu dil 1975'te D. Warren tarafından “Warren Abstract Machine” (WAM) olarak ugulandı. Kişisel bilgisayarlar üzerinde ilk uygulamalar 1980'lerde ortaya çıktı. Teşekkürler
__________________
İmZaaaZZzzzaaaa....:):):)):)
_ѕєηєм_ isimli Üye şimdilik offline konumundadır   Alıntı ile Cevapla
Cevapla

Bookmarks


Konuyu Toplam 1 Üye okuyor. (0 Kayıtlı üye ve 1 Misafir)
 
Seçenekler
Stil

Yetkileriniz
Sizin Yeni Konu Acma Yetkiniz var yok
Sizin Konu Yanıtlama Yetkiniz var
You may not post attachments
You may not edit your posts

BB code is Açık
Smileler Açık
[IMG] Kodları Açık
HTML-KodlarıKapalı

Gitmek istediğiniz klasörü seçiniz

Benzer Konular
Konu Konuyu Başlatan Forum Cevaplar Son Mesaj
Önermeler (Matemaktiksel Mantık) _ѕєηєм_ MaTematik 0 11-27-2008 12:20
Matematiksel AŞK! нüzüη Aşk'a Dair Her Şey 0 09-26-2008 15:18
matematiksel AŞK! уυѕυƒ Aşk ve Sevgi Şiirleri 0 09-02-2008 11:40
Matematiksel Felsefe Işığında Şiire Farklı Bir Açı LeGoLaS Felsefe 0 03-11-2008 20:20
Görünmezlik matematiksel olarak mümkün LeGoLaS Paranormal-Telepati 0 02-25-2008 14:38


Şu Anki Saat: 08:24


İçerik sağlayıcı paylaşım sitelerinden biri olan Bilqi.com Forum Adresimizde T.C.K 20.ci Madde ve 5651 Sayılı Kanun'un 4.cü maddesinin (2).ci fıkrasına göre TÜM ÜYELERİMİZ yaptıkları paylaşımlardan sorumludur. bilqi.com hakkında yapılacak tüm hukuksal Şikayetler doganinternet@hotmail.com ve streetken27@gmail.com dan iletişime geçilmesi halinde ilgili kanunlar ve yönetmelikler çerçevesinde en geç 1 (Bir) Hafta içerisinde bilqi.com yönetimi olarak tarafımızdan gereken işlemler yapılacak ve size dönüş yapacaktır.
Powered by vBulletin® Version 3.8.4
Copyright ©2000 - 2017, Jelsoft Enterprises Ltd.
Search Engine Optimisation provided by DragonByte SEO v2.0.36 (Lite) - vBulletin Mods & Addons Copyright © 2017 DragonByte Technologies Ltd.

Android Rom

Android Oyunlar

Android samsung htc

Samsung Htc

Nokia Windows