Seshat : Gerhard Gentzen

Gerhard Gentzen (Allemagne)

Greifswald, 24 novembre 1909 - Prague, 4 août 1945

Biographie

Gerhard Gentzen est un mathématicien et logicien allemand.
Il fut l'un des étudiants de Weyl à l'université de Göttingen de 1929 à 1933. Il a inventé deux systèmes de déduction pour la logique du premier ordre, la déduction naturelle et le calcul des séquents. Pour ce dernier, il a démontré son Hauptsatz (théorème principal), publié en 1934 dans ses Recherches sur la déduction logique.
Gentzen est mort dans un camp de prisonnier de guerre, après avoir été arrêté par les soviets à cause de ses loyautés nazies.

Biographie dans MacTutor : http://www-gap.dcs.st-and.ac.uk/~history/Biographies/Gentzen.html (consulter la traduction automatique)


Travaux en mathématiques

Gentzen est célèbre pour avoir démontré la cohérence de l'arithmétique de Peano (en 1936). Les méthodes utilisées pour cette preuve se sont avérées essentielles pour la théorie de la démonstration moderne.


Livres et articles en ligne

Lieu de naissance

Nom à l'époque : Greifswald

Pays à l'époque : Allemagne



Nom actuel : Greifswald

Pays actuel : Allemagne

Agrandir le plan


Arbre généalogique mathématique

Voir sa fiche dans The Mathematics Genealogy Project


Mathématiciens contemporains de Gerhard Gentzen

Situer Gerhard Gentzen dans la chronologie des mathématiciens

Howard Hathaway Aiken (1900 - 1973)
Pavel Sergeevitch Alexandrov (1896 - 1982)
Paul Emile Appell (1855 - 1930)
Emil Artin (1898 - 1962)
René-Louis Baire (1874 - 1932)
Henry Frederick Baker (1866 - 1956)
Stefan Banach (1892 - 1945)
Nina Karlovna Bari (1901 - 1961)
Felix Bernstein (1878 - 1956)
Abram Samoilovitch Besicovitch (1891 - 1970)
Vilhelm Frimann Koren Bjerknes (1862 - 1951)
Harald Bohr (1887 - 1951)
Alicia Boole Stott (1860 - 1940)
Félix Edouard Justin Emile Borel (1871 - 1956)
Ladislaus Josephovich Bortkiewicz (1868 - 1931)
Jacob Bronowski (1908 - 1974)
Luitzen Egbertus Jan Brouwer (1881 - 1966)
Marjorie Lee Browne (1914 - 1979)
Renato Caccioppoli (1904 - 1959)
Florian Cajori (1859 - 1930)
Francesco Paolo Cantelli (1875 - 1966)
Constantin Carathéodory (1859 - 1950)
Torsten Carleman (1892 - 1949)
Fritz Carlson (1888 - 1952)
Henri Paul Cartan (1904 - 2008)
Élie Joseph Cartan (1869 - 1951)
John William Scott Cassels (1922)
Guido Castelnuovo (1865 - 1952)
David Gawen Champernowne (1912 - 2000)
Shiing-shen Chern (1911 - 2004)
Lothar Collatz (1910 - 1990)
Richard Courant (1888 - 1972)
Elbert Frank Cox (1895 - 1969)
Gertrude Mary Cox (1900 - 1978)
Harold Scott MacDonald Coxeter (1907 - 2003)
George Bernard Dantzig (1914 - 2005)
Georges de Rham (1903 - 1990)
Max Wilhelm Dehn (1878 - 1952)
Boris Nikolaevich Delone (1890 - 1980)
Leonard Eugene Dickson (1874 - 1954)
Jean Alexandre Eugène Dieudonné (1906 - 1992)
Paul Adrien Maurice Dirac (1902 - 1984)
Wolfgang Doeblin (1915 - 1940)
Marie-Louise Dubreil-Jacotin (1903 - 1972)
Henry Ernest Dudeney (1857 - 1930)
Winifred Edgerton Merrill (1862 - 1951)
Paul Erdös (1913 - 1996)
Agner Krarup Erlang (1878 - 1929)
Maurits Cornelis Escher (1898 - 1972)
Machgielis Euwe (1901 - 1981)
Gyula Farkas (1847 - 1930)
Mary Celine Fasenmyer (1906 - 1996)
John Charles Fields (1863 - 1932)
Ernst Sigismund Fischer (1875 - 1954)
Ronald Aylmer Fisher (1890 - 1962)
Andrew Russell Forsyth (1858 - 1942)
Maurice René Fréchet (1878 - 1973)
William F. Friedman (1891 - 1969)
Albrecht Fröhlich (1916 - 2001)
Martin Gardner (1914 - 2010)
Hilda Geiringer von Mises (1893 - 1973)
Karl Friedrich Geiser (1881 - 1934)
William Sealey Gosset (1876 - 1937)
Edouard Jean-Baptiste Goursat (1858 - 1936)
Kurt Gödel (1906 - 1978)
Jacques Salomon Hadamard (1865 - 1963)
Paul Richard Halmos (1916 - 2006)
Godfrey Harold Hardy (1877 - 1947)
Felix Hausdorff (1868 - 1942)
Erich Hecke (1887 - 1947)
Hans Arnold Heilbronn (1908 - 1975)
David Hilbert (1862 - 1943)
Herman Hollerith (1860 - 1929)
Heinz Hopf (1894 - 1971)
Witold Hurewicz (1904 - 1956)
Kiyosi Itô (1915 - 2008)
Kenkichi Iwasawa (1917 - 1998)
William Ernest Johnson (1858 - 1931)
Gaston Maurice Julia (1893 - 1978)
Dattatreya Ramachandra Kaprekar (1905 - 1986)
Alexandre Iakovlevitch Khintchine (1894 - 1959)
Kunihiko Kodaira (1915 - 1997)
Andreï Nikolaïevich Kolmogorov (1903 - 1987)
Wolfgang Krull (1899 - 1971)
Kazimierz Kuratowski (1896 - 1980)
Martin Wilhelm Kutta (1867 - 1944)
Charles Jean Gustave Nicolas de La Vallée Poussin (1866 - 1962)
Christine Ladd-Franklin (1847 - 1930)
Emanuel Lasker (1868 - 1941)
Henri Léon Lebesgue (1875 - 1941)
Solomon Lefschetz (1884 - 1972)
Emma Markovna Trotskaia Lehmer (1906 - 2007)
Norman Levinson (1912 - 1975)
Carl Louis Ferdinand von Lindemann (1852 - 1939)
John Edensor Littlewood (1885 - 1977)
Edward Norton Lorenz (1917 - 2008)
Jan Lukasiewicz (1878 - 1956)
Nikolaï Nikolaïevitch Luzin (1883 - 1950)
Leopold Löwenheim (1878 - 1957)
Benoît Mandelbrot (1924 - 2010)
Karl Menger (1902 - 1985)
Phyllis Nicolson (1917 - 1968)
Emmy Noether (1882 - 1935)
Olga Arsenievna Oleinik (1925 - 2001)
Giuseppe Peano (1858 - 1932)
Karl Pearson (1857 - 1936)
Charles Emile Picard (1856 - 1941)
Georg Alexander Pick (1859 - 1943)
Michel Plancherel (1885 - 1967)
Josip Plemelj (1873 - 1967)
George Pólya (1887 - 1985)
Lev Semionovitch Pontriagine (1908 - 1988)
Willard Van Orman Quine (1908 - 2000)
Frank Plumpton Ramsey (1903 - 1930)
Helena Rasiowa (1917 - 1994)
Mina Spiegel Rees (1902 - 1997)
Abraham Robinson (1918 - 1974)
Julia Hall Bowman Robinson (1919 - 1985)
Bertrand Arthur William Russell (1872 - 1970)
Raphaël Salem (1898 - 1963)
Leonard Jimmie Savage (1917 - 1971)
Henry Scheffé (1907 - 1977)
Isaac Jacob Schoenberg (1903 - 1990)
Laurent Schwartz (1915 - 2002)
Atle Selberg (1917 - 2007)
John Greenlees Semple (1904 - 1985)
Claude Elwood Shannon (1916 - 2001)
Carl Ludwig Siegel (1896 - 1981)
Waclaw Franciszek Sierpinski (1882 - 1969)
Thoralf Albert Skolem (1887 - 1963)
Vladimir Ivanovitch Smirnov (1887 - 1974)
Hugo Dionizy Steinhaus (1887 - 1972)
Marshall Harvey Stone (1903 - 1989)
Dirk Jan Struik (1894 - 2000)
Teiji Takagi (1875 - 1960)
Alfred Tarski (1902 - 1983)
Nikolaï Grigorevitch Tchebotarov (1894 - 1947)
René Thom (1923 - 2002)
D'arcy Wentworth Thompson (1860 - 1948)
Edward Charles Titchmarsh (1899 - 1963)
Francesco Giacomo Tricomi (1897 - 1978)
John Wilder Tukey (1915 - 2000)
Alan Mathison Turing (1912 - 1954)
Stanislaw Marcin Ulam (1909 - 1984)
Oswald Veblen (1880 - 1960)
Ernest Vessiot (1865 - 1952)
Ivan Matveievitch Vinogradov (1891 - 1983)
Vito Volterra (1860 - 1940)
Walther Franz Anton von Dyck (1856 - 1934)
Richard Edler von Mises (1883 - 1953)
John von Neumann (1903 - 1957)
Abraham Wald (1902 - 1950)
André Weil (1906 - 1998)
Hermann Klaus Hugo Weyl (1885 - 1955)
Anna Johnson Pell Wheeler (1883 - 1966)
Alfred North Whitehead (1861 - 1947)
John Henry Constantine Whitehead (1904 - 1960)
Hassler Whitney (1907 - 1989)
Edmund Taylor Whittaker (1873 - 1956)
Norbert Wiener (1894 - 1964)
Ludwig Josef Johann Wittgenstein (1899 - 1954)
Laurence Chisholm Young (1905 - 2000)
Oscar Zariski (1899 - 1986)
Ernst Friedrich Ferdinand Zermelo (1871 - 1953)
Max August Zorn (1906 - 1993)