Geometry.Net - the online learning center
Home  - Scientists - Gentzen Gerhard
e99.com Bookstore
  
Images 
Newsgroups
Page 5     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
  1. The collected papers of Gerhard Gentzen (Studies in logic and the foundations of mathematics) by Gerhard Gentzen, 1969
  2. Gerhard Gentzen
  3. German Logicians: Immanuel Kant, Gottfried Leibniz, Georg Cantor, Gottlob Frege, Gerhard Gentzen, Christoph Gottfried Bardili
  4. People From the Province of Pomerania: Edward Sapir, Rudolf Virchow, Gerhard Gentzen, Carl Meinhof, Hermann Grassmann, Max Schmeling
  5. Academics of the Charles University: Albert Einstein, Jan Hus, Ernst Mach, Ewald Hering, Gerhard Gentzen, Tomás Garrigue Masaryk, Alfred Weber
  6. People From Greifswald: Caspar David Friedrich, Gerhard Gentzen, Robin Szolkowy, Hans Fallada, Magnus Von Braun, Toni Kroos, Kurt Wolff
  7. Recherches Sur La Deduction Logique by Gerhard GENTZEN, 1955
  8. Kolmogorov, Heyting and Gentzen on the intuitionistic logical constants *.: An article from: Crítica by Gustavo Fernandez Diez, 2000-12-01
  9. 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
  10. Patrones inferenciales.: An article from: Crîtica by Axel Arturo Barcelô Aspeitia, 2008-12-01
  11. Logic's Lost Genius (History of Mathematics) by Eckart Menzler-Trott, 2007-11-21
  12. Natural Deduction: A Proof-Theoretical Study by Dag Prawitz, 2006-02-24

81. 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
INDEX Algebra Applied Mathematics Calculus and Analysis Discrete Mathematics ... Alphabetical Index
ABOUT THIS SITE About MathWorld About the Author
DESTINATIONS What's New MathWorld Headline News Random Entry ... Live 3D Graphics
CONTACT Email Comments Contribute! Sign the Guestbook
MATHWORLD - IN PRINT Order book from Amazon Foundations of Mathematics Logic General Logic ... Sakharov
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,
contraction,
exchange

82. 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
Historische Persoenlichkeiten der
Biologie, Chemie, Physik, Medizin und Mathematik
A

Abel, Niels Henrik

norweg.Mathematiker (1802-1829), Beweis der Unmoeglichkeit der Aufloesung von Gleichungen hoeheren als 4.Grades, Theorie der algebraischen Funktionen, Theorie der elliptischen Funktionen, Abelsche Gruppen.
Adams, John Couch

brit. Mathematiker (1819-1892), 1845 Entdeckung des Planeten Neptun, ab 1861 Leiter der Sternwarte Cambridge, Adams-, Adams-Bashforth-, Adams-Moulton-Verfahren zur numerischen Loesung von Differentialgleichungen.
Ahmes (auch Ahmose)

aegypt.Mathematiker (um 17.Jahrh. v.Chr.), Verfasser des Papyrus Rhind, aeltestes Dokument aegypt.Mathematik.
Alembert, Jean le Rond d´

frz. Mathematiker (1717-1783), d´Alembertsches Prinzip in der Mechanik, Theorie der analytischen Funktionen, partielle Differentialgleichungen, Grundlagen der Algebra. Alexandrow, Pawel Sergejewitsch russ. Mathematiker (1896-?), kombinatorische Topologie u. kompakte Raeume. Anaxagoras griech. Philosoph (499-428 v.Chr.), Arbeiten zur Geometrie u. zur Zentrifugalkraft, 450 in Athen inhaftiert, wegen der Behauptung, die Sonne sei keine Gottheit u. der Mond reflektiere das Sonnenlicht. Anaximander Anaximenes Apastamba ind. Mathematiker (um 600 v.Chr.), sehr genaue Naeherung fuer 2^(1/2).

83. 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

Philosophie

Personal

Prof. Dr. Volker Peckhaus
Volker Peckhaus
Wissenschaftliche Publikationen
Qualifikationsarbeiten
Lexikonartikel

Rezensionen

Abstracts, Sonstiges
...
Fotografien
1. Qualifikationsarbeiten
  • 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  

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

    free hit counter