Grigore Moisil: Revizyonlar arasındaki fark

Vikipedi, özgür ansiklopedi
[kontrol edilmemiş revizyon][kontrol edilmemiş revizyon]
İçerik silindi İçerik eklendi
Makina86 (mesaj | katkılar)
kDeğişiklik özeti yok
Makina86 (mesaj | katkılar)
Yazının devamı yazıldı
38. satır: 38. satır:
* 5 Moisil'le ilgili Kitaplar ve makaleler
* 5 Moisil'le ilgili Kitaplar ve makaleler
* 6 Dış bağlantılar
* 6 Dış bağlantılar


== Yaşam öyküsü[düzelt] ==
== Yaşam öyküsü[düzelt] ==
Grigore Moisil 1906'da Tulcea'da entellektüel bir ailede doğdu. Büyük büyükbabası Grigore Moisil (1814–1891), [[Năsăud]]'daki [[George Coșbuc National College (Năsăud)|ilk Romen lisesi]]nin kurucularından birisi olan bir [[papaz]]<nowiki/>dı. Babası, [[Constantin Moisil]] (1876–1958) tarih profösürü, [[arkeoloji|arkeolog]] ve [[Numizmatik|numizmatik'di]]; [[Romen Akademisi|Romen Akademisi]]'nin bir üyesi olarak, akademinin Nümizmatik ofisinde müdür pozisyonundaydı. Annesi, Elena (1863–1949), önce Tulcea'da öğretmen, daha sonra da [[Bükreş|Bükreş']]deki "Maidanul Dulapului" okulunda (şimdiki adı "[[Enăchiţă Văcărescu]]" okulu) müdürdü.
Grigore Moisil 1906'da Tulcea'da entellektüel bir ailede doğdu. Büyük büyükbabası Grigore Moisil (1814–1891), [[Năsăud]]'daki [[George Coșbuc National College (Năsăud)|ilk Romen lisesi]]nin kurucularından birisi olan bir [[papaz]]<nowiki/>dı. Babası, [[Constantin Moisil]] (1876–1958) tarih profösürü, [[arkeoloji|arkeolog]] ve [[Numizmatik|numizmatik'di]]; [[Romen Akademisi|Romen Akademisi]]'nin bir üyesi olarak, akademinin Nümizmatik ofisinde müdür pozisyonundaydı. Annesi, Elena (1863–1949), önce Tulcea'da öğretmen, daha sonra da [[Bükreş|Bükreş']]deki "Maidanul Dulapului" okulunda (şimdiki adı "[[Enăchiţă Văcărescu]]" okulu) müdürdü.


Grigore Moisil [[ilk okul]]'a Bükreş'de devam etti sonra [[Vaslui]]'daki liseye ve 1916 ile 1922 arasında Bükreş'teki ("[[Spiru Haret]])"deki liseye gitti. 1924'de [[Polytechnic University of Bucharest]]'in İnşaat Mühendisliği Okuluna ve ayrıca [[Bükreş Üniversitesi]] Matematik okuluna kabul edildi. Matematiğe daha çok ilgi gösterdi bu yüzden üçüncü yıl sınavlarını geçmiş olmasına rağmen 1929'de Polytechnic Üniversitesi'nden çıktı. 1929'da üyeler [[Dimitrie Pompeiu]]ve [[Anton Davidoglu]] ile [[Gheorghe Ţiţeica]] tarafından yönlendirilen bir komisyondan önce kendi [[Ph.D.]] tezi, ''La mécanique analytique des systemes continus'' (Sürekli sistemlerin analytik mekaniği) savundu. Tez aynı yıl Gauthier-Villars yayın evi tarafından [[Paris]]'de basıldı ve [[Vito Volterra]], [[Tullio Levi-Civita]] ve [[Paul Lévy (mathematician)|Paul Lévy]]'den olumlu yorumlar aldı.
Grigore Moisil [[ilk okul]]'a Bükreş'de devam etti sonra [[Vaslui]]'daki liseye ve 1916 ile 1922 arasında Bükreş'teki ("[[Spiru Haret]])"deki liseye gitti. 1924'de [[Polytechnic University of Bucharest]]'in İnşaat Mühendisliği Okuluna ve ayrıca [[Bükreş Üniversitesi]] Matematik okuluna kabul edildi. Matematiğe daha çok ilgi gösterdi bu yüzden üçüncü yıl sınavlarını geçmiş olmasına rağmen 1929'de Polytechnic Üniversitesi'nden çıktı. 1929'da üyeler [[Dimitrie Pompeiu]]ve [[Anton Davidoglu]] ile [[Gheorghe Ţiţeica]] tarafından yönlendirilen bir komisyondan önce kendi [[Ph.D.]] tezi, ''La mécanique analytique des systemes continus'' (Sürekli sistemlerin analytik mekaniği) savundu. Tez aynı yıl Gauthier-Villars yayın evi tarafından [[Paris]]'de basıldı ve [[Vito Volterra]], [[Tullio Levi-Civita]] ve [[Paul Lévy (mathematician)|Paul Lévy]]'den olumlu yorumlar aldı.
Moisil 1930'da matematikte sonraki yıl bitirdiği ''matematiksel fizikden kısmi türevlerle sistem denklemelerinin sınıfı üzerine'' makalesiyle daha ileri çalışma için [[University of Paris]]'ne gitti. 1931'de, [[University of Iaşi]]'nin Matematik Okulunda bir öğretim görevine atandığı Romanya'ya döndü. Bundan kısa bir süre sonra, [[Roma]]'da etüd yapmak için [[Rockefeller Vakfı]] bursu için bir yıllığına ayrıldı.
1932'de profesör [[Alexandru Myller]] ile yakın bir ilişki geliştirerek yaklaşık 10 yıl kaldığı Iaşi'ye geri döndü. Romanya'da Iaşi Üniversitesinde ''Mantık ve kanıt teorisi'' adlı ilk [[Abstract algebra|modern cebir]] dersini verdi. Bu zamanda, [[Jan Łukasiewicz]]'in çalışmalarına dayanan [[multi-valued logic]]'deki bir seri rapor (paper) yazmaya başladı. Matematiksel mantıktaki araştırması [[Arjentin]], [[Yugoslavya]], [[Çekoslavakya]] ve [[Macaristan]]'ın yanısıra Romanya'da sonradan yapılacak çok önemli çalışmaların temelini döşedi. Iaşi'de iken, birçok yeni fikir ve matematiğin farklı alanlarındaki kavramlar arasında yeni bağlantıları bulma ve kullanma yöntemi açısından dikkat çekici olan araştırmasını bitirdi. Kasım 1939'da Profesörlüğe yükseldi.

1941'de, [[Bükreş Üniversitesi|Bükreş üniveristesinde]] bir profesörlük pozisyonu açıldı ve Moisil ona başvurdu. Ancak, [[Gheorghe Vrânceanu]], [[Ion Barbu|Dan Barbilian]] ve [[Miron Nicolescu]] de bu pozisyon için başvurmuştu ve Vrânceanu kazandı. Moisil eğer dördü de atanırsa Romanya'da matematik için büyük bir fırsat olduğunu iddia ederek Eğitim Bakanlığına ile görüştü. Başvuurusu sonucu dört matematikçinin hepsi işe alındı. Moisil 30 Aralık 1941'de Bükreş Üniversitesi'nde Matematik Okulu'nda (daha sonra Matematik ve Bilgisayar Bilimleri Okulu) Profesör olduğu [[Bükreş]]'e taşındı.
1946'dan 1948'e kadar Moisil, [[tam yetkili]] elçi [[Ankara]] olarak adlandırılan bir izin aldı. [[Türkiye]] 'de iken [İstanbul Üniversitesi] ve [İstanbul Teknik Üniversitesi]' nde çeşitli matematik dersleri verdi.

From 1946 to 1948, Moisil took a leave of absence, being named [[plenipotentiary]] envoy to [[Ankara]]. While in [[Turkey]], he gave several series of mathematics lectures at [[Istanbul University]] and [[Istanbul Technical University]].
1948'de Bükreş Üniversitesi'nde öğretimine devam etti. Aynı yıl Romanya Akademisi'ne ve [[Romanya Akademisi Matematik Enstitüsü]] 'ne üye seçildi. 1965'ten sonra seçkin öğrencilerinden biri olan '' George Georgescu '' onunla çok değerli mantıklar üzerinde yakın çalıştı ve Romanya'nın 1989'da diktatörlükten çıkmasından sonra aynı üniversitede Matematik ve Mantık Profesörü oldu ve 1991 yılında Moisil olarak görev yaptı.<ref>[https://web.archive.org/web/20060628152508/http://fmi.unibuc.ro/ro/catedre/funinf/georgescu_george/ Prof.dr. Georgescu George]. Department of Mathematics and Informatics of the Bucharest</ref>Öğrencisi ayrıca [[cebirsel mantık]], [[MV-cebir]], [[cebir]], [[cebirsel topoloji]], [[MV-cebir]]lerinin kategorileri, [[ kategori teorisi]] ve [[Łukasiewicz – Moisil cebiri]] üzerine orijinal çalışmanın kapsamlı olarak yayınladı.<ref>[http://planetphysics.org/?op=getobj&from=books&id=253 Algebraic Mathematics and Logics]. 2009. GNUL contributed book of 500+ contributing authors.</ref><ref>[http://planetphysics.org/encyclopedia/AlgebraicCategoryOfLMnLogicAlgebras.html Algebraic category of LM<sub>''n''</sub>-logic algebras] {{webarchive|url=http://arquivo.pt/wayback/20160515100913/http://planetphysics.org/encyclopedia/AlgebraicCategoryOfLMnLogicAlgebras.html |date=15 May 2016 }}. planetphysics.org</ref><ref>{{Cite journal | last1 = Georgescu | first1 = George | last2 =Vraciu | first2 = Constantin | year = 1970 | title = On the characterization of centered Lukasiewicz algebras | journal = Journal of Algebra | volume =16 | issue = 4 | pages = 486–495 | publisher = | jstor = | doi = 10.1016/0021-8693(70)90002-5 | url = https://www.researchgate.net/publication/243016458_On_the_characterization_of_centered_Lukasiewicz_algebras | format = | accessdate = | doi-access = free }}</ref><ref>{{Cite journal | doi = 10.1007/s10516-005-4145-6| title = N-Valued Logics and Łukasiewicz–Moisil Algebras| journal = Axiomathes| volume = 16| pages = 123| year = 2006| last1 = Georgescu | first1 = G. }}</ref><ref>[http://planetmath.org/?op=getobj&from=lec&id=105 Order convergence and distance on Lukasiewicz–Moisil algebras]. planetmath.org</ref><ref>[http://planetmath.org/?op=getobj&from=objects&id=10756 Quantum ŁM-algebraic Logic]. planetmath.org</ref><ref>[http://philpapers.org/autosense.pl?searchStr=George%20Georgescu Web-generated list of Publications]. philpapers.org</ref>

== Çalışmaları ==
Moisil [[mekanik]], [[matematiksel analiz]], [[geometri]], [[cebir]] ve [[matematiksel mantık]] üzerine yazılar yayınladı. Pompeiu'nun [[areolar türevi]] nin çok boyutlu bir uzantısını geliştirdi ve mekanik uygulamalarla bir [[Hipercomplex sayı | hipercomplex]] değişkeninin [[monojenik fonksiyon]] unu inceledi. Moisil ayrıca, Łukasiewicz cebirleri (şimdi [[Łukasiewicz – Moisil cebirleri]]) adını verdiği bazı [[MV-cebir | çok değerli cebir]] 'i tanıttı ve bunları [[otomata teorisi] olarak da anılır. ]. [[Deterministik sonlu otomat | sonlu otomata]] analiz etmek için yeni yöntemler yarattı ve cebirdeki otomata teorisi alanına birçok katkı yaptı.

Moisil, ilk Romen [[bilgisayar]] ların oluşturulmasında önemli katkılarda bulundu. Romanya'da [[bilgisayar bilimi]]nin gelişiminde ve Rumen bilgisayar bilimcilerinin ilk nesillerini yetiştirmede temel bir rol oynadı. 1996 yılında, [[Elektrik ve Elektronik Mühendisleri Enstitüsü]] [[Bilgisayar Topluluğu]] tarafından ölümünden sonra [[Bilgisayar Öncüsü Ödülü] aldı.

== Ayrıca bakınız ==
*[[Boole mantığı]]
* [[De Morgan cebiri]]
* [[Jan Łukasiewicz]]
[[Łukasiewicz mantığı]]
* [[Üçlü mantık]]
* [[Kafes (anlam ayrımı) #Matematik | Kafes]] s
* [[Çok değerli mantık]]:
[[Łukasiewicz – Moisil cebirleri]]
* [[Kuantum mantığı]]:
[[Kuantum bilgisayarı]] s
* [[Cebirsel mantık]]:
[[MV-cebir]]
* [[Sembolik mantık]]:
[[Matematiksel mantık]]
*[[Cebir]]
* [[Kategori teorisi]]:
[[Kategorik mantık]],
[[Bitişik işlev]] s
* [[Elektrik ve Elektronik Mühendisleri Enstitüsü]]

==Notlar==

Sayfanın 07.47, 29 Mayıs 2020 tarihindeki hâli

Şablon:Use dmy dates

Grigore C. Moisil
Grigore C. Moisil on a 2006 Romanian stamp
Doğum10 January 1906
Tulcea, Romania
Ölüm21 Mayıs 1973 (67 yaşında)
Ottawa, Ontario, Canada
MilliyetRomania
Etnik kökenRomanian
Mezun olduğu okul(lar)Polytechnic University of Bucharest
Tanınma nedeniŁukasiewicz–Moisil algebra, Algebraic logic and MV-algebra
Kariyeri
DalıMathematics, logic and mathematical logic
Çalıştığı kurumlarUniversity of Bucharest
Doktora
danışmanı
Gheorghe Ţiţeica
Dimitrie Pompeiu
Doktora öğrencileriPeter L. Hammer

Grigore Constantin Moisil (Romanian: [ɡriˈɡore mo.iˈsil]; 10 January 1906 – 21 May 1973) Romen, matemaktikçisi, bilgisayar öncüsü ve Romen Akademi üyesiydi. Araştırması esasen matematiksel mantık (Łukasiewicz–Moisil cebiri), cebirsel mantık, MV-cebiri ve diferensiyel denklemler alanlarındaydı. Romanya'da bilgisayar biliminin babası olarak görülür.

Moisil Bolonya Bilimler Akademisi ve Uluslararası Felsefe Ensititüsü üyesiydi. 1996'da, IEEE Bilgisayar Topluluğu onu ölümünden sonra Bilgisayar Öncüsü Ödülü ile ödüllendirdi.

İçindekiler

  • 1 Yaşam öyküsü
  • 2 Çalışmaları
  • 3 Ayrıca Bkz
  • 4 Notlar
    • 4.1 Seçilmiş baskılar
  • 5 Moisil'le ilgili Kitaplar ve makaleler
  • 6 Dış bağlantılar

Yaşam öyküsü[düzelt]

Grigore Moisil 1906'da Tulcea'da entellektüel bir ailede doğdu. Büyük büyükbabası Grigore Moisil (1814–1891), Năsăud'daki ilk Romen lisesinin kurucularından birisi olan bir papazdı. Babası, Constantin Moisil (1876–1958) tarih profösürü, arkeolog ve numizmatik'di; Romen Akademisi'nin bir üyesi olarak, akademinin Nümizmatik ofisinde müdür pozisyonundaydı. Annesi, Elena (1863–1949), önce Tulcea'da öğretmen, daha sonra da Bükreş'deki "Maidanul Dulapului" okulunda (şimdiki adı "Enăchiţă Văcărescu" okulu) müdürdü.

Grigore Moisil ilk okul'a Bükreş'de devam etti sonra Vaslui'daki liseye ve 1916 ile 1922 arasında Bükreş'teki ("Spiru Haret)"deki liseye gitti. 1924'de Polytechnic University of Bucharest'in İnşaat Mühendisliği Okuluna ve ayrıca Bükreş Üniversitesi Matematik okuluna kabul edildi. Matematiğe daha çok ilgi gösterdi bu yüzden üçüncü yıl sınavlarını geçmiş olmasına rağmen 1929'de Polytechnic Üniversitesi'nden çıktı. 1929'da üyeler Dimitrie Pompeiuve Anton Davidoglu ile Gheorghe Ţiţeica tarafından yönlendirilen bir komisyondan önce kendi Ph.D. tezi, La mécanique analytique des systemes continus (Sürekli sistemlerin analytik mekaniği) savundu. Tez aynı yıl Gauthier-Villars yayın evi tarafından Paris'de basıldı ve Vito Volterra, Tullio Levi-Civita ve Paul Lévy'den olumlu yorumlar aldı. Moisil 1930'da matematikte sonraki yıl bitirdiği matematiksel fizikden kısmi türevlerle sistem denklemelerinin sınıfı üzerine makalesiyle daha ileri çalışma için University of Paris'ne gitti. 1931'de, University of Iaşi'nin Matematik Okulunda bir öğretim görevine atandığı Romanya'ya döndü. Bundan kısa bir süre sonra, Roma'da etüd yapmak için Rockefeller Vakfı bursu için bir yıllığına ayrıldı. 1932'de profesör Alexandru Myller ile yakın bir ilişki geliştirerek yaklaşık 10 yıl kaldığı Iaşi'ye geri döndü. Romanya'da Iaşi Üniversitesinde Mantık ve kanıt teorisi adlı ilk modern cebir dersini verdi. Bu zamanda, Jan Łukasiewicz'in çalışmalarına dayanan multi-valued logic'deki bir seri rapor (paper) yazmaya başladı. Matematiksel mantıktaki araştırması Arjentin, Yugoslavya, Çekoslavakya ve Macaristan'ın yanısıra Romanya'da sonradan yapılacak çok önemli çalışmaların temelini döşedi. Iaşi'de iken, birçok yeni fikir ve matematiğin farklı alanlarındaki kavramlar arasında yeni bağlantıları bulma ve kullanma yöntemi açısından dikkat çekici olan araştırmasını bitirdi. Kasım 1939'da Profesörlüğe yükseldi.

1941'de, Bükreş üniveristesinde bir profesörlük pozisyonu açıldı ve Moisil ona başvurdu. Ancak, Gheorghe Vrânceanu, Dan Barbilian ve Miron Nicolescu de bu pozisyon için başvurmuştu ve Vrânceanu kazandı. Moisil eğer dördü de atanırsa Romanya'da matematik için büyük bir fırsat olduğunu iddia ederek Eğitim Bakanlığına ile görüştü. Başvuurusu sonucu dört matematikçinin hepsi işe alındı. Moisil 30 Aralık 1941'de Bükreş Üniversitesi'nde Matematik Okulu'nda (daha sonra Matematik ve Bilgisayar Bilimleri Okulu) Profesör olduğu Bükreş'e taşındı. 1946'dan 1948'e kadar Moisil, tam yetkili elçi Ankara olarak adlandırılan bir izin aldı. Türkiye 'de iken [İstanbul Üniversitesi] ve [İstanbul Teknik Üniversitesi]' nde çeşitli matematik dersleri verdi.

From 1946 to 1948, Moisil took a leave of absence, being named plenipotentiary envoy to Ankara. While in Turkey, he gave several series of mathematics lectures at Istanbul University and Istanbul Technical University. 1948'de Bükreş Üniversitesi'nde öğretimine devam etti. Aynı yıl Romanya Akademisi'ne ve Romanya Akademisi Matematik Enstitüsü 'ne üye seçildi. 1965'ten sonra seçkin öğrencilerinden biri olan George Georgescu onunla çok değerli mantıklar üzerinde yakın çalıştı ve Romanya'nın 1989'da diktatörlükten çıkmasından sonra aynı üniversitede Matematik ve Mantık Profesörü oldu ve 1991 yılında Moisil olarak görev yaptı.[1]Öğrencisi ayrıca cebirsel mantık, MV-cebir, cebir, cebirsel topoloji, MV-cebirlerinin kategorileri, kategori teorisi ve Łukasiewicz – Moisil cebiri üzerine orijinal çalışmanın kapsamlı olarak yayınladı.[2][3][4][5][6][7][8]

Çalışmaları

Moisil mekanik, matematiksel analiz, geometri, cebir ve matematiksel mantık üzerine yazılar yayınladı. Pompeiu'nun areolar türevi nin çok boyutlu bir uzantısını geliştirdi ve mekanik uygulamalarla bir hipercomplex değişkeninin monojenik fonksiyon unu inceledi. Moisil ayrıca, Łukasiewicz cebirleri (şimdi Łukasiewicz – Moisil cebirleri) adını verdiği bazı çok değerli cebir 'i tanıttı ve bunları [[otomata teorisi] olarak da anılır. ]. sonlu otomata analiz etmek için yeni yöntemler yarattı ve cebirdeki otomata teorisi alanına birçok katkı yaptı.

Moisil, ilk Romen bilgisayar ların oluşturulmasında önemli katkılarda bulundu. Romanya'da bilgisayar biliminin gelişiminde ve Rumen bilgisayar bilimcilerinin ilk nesillerini yetiştirmede temel bir rol oynadı. 1996 yılında, Elektrik ve Elektronik Mühendisleri Enstitüsü Bilgisayar Topluluğu tarafından ölümünden sonra [[Bilgisayar Öncüsü Ödülü] aldı.

Ayrıca bakınız

Łukasiewicz mantığı

Łukasiewicz – Moisil cebirleri

Kuantum bilgisayarı s

MV-cebir

Matematiksel mantık

Kategorik mantık, Bitişik işlev s

Notlar

  1. ^ Prof.dr. Georgescu George. Department of Mathematics and Informatics of the Bucharest
  2. ^ Algebraic Mathematics and Logics. 2009. GNUL contributed book of 500+ contributing authors.
  3. ^ Algebraic category of LMn-logic algebras 15 May 2016 tarihinde Portuguese Web Archive sitesinde arşivlendi. planetphysics.org
  4. ^ Georgescu, George; Vraciu, Constantin (1970). "On the characterization of centered Lukasiewicz algebras". Journal of Algebra. 16 (4): 486–495. doi:10.1016/0021-8693(70)90002-5.  Geçersiz |doi-access=free (yardım)
  5. ^ Georgescu, G. (2006). "N-Valued Logics and Łukasiewicz–Moisil Algebras". Axiomathes. 16: 123. doi:10.1007/s10516-005-4145-6. 
  6. ^ Order convergence and distance on Lukasiewicz–Moisil algebras. planetmath.org
  7. ^ Quantum ŁM-algebraic Logic. planetmath.org
  8. ^ Web-generated list of Publications. philpapers.org