Jacques Herbrand - Jacques Herbrand

Jacques Herbrand
J Herbrand 1931.jpg
1931 yazında Herbrand, Natascha Artin Brunswick tarafından fotoğraflandığı gibi
Doğmak ( 1908-02-12 )12 Şubat 1908
Paris, Fransa
Öldü 27 Temmuz 1931 (1931-07-27)(23 yaşında)
La Bérarde , Isère, Fransa
Milliyet Fransızca
gidilen okul
Paris École Normale Supérieure Üniversitesi (Doktora, 1930)
Bilinen Herbrand teoremi
Herbrand–Ribet teoremi
Herbrand bölümü
Bilimsel kariyer
Alanlar Matematiksel mantık , sınıf alan teorisi
Tez Recherches sur la théorie de la démonstration (İspat Teorisi Üzerine Araştırmalar)  (1930)
Doktora danışmanı Ernest Vessiot

Jacques Herbrand (12 Şubat 1908 - 27 Temmuz 1931) Fransız bir matematikçiydi . 23 yaşında ölmesine rağmen, profesörleri Helmut Hasse ve Richard Courant tarafından "genç neslin en büyük matematikçilerinden" biri olarak kabul edildi .

Matematiksel mantık ve sınıf alanı teorisi üzerine çalıştı . Özyinelemeli işlevleri tanıttı . Herbrand teoremi , tamamen farklı iki teoremden birini ifade eder. Biri ispat teorisindeki doktora tezinden , diğeri ise Herbrand-Ribet teoreminin bir sonucudur . Herbrand bölüm türüdür Euler karakteristik kullanılan, homolog cebir . Hilbert'in matematiğin temellerindeki programına , zayıf bir aritmetik sistemi için yapıcı bir tutarlılık kanıtı sağlayarak katkıda bulundu . İspat, yukarıda bahsedilen, ispat-teorik Herbrand teoremini kullanır.

biyografi

Herbrand, doktorasını 1929'da Paris'teki École Normale Supérieure'de Ernest Vessiot altında tamamladı. Ancak, Ekim 1929'da orduya katıldı ve bu nedenle , bir sonraki yıla kadar Sorbonne'da tezini savunmadı . O verildi Rockefeller bursu onu okumak etkin Almanya'da ilk, 1931 yılında John von Neumann de Berlin'de ile Haziran aylarında daha sonra, Emil Artin içinde Hamburg ile nihayet ve Emmy Noether yılında Göttingen'de .

İspat teorisi ve genel özyinelemeli fonksiyonlar üzerine temel çalışmasını 1931'in başlarında "Aritmetiğin tutarlılığı üzerine" sunmuştur. Makale incelenirken , Gödel'in " Principia Mathematica ve ilgili sistemlerin biçimsel olarak karar verilemeyen tümceleri üzerine I" (genel ) sadece teorinin kendisini kullanarak bir teorinin tutarlılığını kanıtlamanın imkansızlığı. Herbrand, Gödel'in makalesini inceledi ve Gödel'in sonucunun neden kendisininkiyle çelişmediğini açıklayan kendi çalışmasına bir ek yazdı. O yılın Temmuz ayında, iki arkadaşıyla birlikte Fransız Alpleri'nde dağa tırmanırken , Massif des Écrins'in granit dağlarında düşerek öldü . "Aritmetiğin tutarlılığı üzerine" ölümünden sonra yayınlandı.

Alıntı yapmak

Fransız matematikçi Claude Chevalley , Michèle Chouchan'dan alıntı yaparak "Jacques Herbrand Bourbaki'den nefret ederdi " dedi , "Nicolas Bourbaki Faits et légendes" , Éditions du choix, 1995.

bibliyografya

  • Claus-Peter Wirth ve Jörg Siekmann ve Christoph Benzmüller ve Serge Autexier (2009). Bir Mantıkçı Olarak Jacques Herbrand Üzerine Dersler (SEKI Raporu). DFKI . arXiv : 0902.4682 .

Birincil literatür:

  • 1967. Jean van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 . Cambridge, Massachusetts: Harvard Üniv. Basmak.
    • 1930. "İspat teorisinde araştırmalar", 525-81.
    • 1931. "Aritmetiğin tutarlılığı üzerine" 618-28.
  • 1968. Jean van Heijenoort (ed.), Jacques Herbrand, Écrits logiques . Paris: Presler Universitaires de France.
  • 1971. Warren David Goldfarb (çeviri, ed.), Logical Writings of Jacques Herbrand Cambridge, Massachusetts: Harvard University Press.

Ayrıca bakınız

Referanslar

Dış bağlantılar