41. Index To KR Book Ganter, Bernhard 74 Gärdenfors, Peter 388 Gautama Buddha 56 Geertz, Clifford 355Gelernter, David 237, 239 Genesereth, Michael R. 25 gentzen, gerhard 301, 307 http://www.jfsowa.com/krbook/krindex.htm

Index to Knowledge Representation This web page contains an index to the book Knowledge Representation by John F. Sowa. It consists of an index of names , an index of subjects , and a list of special symbols . All page numbers refer to the printed edition. Names and subjects displayed in blue have hypertext links to web pages that contain further information about the corresponding persons and topics. Please send any additions or corrections to those links to John Sowa Names: A B C D ... Z Subjects: A B C D ... Z Name Index A Allen, James F. Amarel, Saul Anderson, Alan Ross Apel, Karl-Otto Apt, Krzysztof R. Aquinas, Thomas, St. Arieti, Silvano Aristotle Augustine, St. Avicenna (Ibn Sina) B Badler, Norman I. Bartlett, Frederic C. Barwise, Jon Belnap, Nuel D. ... Beth, Evert Blair, Howard A. Bobrow, Daniel Bogart, Humphrey Bohr, Niels Booch, Grady ... Burke, Edmund Burnstine, Donald C Cantor, Georg Carnap, Rudolf Carriero, Nicholas Casati, Roberto Ceccato, Silvio Chamberlin, Don Chandrasekaran, B. Chen, Peter P. ... Cyre, Walling D Dahl, Ole-Johan

42. List Of Entries Genetics and Ethics Ruth Chadwick. Gentile, Giovanni Richard Bellamy. gentzen,gerhard Karl Erich Volker Peckhaus. Geology, Philosophy of Rachel Laudan. http://www.routledge-ny.com/rep/entrie2.html

List of Entries A B C D ... Z G Gadadhara Jonardon Ganeri Gadamer, Hans-Georg Kathleen Wright Gaius Grant McLeod Galen R.J. Hankinson Galileo Galilei Mario Biagioli Gandhi, Mohandas Karamchand Frank J. Hoffman Gangesa Stephen H. Phillips Garrigou-Lagrange, Reginald Ralph McInerny Gassendi, Pierre Margaret Osler Gaudiya Vaishnavism Jan Brzezinski Gautama Aksapada Eli Franco Karin Preisendanz Gender and Ethics Zoltan Szabo Gender and Science Sandra Harding Genealogy R. Kevin Hill General Relativity, Philosophical Responses to Thomas Ryckman General Will Peter Nicholson Genetics Lindley Darden Genetics and Ethics Ruth Chadwick Gentile, Giovanni Richard Bellamy Gentzen, Gerhard Karl Erich Volker Peckhaus Geology, Philosophy of Rachel Laudan Geometry, Philosophical Issues in Thomas Ryckman George of Trebizond John Monfasani Gerard of Cremona Mark Jordan Gerard of Odo Bonnie Kent Gerard, Alexander Dabney Townsend Gerbert of Aurillac Fiona Somerset Gerdil, Cardinal Sigismond Patrick Riley German Idealism Paul Franks Gerson, Jean

43. Symbolische Mathematik - Literaturhinweise Translate this page 1983. gentzen, gerhard Die gegenwärtige Lage in der mathematischenGrundlagenforschung in Deutsche Mathematik 1938, 255-268. Giloi http://www.tydecks.info/online/math_symb_lit.html

Mathematik der Natur Symbolische Mathematik Literaturhinweise Adorno, Theodor Wiesengrund: Kierkegaard, Frankfurt/M 1974 -: Negative Dialektik, Frankfurt/M 1970 -: Geometrical Methods in the Theory of Ordinary Differential Equations, New York u.a. 1983 Bayer: Sternbilder und Sternzeichen, Dortmund 1981 -: Grundlagen der Mathematik in geschichtlicher Entwicklung, Frankfurt 1975 Bernal, John Desmond: Wissenschaft, Bd. 1 + 2, Reinbek 1970 Bieberbach, Ludwig: Stilarten mathematischen Schaffens in: Sitzungsberichte d. Preuss. Akad. d. Wiss, Berlin 1934, 351-360 in: Deutsche Mathematik 1937, 11-16 Bishop, Morris: Pascal, Berlin 1932 Bongartz, Klaus u.a.: Farbige Parkette, Basel 1980 Boorstin, Daniel J.: Die Entdecker, Basel u.a. 1985 Calder: Einsteins Universum, Frankfurt/M 1980 Cantor, Georg: Gesammelte Abhandlungen, Berlin 1932 Cassirer, Ernst: Substanzbegriff und Funktionsbegriff, Berlin 1923 -: Philosophie der symbolischen Formen, Bd. 1 + 3, Berlin 1923, 1929 Clocksin, W.F. und Mellish, C.S.: Programming in PROLOG, Westberlin 1981 Cohn-Vossen, Stefan und Hilbert, David: Anschauliche Geometrie, Berlin u.a. 1932

44. Bibliography Nauka, 1973. gentzen, gerhard, 19091945, Collected papers of gerhardgentzen / edited by ME Szabo, Amsterdam, North-Holland, 1969. Germain http://www.library.cornell.edu/math/bibliography/display.cgi?start=G&

45. Best Viewed In 24pt And Full-screen Translate this page gentzen, gerhard (Allemagne, 1909-Prague, 1945) Dieudonné et al.78, Lalement 90. gentzen formalise la notion de démonstration http://www.irisa.fr/lande/ridoux/LPAZ/node52.html

Best viewed in 24pt and full-screen Next: H Up: A-Z Previous: F G grand_père_présumé GPP PE :- pi P (pi E Gentzen Gerhard (Allemagne, 1909-Prague, 1945) [ Lalement 90 ]. Gentzen formalise la notion de démonstration en la définissant comme un agencement de règles de déduction au contenu intuitif évident ( calcul des séquents ). Il peut ensuite raisonner sur la structure des démonstrations. L'une des règles de déduction, la règle de coupure, se révèle être redondante ; c'est le Hauptsatz de Gentzen. Le calcul des séquents de Gentzen, avec le théorème d'élimination des coupures, peut être vu comme le formalisme commun de la programmation logique et de la programmation fonctionnelle. Brièvement, la programmation fonctionnelle exploite l'élimination des coupures comme un mécanisme d'exécution, alors que la programmation logique exploite les règles de déduction comme règles de calcul de démonstrations sans coupure. Grammaire logique n. f. Depuis ses débuts, la programmation logique est impliquée dans l'analyse syntaxique [ Colmerauer 70 Colmerauer 78 ]. D'abord, on peut la considérer comme un sous-produit du travail de

46. Encyclopedia4U - Gerhard Gentzen - Encyclopedia Article gerhard gentzen. gerhard gentzen (November 24, 1909 August 4, 1945)was a German mathematician and logician. Born in Greifswald http://www.encyclopedia4u.com/g/gerhard-gentzen.html

ENCYCLOPEDIA U com Lists of articles by category ... Encyclopedia Home Page SEARCH : Gerhard Gentzen Gerhard Gentzen November 24 August 4 ) was a German mathematician and logician Born in Greifswald Germany , he died in Prague Czechoslovakia He was one of Weyl 's students at the University of Göttingen from to . His main work was on the foundations of mathematics , in proof theory Content on this web site is provided for informational purposes only. We accept no responsibility for any loss, injury or inconvenience sustained by any person resulting from information published on this site. We encourage you to verify any critical information with the relevant authorities. Privacy This article is licensed under the GNU Free Documentation License . It uses material from the Wikipedia article " Gerhard Gentzen

47. Vrin=autres Translate this page LARGEAULT, Jean - BERNAYS, Paul - BROUWER, Luitzen Egbertus Jan - gentzen, gerhard- GÖDEL, K. - HILBERT, David - KREISEL, Georg - WEYL, Hermann Éd. http://www.umr8547.ens.fr/Series/Vrin=autres.html

UMR 8547 du CNRS Pays germaniques: histoire, culture, philosophie 45 rue d'Ulm 75005 Paris Vrin (autres collections) BENZ, Ernst LES SOURCES MYSTIQUES DE LA PHILOSOPHIE ROMANTIQUE ALLEMANDE. PARIS Vrin 1987 [© 1987] 153 pp. 22,5 x 14 cm. "Vrin - Reprise" BRÉHIER, Émile - RICOeUR, Paul HISTOIRE DE LA PHILOSOPHIE ALLEMANDE. Troisième éd. avec un Appendice: "DE HUSSERL À HEIDEGGER", par P. Ricoeur. PARIS J. Vrin 1967 (© 1921 - 1954, 3e éd.) 265 pp. 19 x 14 cm. BRISSON, Luc Introduction à la Philosophie du mythe, 1. SAUVER LES MYTHES. PARIS Vrin 1996 245 pp. 21,5 x 13,5 cm. "Essais d'art et de philosophie" CASTILLO, Monique KANT. L'invention critique. PARIS Vrin 1997 247 pp. 21,5 x 13,5 cm. "Bibliothèque des philosophies" DIXSAUT, Monique Éd. CONTRE PLATON. 1. Le platonisme dévoilé. Textes réunis par M. Dixaut. PARIS Univ. de Paris XII - Vrin 1993 464 pp. 21,5 x 13,5 cm. "Tradition de la pensée classique" DIXSAUT, Monique Éd. CONTRE PLATON. 2. Renverser le platonisme. Textes réunis par M. Dixaut. PARIS Univ. de Paris XII - Vrin 1995 322 pp. 21,5 x 13,5 cm. "Tradition de la pensée classique"

