Geometry.Net - Scientists: Gentzen Gerhard


Home - Scientists - Gentzen Gerhard

e99.com Bookstore

Images

Newsgroups

81-83 of 83 Back | 1 | 2 | 3 | 4 | 5

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Gentzen Gerhard: more detail

The collected papers of Gerhard Gentzen (Studies in logic and the foundations of mathematics) by Gerhard Gentzen, 1969
Gerhard Gentzen
German Logicians: Immanuel Kant, Gottfried Leibniz, Georg Cantor, Gottlob Frege, Gerhard Gentzen, Christoph Gottfried Bardili
People From the Province of Pomerania: Edward Sapir, Rudolf Virchow, Gerhard Gentzen, Carl Meinhof, Hermann Grassmann, Max Schmeling
Academics of the Charles University: Albert Einstein, Jan Hus, Ernst Mach, Ewald Hering, Gerhard Gentzen, Tomás Garrigue Masaryk, Alfred Weber
People From Greifswald: Caspar David Friedrich, Gerhard Gentzen, Robin Szolkowy, Hans Fallada, Magnus Von Braun, Toni Kroos, Kurt Wolff
Recherches Sur La Deduction Logique by Gerhard GENTZEN, 1955
Kolmogorov, Heyting and Gentzen on the intuitionistic logical constants *.: An article from: Crítica by Gustavo Fernandez Diez, 2000-12-01
Die Gegenwartige Lage in der Mathematischen Grundlagenforschung [bound with] Neue Fassung des Widerspruchsfreiheitsbeweises fur die Reine Zahlentheorie. [Facsimile reprint of 1938- text in Fraktur] by Gerhard Gentzen, 1969-01-01
Patrones inferenciales.: An article from: Crîtica by Axel Arturo Barcelô Aspeitia, 2008-12-01
Logic's Lost Genius (History of Mathematics) by Eckart Menzler-Trott, 2007-11-21
Natural Deduction: A Proof-Theoretical Study by Dag Prawitz, 2006-02-24

lists with details

Sequent Calculus -- From MathWorld
Cut Elimination Theorem. search. gentzen, G. The Collected Papers of Gerhardgentzen (Ed. M. E. Szabo). Amsterdam, Netherlands NorthHolland, 1969.
http://mathworld.wolfram.com/SequentCalculus.html

Extractions: Sequent Calculus This entry contributed by Alex Sakharov author's link A sequent is an expression where and are (possibly empty) sequences of formulas. Here, is called the antecedent and is called the consequent. The informal understanding of sequents is that the sequent corresponds to The initial sequent of all derivations is The rules of inference for sequent calculus are divided in two categories: structural and logical. There are at least two logical rules for every propositional connective and every quantifier; one of them applies to the antecedent, whereas the other applies to the consequent. The structural rules are thinning,
Personen Der Biologie, Chemie, Physik Medizin Und Mathematik
Translate this page XGentzen, gerhard dt. Mathematiker (1909-1945), Promotion bei H.Weyl, Zusammenarbeitmit D.Hilbert, Beweis der Widerspruchsfreiheit der Zahlentheorie.
http://home.t-online.de/home/Dr.Ursin.Bernd/site08_d.htm
Prof. Dr. Volker Peckhaus
gentzen, GerhardKarl Erich (1909-45) , 23-25. Routledge Encyclopedia of Philosophy, hg.
http://www-fakkw.upb.de/institute/philosophie/Personal/Peckhaus/Schriftenverzeic

Extractions: Fotografien Der nationalsozialistische "neue Begriff" von Wissenschaft am Beispiel der "Deutschen Mathematik" Programm, Konzeption und politische Realisierung Online-Version (HTML/PDF) Logik und Struktur. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert Studien zur Wissenschafts-, Sozial- und Bildungsgeschichte der Mathematik; 7), X + 291 S. [ Umschlag Rezension Hermann Ulrici (1806-1884). Der Hallesche Philosoph und die englische Algebra der Logik. Mit einer Auswahl von Texten Ulricis zur Logik und einer Bibliographie seiner Schriften , Hallescher Verlag: Halle/Saale 1995 (= Schriftenreihe zur Geistes- und Kulturgeschichte. Texte und Dokumente ), 181 S. [ Umschlag Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert , Akademie-Verlag: Berlin 1997 (= Logica Nova), XII + 412 S. [

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

81-83 of 83 Back | 1 | 2 | 3 | 4 | 5