Home  - Scientists - Gentzen Gerhard

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

81-84 of 84    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

81. Gödel
    Translate this page Quelques années auparavant, une démonstration semblable avait été apportée parGerhard gentzen (1909-1945) étudiant de Hilbert (comme Ackermann) et dont les  
    http://serge.mehl.free.fr/chrono/godel.html
    
    Extractions: Philosophe et logicien d'origine autrichienne, l e plus grand logicien depuis Aristote , selon Von Neumann. Professeur à Vienne, il quittera l'Autriche en 1938 pour les États-Unis et s'établira à Princeton. Gödel formula des théorèmes fondamentaux portant sur les relations et la consistance des théories mathématiques. Au sein d'une théorie, on qualifie d' indécidable contradictoire , ou non consistante algorithme en introduisant les notions de fonctions (ou relations) calculables calculable et d'ensembles Dans un contexte constructiviste axiomatisables et est de Hilbert formalisme de Cantor logicisme que furent Frege et Russell et de Ackermann Gerhard Gentzen Hilbert (comme Ackermann Si la théorie des ensembles est consistante, on peut lui ajouter l' et/ou l' axiome du choix elle restera non contradictoire Tarski Cohen Robinson Procédures récursives : Dans l'étude du langage mathématique formel, Gödel aborde l'usage de fonctions et relations . En mathématique et programmation élémentaires, les fonctions ou procédures En savoir un peu plus sur les procédures récursives : Turing Ackermann Church Pour en savoir plus : , D.W. Baron, Ed. Dunod, Paris, 1970

82. Arché TWiki . Main . GentzenDieWiderspruchsfreiheitDerStufenlogik
    Zeitschrift 41 (1936), pp. 357366. This citation belongs to the following  
    http://weka.ucdavis.edu/~ahwiki/bin/view/Main/GentzenDieWiderspruchsfreiheitDerS
    
    Extractions: Main Arché Dept TWiki ... Sandbox Changes Search Gerhard Gentzen, "Die Widerspruchsfreiheit der Stufenlogik" Mathematische Zeitschrift 41 (1936), pp. 357366 This citation belongs to the following research topics: MathBibConvert 17 Feb 2003 ArticleCitation Title: Die Widerspruchsfreiheit der Stufenlogik Author: Gerhard Gentzen Journal Mathematische Zeitschrift Volume: Pagerange: Year: Topic GentzenDieWiderspruchsfreiheitDerStufenlogik Edit Attach Ref-By Print Diffs More Revision r1.2 - 09 Mar 2004 - 17:48 - MarcusRossberg

83. Enciclopedia :: 100cia.com
    http://100cia.com/enciclopedia/Gerhard_Gentzen
    
    Extractions: ¿Quieres tener los contenidos de 100cia.com en tu página? Pulsa aquí Buscar: en Google en noticias en Enciclopedia Estás en: 100cia.com > Enciclopedia Gerhard Gentzen Gerhard Gentzen 24 de noviembre de 4 de agosto de ) fue un matemático y lógico alemán Nacido en Greifswald (Alemania), murió en Praga República Checa Fue un estudiante de Weyl en la Universidad de Göttingen entre y . Sus principales trabajos fueron en las fundaciones de la matemática y la teoría de la demostración En , Gentzen introduce la noción de sistema de deducción natural para lógica clásica y lógica intuicionista . Demuestra que toda prueba puede escribirse de manera normalizada sin cortes . Para ello introduce el cálculo de consecuencias lógicas o secuentes En , Gentzen demuestra la consistencia de la teoría elemental de números Como parte del esfuerzo de guerra alemán, fue nombrado profesor en la Universidad alemana de Praga. Capturado por los

84. ˆ®ìî•ñ‚Ë‚Á‚Ɓi‰½‚Ì“új
    Translate this page The summary for this Japanese page contains characters that cannot be correctly displayed in this language/character set.  
    http://www.ajnet.ne.jp/todayq/index2.php?ofs=70

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-84 of 84    Back | 1  | 2  | 3  | 4  | 5