48. Citations Investigations Into Logical Deduction - Gentzen In The Collected Papers of gerhard gentzen, ME Szabo, Ed. NorthHolland, 1969, pp. InME Szabo, editor, The Collected Papers of gerhard gentzen, pages 68131. http://citeseer.ist.psu.edu/context/312/0

49. Uwe Kr Ger - ResearchIndex Document Query ME Szabo, editor. The Collected Papers of gerhard gentzen. NorthHolland, Amsterdam,1969. ME Szabo, editor. The Collected Papers of gerhard gentzen. http://citeseer.ist.psu.edu/cis?q=Uwe Krüger

50. Gerhard Gentzen - Wikipedia, The Free Encyclopedia gerhard gentzen Wikipediagerhard gentzen. gerhard gentzen (24 listopada 1909 - 4 sierpnia 1945) - niemieckimatematyk, zasluzony w badaniach nad logika i podstawami matematyki. http://en.wikipedia.org/wiki/Gerhard_Gentzen

Gerhard Gentzen From Wikipedia, the free encyclopedia. Gerhard Gentzen November 24 August 4 ) was a German mathematician and logician Born in Greifswald Germany , he died in Prague Czechoslovakia He was one of Weyl 's students at the University of Göttingen from to . His main work was on the foundations of mathematics , in proof theory This article is a stub . You can help Wikipedia by expanding it Views Article Discussion Edit History Personal tools Log in Navigation Main Page Community portal Current events Recent changes ... Donations Search Toolbox What links here Related changes Special pages This page was last modified 14:37, 20 May 2004. All text is available under the terms of the GNU Free Documentation License (see for details). About Wikipedia

51. Projekt Translate this page Publikationen. Peckhaus, Volker gentzen, gerhard Karl Erich (1909-45) .In Craig, Edward (Hrsg.) Routledge Encyclopedia of Philosophy. Bd. http://univis.uni-erlangen.de/formbot/dsc_3Danew_2Fresrep_view_26rprojs_3Dphil1_

Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg © Config eG Sammlung/Stundenplan Mehrsprachigkeit im Aufbau Home Kontakt Hilfe Suche: Personen Einrichtungen sonstige Einträge Lehrveranstaltungen Räume Publikationen Forschungsprojekte Internat. Kontakte Stellenangebote Examensarbeiten Semester: SS 2005 WS 2004/2005 SS 2004 WS 2003/2004 SS 2003 WS 2002/2003 SS 2002 WS 2001/2002 SS 2001 WS 2000/2001 SS 2000 WS 1999/2000 SS 99 WS 98/99 SS 98 WS 97/98 SS 97 WS 96/97 Lehr- veranstaltungen Personen/ Einrichtungen ... E-Mail Darstellung Druckansicht Außerdem im UnivIS Vorlesungsverzeichnis Veranstaltungskalender Stellenangebote Einrichtungen ... Lehrstuhl für Philosophie (Prof. Dr. Thiel) Transkription und Edition eines nachgelassenen Beweistheorie-Buchfragments von G. Gentzen Literatur: V. Peckhaus, Gentzen, Routledge Encyclopedia of Philosophy (London/New York 1998), vol. 2, 23–25; C. Thiel, The remains of Gentzen's uncompleted book on foundations, Colloquium logicum 2000, TU Dresden 22.– 24.9. 2000, Abstracts. Projektleitung: Prof. Dr.

52. À§´ëÇѼöÇÐÀÚ ¸ñ·Ï Geminus, Geminus Born about 130 BC in (possibly) Rhodes, Greece Died about 70BC gentzen, gerhard gentzen Born 24 Nov 1909 in Greifswald, Germany Died 4 http://www.mathnet.or.kr/API/?MIval=people_seek_great&init=G

