Gentzen, Gerhard (1909-1945) Amélioration Assistance
066888581
Notice de type Personne

Forme retenue

Gentzen, Gerhard (1909-1945)

Information

Langue d'expression : allemand
Pays : ALLEMAGNE
Date de naissance : 24 11 1909
Date de mort : 04 08 1945
Sexe : masculin

Notes

Note publique d'information :
Mathématicien. Professeur à l'Université de Prague (1942-1945)


Source

BN Cat. gén. suppl.


Dict. of scient. biogr.


The collected papers / of Gerhard Gentzen : edited by M. E. Szabo, 1969

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU
La vedette ne peut s'employer qu'en tête de vedette

Autres identifiants

Identifiant BNF : FRBNF128598768
Identifiant ISNI : 0000000055121572

Notices bibliographiques liées :3 rôle(s)

070 Auteur ( 4 )
205 Collaborateur ( 1 )
990 Sujet ( 9 )



Auteur :

Rôles ?



025162179 : Die gegenwärtige Lage in der mathematischen Grundlagenforschung [Texte imprimé] : Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie / Gerhard Gentzen / Leipzig : S. Hirzel , 1938

010472738 : Recherches sur la déduction logique = = Untersuchungen über das logische Schliessen : / par Gerhard Gentzen ; traduction et commentaire par Robert Feys et Jean Ladrière / Paris : Presses universitaires de France , 1955

004549740 : The collected papers of Gerhard Gentzen [Texte imprimé] / edited by M.E. Szabo,... / Amsterdam : North-Holland , 1969

022792767 : Die gegenwärtige Lage in der mathematischen Grundlagenforschung [Texte imprimé] : Neu Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. (Unveránd. reprograph. Nachdr. d. Ausg. Leipzig 1938.) / Gerhard Gentzen / Darmstadt : Wissenschaftliche Buchges , 1969



Collaborateur :

Rôles ?



002811553 : Intuitionisme et théorie de la démonstration / textes de Bernays, Brouwer, Gentzen... [et al.] ; réunis, traduits et présentés par Jean Largeault / Paris : Librairie philosophique J. Vrin , 1992, cop. 1992



Sujet :

Rôles ?



002811553 : Intuitionisme et théorie de la démonstration / textes de Bernays, Brouwer, Gentzen... [et al.] ; réunis, traduits et présentés par Jean Largeault / Paris : Librairie philosophique J. Vrin , 1992, cop. 1992

089030052 : Gentzens Problem [Texte imprimé] : mathematische Logik im nationalsozialistischen Deutschland / Eckart Menzler-Trott ; mit einem Essay von Jan von Plato / Basel [etc.] : Birkhäuser , 2001

189979437 : Gentzen's centenary : the quest for consistency / Reinhard Kahle, Michael Rathjen, editors / Cham : Springer International Publishing , 2015

198604491 : L' identité des preuves : normalisation, réseaux et séparation / Jules Chouquet ; sous la direction de Pierre Wagner / Paris : Université Paris 1 Panthéon - Sorbonne , 2016

014943530 : Natural deduction [Texte imprimé] : a proof-theoretical study / Dag Prawitz / Stockholm : Almqvist & Wiksell , [1965]

102137935 : Natural deduction [Texte imprimé] : a proof-theoretical study / Dag Prawitz,... / Mineola, NY : Dover publications , cop. 2006

123770882 : Logic's lost genius [Texte imprimé] : the life of Gerhard Gentzen / Eckart Menzler-Trott ; translated by Craig Smoryński and Edward Griffor / [English ed.] / Providence (R.I.) : American Mathematical Society , cop. 2007

189765003 : Gentzen's centenary : the quest for consistency / Reinhard Kahle, Michael Rathjen, editors / Cham : Springer , cop. 2015

20128961X : Saved from the cellar : Gerhard Gentzen's shorthand notes on logic and foundations of mathematics / Jan von Plato / Cham : Springer , copyright 2017


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance