İçeriğe atla

Amir Pnueli

Amir Pnueli
Doğum22 Nisan 1941(1941-04-22)
Nahalal, Filistin Mandası
Ölüm2 Kasım 2009 (68 yaşında)
New York, ABD
ÖdüllerTuring Ödülü (1996)
Kariyeri
DalıBilgisayar bilimi
Çalıştığı kurumlarStanford Üniversitesi
Tel Aviv Üniversitesi
Weizmann Enstitüsü
New York Üniversitesi

Amir Pnueli (22 Nisan 1941 - 2 Kasım 2009), İsrailli bilgisayar bilimcisi. Technion Matematik Bölümü'nden mezun olduktan sonra Weizmann Enstitüsü'nde uygulamalı matematik öğrenimi görmüştür. Zamansal mantık ve model denetimi konulu çalışmalarıyla bilinen Pnueli 1996 yılında Turing Ödülü'nü almaya hak kazanmıştır.

İlgili Araştırma Makaleleri

<span class="mw-page-title-main">Matematik</span> nicelik, yapı, uzay ve değişim gibi konularla ilgilenen bilim dalı

Matematik ; sayılar, felsefe, uzay ve fizik gibi konularla ilgilenir. Matematikçiler ve filozoflar arasında matematiğin kesin kapsamı ve tanımı konusunda görüş ayrılığı vardır.

<span class="mw-page-title-main">Matematik felsefesi</span>

Matematik felsefesi, matematiğin varlıksal, bilgisel ve yöntemsel sorunlarını inceleyen, matematiğin temelleriyle ilgili ana kavramları irdeleyen bir felsefe dalıdır.

Bilişim, bilişim bilimi ya da bilgisayar bilimi, bilgi ve hesaplamanın kuramsal temellerini ve bunların bilgisayar sistemlerinde uygulanabilmeleri sağlayan pratik teknikleri araştıran bir yapısal bilim dalıdır. Bilişimciler ya da bilgisayar bilimcileri bilgi oluşturan, tanımlayan ve dönüştüren algoritmik süreçler icat edip, kompleks sistemleri tasarlamak ve modellemek için uygun soyutlamalar formüle ederler. Bilişim Dünya'da hızla gelişmeye devam eden önemli bir teknolojidir.

Cebir sayılar teorisini, geometriyi ve analizi içine alan geniş bir matematik dalıdır. Temel matematik işlemlerinden, çember ve daire alanları bulmayı kapsayan geniş bir ilgi alanına sahiptir. Cebir, mühendislik ve eczacılık gibi birçok alanda kullanılmaktadır. Kuramsal cebir, ileri matematiğin bir dalı olmakla birlikte sadece uzmanlar tarafından çalışılan bir koldur.

<span class="mw-page-title-main">David Hilbert</span>

David Hilbert, ünlü Alman matematikçi. Geometriyi bir dizi aksiyoma indirgeyen ve matematiğin biçimsel temellerinin oluşturulmasına önemli katkıda bulunan Alman matematikçi David Hilbert integralli denklemlere ilişkin çalışmalarıyla fonksiyonel analizin 20. yüzyıldaki gelişmesine öncülük etmiştir.

Sayılar teorisi, tamsayılar ve bunlarla ilgili işlemleri inceleyen bilim dalıdır. Sayılar teorisi, tam sayıların özelliklerini inceleyen matematiğin bir alanıdır. Matematiğin en eski alanlarından biri olan bu alanda, uzun yıllar uygulama sahası çok az bulunmuştur. Fakat son yıllarda teknolojik gelişmelerin ve bilgisayar sistemlerinin temelinin sonlu sayıda işlem yapan makinelere dayanması bu alanı uygulama bulur hale getirmiştir. Aslen, matematiğin ihtiyaçtan değil de felsefi temellerden oluştuğunun bir kanıtıdır.

<span class="mw-page-title-main">Matematikçi</span> matematik problemlerini çözmek için çalışmalarında kapsamlı bir matematik bilgisini kullanan kişi

Bir matematikçi, genellikle matematik problemlerini çözmek için çalışmalarında kapsamlı bir matematik bilgisini kullanan kişidir. Matematikçiler sayılar, veriler, miktar, yapı, alan, modeller ve değişimle ilgilenirler.

Allmovie.com, All Media Guide'ın şirketinin bir iştiraki; filmlerin eleştiri, inceleme ve değerlendirmesinin yapıldığı internet sitesidir.

<span class="mw-page-title-main">Hippias</span> Antik Yunan  felsefecisi (d. MÖ 460)

Hippias veya Elisli Hippias, Yunan Sofistlerden biridir. M.Ö. 460 yılı civarında Atina'da doğan Hippias, Protagoras ve Sokrates'in genç akranıdır. Hitabet sanatında etkili olduğu gibi, matematiğe de önem vermiştir. Kendine özgü bir felsefe geliştirmemiş, ancak var olan felsefi düşünceleri etkili bir şekilde değerlendirmiştir. Platon'un diyaloglarında etik konularla ilgili tartışmalarda Hippias yer alır. Kücük Hippias diyalogunda Sokrates ve Hippias arasında yalan üzerine tartışma geçer.