53. Collected Works In Mathematics And Statistics 3 G38 1987, Killam. gentzen, gerhard, 19091945, The collected papersof gerhard gentzen, 1, QA 9 G329, Killam. Germain, Sophie, 1776-1831, http://www.mathstat.dal.ca/~dilcher/collwks.html

Collected Works in Mathematics and Statistics This is a list of Mathematics and Statistics collected works that can be found at Dalhousie University and at other Halifax universities. The vast majority of these works are located in the Killam Library on the Dalhousie campus. A guide to other locations is given at the end of this list. If a title is owned by both Dalhousie and another university, only the Dalhousie site is listed. For all locations, and for full bibliographic details, see the NOVANET library catalogue This list was compiled, and the collection is being enlarged, with the invaluable help of the Bibliography of Collected Works maintained by the Cornell University Mathematics Library. The thumbnail sketches of mathematicians were taken from the MacTutor History of Mathematics Archive at the University of St. Andrews. For correction, comments, or questions, write to Karl Dilcher ( dilcher@mscs.dal.ca You can scroll through this list, or jump to the beginning of the letter: A B C D ... X-Y-Z A [On to B] [Back to Top] N.H. Abel

54. Stefan Rabanus Translate this page gentzen, gerhard (1934/1974) Untersuchungen über das logische Schließen. Reprograph.Nachdr. aus Mathemat. Zeitschrift 39 (1934) S. 176-210 u. 405-431. http://staff-www.uni-marburg.de/~rabanus/text/didaktik/html/bibl_semantik.html

Semantik und Lexikologie Stefan Rabanus Wenn zwei Jahreszahlen zusammen erscheinen - z.B. Frege, Gottlob (1892/ Dauses, August (1995): Semantik - Sprache und Denken. Stuttgart [GermBibl: 2 k / 48 g] Greimas, Algirdas Julien (1966/1971): Strukturale Semantik. Braunschweig 1971 [BiblDSA: Al 37/I] Lappin, Shalom (1996): The Handbook of Contemporary Semantic Theory. Oxford Leech, Geoffrey N. (1974): Semantics. Harmondsworth [GermBibl: 2 i / 4045] Lyons, John (1977): Semantics. Bd. 1 und 2. Cambridge Pohl, Inge (Hrsg.) (1995): Semantik von Wort, Satz und Text. Frankfurt am Main [GermBibl: 2k / 3356] Philosophische Grundlagentexte. Formalisierte Logik. Kategorialgrammatik Aristoteles ( Carnap, Rudolf ( 1956): Meaning and Necessity : a Study in Semantics and Modal Logic. Chicago [Bibl. Philo. III 1891 CAR/b 1947 2] Frege, Gottlob (1892/ Grice, H. Paul (1969): Utterer's Meaning and Intentions. In: The Philosophical Review 78, 147-177 Husserl, Edmund (1900/ Kripke, Saul A. (1963): Semantic Considerations on Modal Logic. In: Acta Philosophica Fennica 16, 83-94 Montague, Richard (1970/1974): English as a Formal Language. In: Montague, Richard (1974): Formal Philosophy. Selected Papers of Richard Montague. Edited and with an Introduction by Richmond H. Thomason. New Haven/London

55. Austrian Literature Online - Kataloge Translate this page Treffer pro Seite. UB Innsbruck. Genz, Andreas. gentzen, gerhard. GENZMER, Felix. 1939. GENZMER, Ewald. GENZMER, Ewald - 1978. gentzen, gerhard. GENZMER, Felix. http://webapp.uibk.ac.at/alo/cat/?id=5007392

56. Liste Alphabétique Des Mathématiciens Translate this page 1968). Geminus de Rhodes, Grec (~1 er siècle). gentzen (gerhard), Allemand(1909-1945). Gérard de Crémone, Italien (v.1114-1187). Gerbert http://www.cegep-st-laurent.qc.ca/depar/maths/noms.htm

Abel (Niels Henrik) Agnesi (Maria Guetana) Italienne (1718-1799) Alembert (Jean Le Rond d') Alexander (James Waddell) Alexandroff (Pavel Sergeevich) Russe (1896-1982) Apian (Peter Benneuwitz, dit) Allemand (1495-1552) Apollonios de Perga Grec(v.~262-v.~180) Appel (Paul) Grec (~287-~212) Aristote Grec (~384-~322) Arzela (Cesare) Italien (1847-1912) Ascoli (Guilio) Italien (1843-1896) Babbage (Charles) Anglais (1792-1871) Banach (Stefan) Polonais (1892-1945) Argand (Jean Robert) Suisse (1768-1822) Barrow (Isaac) Anglais (1630-1677) Bayes (Thomas) Anglais (1702-1761) Bellavitis (Giusto) Italien (1803-1880) Beltrami (Eugenio) Italien (1835-1900) Bernays (Paul) Suisse (1888-1977) Bernoulli (Daniel) Suisse (1700-1782) Bernoulli (Jacques) Suisse (1654-1705) Bernoulli (Jean) Suisse (1667-1748) Allemand (1878-1956) Bernstein (Sergei Natanovich) Russe (1880-1968) Bertrand (Josepn) Bessel (Friedrich) Allemand (1784-1846) Birkoff (George David) Bliss (Gilbert Ames) Bochner (Salomon) Allemand (1899-1982) Bolyai (Janos) Hongrois (1802-1860) Bolzano (Bernhard) Bombelli (Raffaele) Italien (1522-1572) Bonnet (Ossian) Boole (George) Anglais (1815-1864) Bourbaki (Nicolas) Braikenridge (William) Anglais (v.1700-1762)

57. SmartPedia.com - Free Online Encyclopedia - Encyclopedia Books. Domagk. gerhard Eisler, gerhard Fieseler, gerhard Flesch. gerhard gentzen,gerhard Herzberg, gerhard Johann David von Scharnhorst. gerhard http://www.smartpedia.com/smart/browse/Special:Allpages&from=Gerard_Colby

Search: Math and Natural Sciences Applied Arts Social Sciences Culture ... Interdisciplinary Categories All pages Gerard Colby Gerard Collins Gerard David Gerard David Schine ... Caption This This document is licensed under the GNU Free Documentation License (GFDL), which means that you can copy and modify it as long as the entire work (including additions) remains under this license. GFDL SOURCE

58. INDEX OF NAMES 909 and sphere packings, 985, 986 Gegenbauer, Leopold B. (Austria, 18491903) andGegenbauerC, 1091 gentzen, gerhard (Germany, 1909-1945) and consistency of http://www.wolframscience.com/nksonline/index/names/f-j.html?SearchIndex=f-j

59. G-Gi shell patterns, 1012 randomness assumed in, 970 use of simple rules in, 860 Genomesas programs, 383 gentzen, gerhard (Germany, 19091945) and consistency of http://www.wolframscience.com/nksonline/index/g-gi.html

INDEX A B C D ... F G H I J K ... Z G-Gi Gh-Gz G-Gi Gabor functions in visual system, Gacs, Peter (USA, 1947- ) in Preface, xiii and transitions in CAs, Gaia Hypothesis Galaxies distribution of, and expansion of universe, formation of, formation of and my work, formation of and Voronoi diagrams, patterns in, and Second Law, and simple initial conditions, Galaxy colonization of, radio emission in, Galena hopper crystals in, Galilean invariance in cellular automata fluids, in fundamental physics, and relativity, Galilei, Galileo (Italy, 1564-1642) and Galilean invariance, and math in science, and models vs. reality, and nature of gravity, and the nature of space, and theoretical biology, Galois, Evariste (France, 1811-1832) and group theory, and quadratic continued fractions, Galois fields see also Finite fields Galton board randomness in, Gambling and defining randomness, and Gaussian distribution, and randomness sources

60. Gerhard Gentzen Article on gerhard gentzen from WorldHistory.com, licensed from Wikipedia,the free encyclopedia. Return to Article Index gerhard gentzen. http://www.worldhistory.com/wiki/G/Gerhard-Gentzen.htm

World History (home) Encyclopedia Index Localities Companies Surnames ... This Week in History Gerhard Gentzen Gerhard Gentzen November 24 August 4 ) was a German mathematician and logician Born in Greifswald, Germany, he died in Prague Czechoslovakia He was one of Weyl 's students at the University of Göttingen from to . His main work was on the foundations of mathematics , in proof theory Sponsored Links Advertisements Harry Potter and the Prisoner of Azkaban unabridged on CD DVD New Releases ... at DVDPlanet Find lost family and friends This article is licensed under the GNU Free Documentation License You may copy and modify it as long as the entire work (including additions) remains under this license. You must provide a link to http://www.gnu.org/copyleft/fdl.html To view or edit this article at Wikipedia, follow this link World History How to cite this page Encyclopedia Index ... Contact Us

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 3     41-60 of 83    Back | 1  | 2  | 3  | 4  | 5  | Next 20