Adolf ıhlamur

Adolf ıhlamur Bilgi kutusundaki görüntü. biyografi
Doğum 12 Haziran 1904
Varşova
Ölüm Eylül 1941 veya 1942
Paneriai
milliyet Polonya İkinci Cumhuriyeti
Eğitim Varşova Üniversitesi
Aktiviteler matematikçi , filozof
Diğer bilgiler
İçin çalıştı Varşova Üniversitesi
Alan Küme teorisi
süpervizör Wacław Sierpinski

Adolf Lindenbaum , doğdu12 Haziran 1904içinde Varşova ve 1941 yılında Almanlar tarafından öldürülen Paneriai , bir olan Polonyalı mantıkçı ve matematikçi bağlı Lvov-Varşova Okulu .

Wacław Sierpiński'nin öğrencisi olan ve Varşova Üniversitesi'nde asistan olarak görev yaptığı Adolf Lidenbaum, kendisini matematiğin temellerine ve özellikle matematiksel mantığın (Aristoteles felsefesinden kaynaklanan) önermeler mantığının yetersizliklerinin ardından matematiksel mantığın yenilenmesine adadı. doğum ve kullanım ait Georg Cantor kümesi teorisi .

Teoremi ile tanınır, çoğunlukla lemma Lindenbaum  (in) veya lemma uzantısı Lindenbaum olarak adlandırılan Lindenbaum diyor . Klasik mantıkta, Lindenbaum'un teoremi ifade edilir: herhangi bir tutarlı teorinin maksimum tutarlı bir uzantısı vardır.

Lidenbaum aynı zamanda Lindenbaum - Tarski cebirinin yapısının da yazarıdır . 1935'te iki matematikçi , ondan bir tanımlanabilirlik ölçütü çıkararak tipler teorisi fikrini ortaya attılar. Çeşitli tipteki nesneler arasındaki herhangi bir ilişkinin ve klasik anlamda tamamen mantıksal olarak ifade edilen herhangi bir ilişkinin resmi olarak gösterilebileceğini tespit ettiler. , bireylerin etki alanının herhangi bir permütasyonu ile değişmezdir. Eleman sayıları önceden belirlenmiş bir çift oluşturan iki sınıftaki iki bölümün bu salt mantıksal yollarla ayırt edilemez olduğu sonucuna varırlar.

Yahudi inancına sahip olan Lindenbaum , Polonya'nın işgali sırasında Nazilerin suistimallerinden kurtulamadı . Tutuklanma korkusuyla eşi Janina Hosiasson ile Varşova'dan ayrıldı .6 Eylül 1939ve Vilnius'a gitti . Daha sonra şehir Ruslar tarafından işgal edilmiş ve işgal edilmiş olan Białystok'a gitti . Orada yeni kurulan Sovyet Pedagoji Enstitüsü'nde doçent ve öğretim görevlisi pozisyonunu aldı. Eylül 1941'de Gestapo tarafından tutuklandı ve Vilnius'a götürüldü . Poneriai Katliamı olarak bilinen toplu infazlarda karısıyla birlikte can verdi .

Şuna da bakın:

Notlar ve referanslar

  1. Jean-Yves Béziau, "  Lidenbaum-Asser teoreminin gerçek kapsamı  ", Mantık ve Analiz ,1999, s.  341–359
  2. Marcel Guillaume, "  İki dünya savaşı arasında Fransa'da matematiksel mantık: Bazı ölçütler  ", Revue d'histoire des sciences , cilt.  62,ocak 2009, s.  177 ila 219

Dış bağlantılar