<span class="mw-page-title-main">Matematik mühendisliği</span> matematik disiplini

Matematik mühendisliği, iyi derecede matematik bilgisine sahip, mühendislik eğitimi almış, endüstriyel problemleri modelleyerek çözebilen mühendisler yetiştirmeyi amaçlayan mühendislik dalı. Matematik mühendisleri mühendislik, ekonomi ve hizmet sektöründe ortaya çıkan problemlerin çözümünde önemli rol oynar. Günümüz koşullarında bu mühendislik dalından mezun olan mühendisler genellikle yazılım sektöründe çalışmaktadır.

<span class="mw-page-title-main">Kümeler teorisi</span>

Kümeler teorisi, matematiğin, matematiksel nesneler olan kümeleri inceleyen dalıdır. Neredeyse bütün matematik kümeler kuramının kendi dilinde ifade edilebilir. Alman matematikçi Georg Cantor tarafından 1874 ile 1895 yılları arasında geliştirilen ve daha sonrasında, Ernst Zermelo, Kurt Gödel gibi 20. yüzyılın oldukça tanınmış matematikçileri tarafından aksiyomatikleştirilen teoridir.

<span class="mw-page-title-main">Eugene Wigner</span>

Eugene Paul "E. P." Wigner, Macar-Amerikalı teorik fizikçi ve matematikçiydi.

<span class="mw-page-title-main">Albert Marth</span>

Albert Marth, İngiltere ve İrlanda'da çalışmalar yapmış bir Alman astronomdur.

arXiv

arXiv; matematik, fizik, bilgisayar bilimleri, nicel biyoloji, istatistik nicel finans alanlarındaki bilimsel çalışmaların elektronik önbasımları için bir arşivdir. 1991 yılında fizikçi Paul Ginsparg tarafından kurulmuştur. Çoğu matematik ve fizik alanındaki tüm bilimsel çalışmalar, arXiv üzerinde kendiliğinden arşivlenir. arXiv.org, 3 Ekim 2008'de yarım milyon makaleyi geçti. 2014 yılı sonlarında bu sayı bir milyonu geçmiştir. Önbasım arşivi, 14 Ağustos 2011'de 20. yılını doldurdu.

Onyıllar listesi, MÖ 38. yüzyıldan MS 21. yüzyıla kadar olan onyılları listelemektedir.

Zamansal mantık, önermelerin zaman biçiminde ifade edilmesine dayanan kurallar bütünüdür. "Ben her zaman açım" ve "Bir şey yiyene dek aç olacağım" gibi tümceler zamansal mantığa örnek gösterilebilir. 1950'lerde Arthur Prior tarafından tanımlanan zamansal mantığın gelişiminde Hans Kamp ve Amir Pnueli etkili olmuştur. Program doğrulamada sıkça kullanılmaktadır.

<span class="mw-page-title-main">Matematik tarihi</span> matematik biliminin tarihi

Matematik tarihi, öncelikle matematikteki keşiflerin kökenini araştıran ve daha az ölçüde ise matematiksel yöntemleri ve geçmişin notasyonunu araştıran bir bilimsel çalışma alanıdır. Modern çağdan ve dünya çapında bilginin yayılmasından önce, yeni matematiksel gelişmelerin yazılı örnekleri yalnızca birkaç yerde gün ışığına çıktı. MÖ 3000'den itibaren Mezopotamya eyaletleri Sümer, Akad, Asur, Eski Mısır ve Ebla ile birlikte vergilendirmede, ticarette, doğayı anlamada, astronomide ve zamanı kaydetmede/takvimleri formüle etmede aritmetik, cebir ve geometri kullanmaya başladı.

Mathematics Genealogy Project (MGP), matematikçilerin akademik soyağacı için web tabanlı bir veri tabanıdır. 31 Aralık 2021'e kadar, araştırma düzeyinde matematiğe katkıda bulunan 274.575 matematik bilimcisi hakkında bilgi içeriyordu. Tipik bir matematikçi için proje girişinde mezuniyet yılı, tez başlığı, alma mater, doktora danışmanı ve doktora öğrencileri bulunur.

MacTutor Matematik Tarihi arşivi, John J. O'Connor ve Edmund F. Robertson tarafından sağlanan ve İskoçya'daki St Andrews Üniversitesi tarafından barındırılan bir web sitesidir. Birçok tarihsel ve çağdaş matematikçi hakkında ayrıntılı biyografilerin yanı sıra ünlü eğriler ve Matematik tarihindeki çeşitli konular hakkında bilgiler içerir.

Edmund Frederick Robertson, St Andrews Üniversitesi'nde saf matematik profesörüdür.