Home  - Scientists - Kreisel Georg

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

21-40 of 90    Back | 1  | 2  | 3  | 4  | 5  | Next 20

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

Kreisel Georg:     more detail

Austrian Scientist Introduction: Herman Francis Mark, Richard Kuhn, Edwin Ernest Salpeter, Fritz Pregl, Felix Philipp Kanitz, Georg Kreisel Elements of mathematical logic: (Model theory) (Studies in logic and the foundations of mathematics) by Georg Kreisel, 1967 Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie (Hochschultext) (German Edition) by Georg Kreisel, Jean-Louis Krivine, 1972-06-14 Kreiseliana: About and Around Georg Kreisel Formally self-referential propositions for cut free classical analysis and related systems (Dissertationes mathematicae = Rozprawy matematyczne) by Georg Kreisel, 1974 Five notes on transfinite progressions (Technical report) by Georg Kreisel, 1962 Formal Systems for Some Branches of Intuitionistic Analysis (Annals of Mathematical Logic) by Georg Kreisel, Anne Sjerp Troelstra, 1970 Descendants of Johann Georg Leonhardt Kreissel and Katherine Fredrike Fischer by Lee Riley Powell, 1997 Zur Theorie Des Maxwell'schen Kreisels (INAUGURAL-DISSERTATION ZUR ERLANGUNG DER DOKTORWURDE DER HOHEN PHILOSOPHISCHEN FAKULTAT DER GEORG-AUGUST-UNIVERSITAT ZU GOTTINGEN; --- GERMAN LANGUAGE, GERMANY) by MAX WINKELMANN, 1904

lists with details

21. Die Vorfahren Und Lebenden Familien Von Yvonne Harzheim Geb. Sedlacek Und Finn H
    kreisel, georg Familie 1 Lehmann kreisel, georg.  
    http://www.monte-cervantes.de/dynas/d0000000/f0000042.htm

22. Die Vorfahren Und Lebenden Familien Von Yvonne Harzheim Geb. Sedlacek Und Finn H
    Translate this page ? kreisel, Euphrosyne 1611-1686 kreisel, georg ? Kriz, Antonia ? Kriz, Josef ? Kunst, D. ? Kunst, Johanna 1839-1869 Kurth, Maria ? Kusel, Anna  
    http://www.monte-cervantes.de/dynas/index/i0000002.htm

23. KREISEL, Heinrich And Georg Himmelheber., Die Kunst Des Deutschen Mobels: Band 1
    Translate this page Sims Reed Ltd. kreisel, Heinrich and georg Himmelheber. Die Kunst des deutschen Mobels Band 1, Von den Anfangen bis zum Hochbarock. Munich. Verlag CH Beck.  
    http://www.polybiblio.com/simsreed/8955.html
    
    Extractions: Sims Reed Ltd. KREISEL, Heinrich and Georg Himmelheber. Die Kunst des deutschen Mobels: Band 1, Von den Anfangen bis zum Hochbarock. Munich. Verlag C. H. Beck. 1981 4to., ix, 399 pp., 40 drawings in text, 10 colour plates, 696 monochrome photographs., Publisher's cloth, dust jacket. Fine First volume, The Beginning to High Baroque, in a 3-volume series by Kreisel and Himmelheber devoted to the history of German furniture. This item is listed on Bibliopoly by Sims Reed Ltd. ; click here for further details.

24. FOM: Georg Kreisel
    FOM georg kreisel. Would anyone like to comment on the philosophical and mathematical influence of georg kreisel both via his work and via his personality?  
    http://www.cs.nyu.edu/pipermail/fom/2000-August/004261.html
    
    Extractions: Sun, 6 Aug 2000 23:31:05 -0700 (PDT) Would anyone like to comment on the philosophical and mathematical influence of Georg Kreisel - both via his work and via his personality? I (a lowly student) have been spending the last few days of my summer holiday reading his papers. I am fascinated by the clarity and subtlety of Kresiel's mind and the literary style of his prose, but at the same time surprized by the angry and vindictive tone which sometimes appears. Many of you know Kreisel in person and several have collaborated with him. Perhaps you can shed some light on this charming character... Emre Domanic Ephesus, Turkey Do You Yahoo!? Kick off your party with Yahoo! Invites. http://invites.yahoo.com/ Previous message: FOM: G"odel set and integers (Platonism and Logicism in set theory) Next message: FOM: constructivity; priority arguments

25. FOM: Kreisel's Realism
    Miriam Franchella Somebody (perhaps prof. Cellucci?) wrote about that in kreiseliana About and Around georg kreisel P. Odifreddi (editor) AK Peters Ltd.  
    http://www.cs.nyu.edu/pipermail/fom/2001-May/004952.html
    
    Extractions: Wed, 9 May 2001 22:29:52 +0200 Putnam (in his "What is mathematical truth?") wrote: "The question of realism, as Kreisel long ago put it, is the question of the objectivity of mathematics and not the question of the existence of mathematical objects". Does anybody know where (and when) Kreisel gave such definition of realism? Miriam Franchella Somebody (perhaps prof. Cellucci?) wrote about that in: "Kreiseliana: About and Around Georg Kreisel" P. Odifreddi (editor) A.K. Peters Ltd. 1996. Arrivederci, - Serafino Cerulli-Irelli Previous message: FOM: IEEE Data Mining 2001: Call for Papers Next message: FOM: Comments regarding the Friedman's "Degenerative Cloning" Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

26. Editori Laterza
    Translate this page 638 Saggi di Kurt Gödel, Alonzo Church, Haskell B. Curry, David Hilbert, georg kreisel, LEJ Brouwer, Arend Heiting, Nelson Goodman, Willard V. Quine 1967.  
    http://www.laterza.it/CatalogoStorico/nomi.asp?id=ID8168

27. 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
    
    Extractions: 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"

28. Bibliography
    3438. kreisel, georg. 1958. Mathematical significance of consistency proofs. Journal of Symbolic Logic 23, pp. 155-182. Leivant, Daniel. 1985.  
    http://www.hf.uio.no/filosofi/njpl/vol2no2/diophantine/node5.html

29. Godel 1
    77, Kondø, Motokiti, 19611963. kreisel, georg 78, 1955-1958. 172, 1963-1965. 173, 1966. 174, with georg kreisel, June-August 1966. 175, 1967. 176, 1970-1972. 177, 1973.  
    http://libweb.princeton.edu/libraries/firestone/rbsc/aids/godel/godel1.html
    
    Extractions: I. Personal and Scientific Correspondence, 1929-1978 Box/Folder Addison, John Miscellaneous "A" Behman, Heinrich Bernays, Paul: [See also Series XIII: Folders 6 and 7] Boone, William: January-May, 1958 June-August, 1958 n.d. Brutian, George A. Burks, Arthur Miscellaneous "B": T. R. Bachiller to Errett Bishop Max Black to Terrell Ward Bynum Carnap, Rudolf [See also Series XIV: Folder 1] Chang, C. C. Chomsky, Noam Chuaqui Kettlun, Rolando B. 1969-1972, n.d. Church, Alonzo Cohen, Paul J.: April 24-July 17, 1963 July 20-September 27, 1963 October 4-December 13, 1963 Miscellaneous "C": Ronald Calinger to D. V. Choodnovsky Jeffrey Cohen to Haskell B. Curry Davis, Martin: 1965, n.d. Dreben, Burton S. Miscellaneous "D" [Einstein, Albert: see Miscellaneous "E"] Ellentuck, Erik: Miscellaneous "E" Feferman, Solomon: Feigl, Herbert: Fisher, Edward R., Jr. Flexner, Abraham Ford, Lester R. (re: Friedburg, Robert Friedman, Harvey: Miscellaneous "F" Gandy, R. O. Grandjean, Burke 1957-1961, includes undated notes Miscellaneous "G" Halpern, James, includes discussion notes Hasenjaeger, G.

30. Kurt Godel Papers
    kreisel, georg, Kurt Gödel, 19061978, elected For. Mem. RS 1968, Biographical Memoirs of Fellows of the Royal Society, 26 (1980  
    http://libweb.princeton.edu/libraries/firestone/rbsc/aids/godel/
    
    Extractions: Anleitung zur deutschen Redezeichenkunst oder Stenographie (1834) . A photocopy of Karl Ludwig Weizmann's Lehr- und Ubungsbuch der Gabelsbergerschen Stenographie (1915) Privatdozent John W. Dawson, Jr. References Notre Dame Journal of Formal Logic , 24 (1983), 255-284; Addenda and corrigenda Notre Dame Journal of Formal Logic The Mathematical Intelligencer Dawson, John W., , Wellesley, Mass.: A. K. Peters, Ltd., 1997. Collected Works , edited by Solomon Feferman, editor-in-chief; prepared under the auspices of the Association for Symbolic Logic: Vol. I, "Publications 1929-1936," edited by Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, 1986; Vol. II, "Publications 1938-1974." edited by Soloman Feferman, John W. Dawson, Jr. [et al], 1990; Vol. III, "Unpublished Essays and Lectures: Selections from the Nachlass," edited by Solomon Feferman, John W. Dawson, Jr., [et al], New York and Oxford: Oxford University Press, 1994. Biographical Memoirs of Fellows of the Royal Society , 26 (1980), 148-224; corrigenda, 27 (1981), 697; further corrigenda, 28 (1982), 697.

31. Members Of The School Of Mathematics
    Translate this page KRANTZ, Steven G. 1980-81. KRASNY, Robert, 1993-94. kreisel, georg, 1955-57, 1962-64. KRIEGER, Joachim, 2003-04. KRISHNAMURTHY, Muthukrishnan, 2002-03.  
    http://www.math.ias.edu/knames.html
    
    Extractions: KABANETS, Valentine KAC, Mark KADISON, Richard V. KAHANE, Jean-Pierre KAHN, Peter J. KAKUTANI, Shizuo KALAI, Gil KALFAGIANNI, Efstratia KALISCH, Gerhard K. KALLIANPUR, Gopinath KALOSHIN, Vadim KAMBER, Franz W. KAMIENNY, Sheldon KAMISHIMA, Yoshinobu KAMRAN, Niky KAMVISSIS, Spyridon D. KAN, Ittai KAN, Pui Tak KANE, Richard M. KANEVSKY, Dimitry KANIEL, Shmuel KANNAI, Yakar I. KANTOR, William W. KANTOROVITZ, Miriam KANTOROVITZ, Shmuel KAPLAN, Lewis D. KAPLAN, Samuel KAPLANSKY, Irving KAPOULEAS, Nicolaos KAPOVITCH, Vitali KAREL, Martin L. KARMARKAR, Narendra KÁROLYI, Gyula KAROUBI, Max KARP, Leon KARTHA, Sivan KARU, Kalle KASHIWARA, Masaki KASSEL, Christian KATO, Kazuya KATO, Mitsuyoshi KATO, Shin-ichi KATZ, Gabriel KATZ, Nicholas KATZ, Sheldon H. KAUFMAN, Bruria KAWADA, Yukiyosi KAWAI, Takahiro KAWAKUBO, Katsuo KAWAMATA, Yujiro KAWANAKA, Noriaki KAWAUCHI, Akio KAZHDAN, David KEDLAYA, Kiran KEEL, Markus KEEL, Sean KEEN, Linda KEISLER, H. Jerome KELLER, Georg KELLEY, Allen F., Jr. KELLEY, John L. KELLY, John B. KELLY, Paul J. KEMENY, John G. KEMP, Robert R.D. KEMPF, George R.

32. IHPST
    York, pp. 176187. kreisel (georg), 1958-1959, The British Journal for the Philosophy of Science, vol. 9, pp. 135-158. TAIT (WW), 1996  
    http://www-ihpst.univ-paris1.fr/f1pres.htm
    
    Extractions: With respect to logic, many have pointed to the sterility of deductive reasoning, most notably by insisting that the conclusion of a deductive argument is always implicitely contained in its premisses and merely exposes what we already knew but did not bother to formulate. It must nevertheless be remarked against this that some logicians have criticized and rejected elementary logical laws such as the law of excluded middle. Could it be the case that no progress in knowledge may ever be made deductively, or be justified on deductive grounds, and that the disagreement over what must constitute the very core of our conceptual scheme – i.e. the laws of logic – be empty and devoid of substance ? to know more references useful links return It may be useful, in order to get an idea of the kind of questions which philosophers of mathematics regularly investigate and to understand how these relate to questions in the philosophy of logic, to bring back to mind a dilemma which opposes epistemology and metaphysics. Although the dilemma may be formulated for a wide array of other disciplines, we shall limit ourselves here to the case of mathematics : if there are mathematical objects, how may we gain knowledge of them ? If, on the other hand, these objects do not exist, how are we to understand the statements which, at least

33. ClubCaminantes - Historia De La Ciencia - Tema 9, El Club De Los Caminantes
    Translate this page cosas. Primero el haber aprendido lógica de georg kreisel ”Cuando conocí a kreisel, yo era un pensador poco sistemático. El  
    http://caminantes.metropoliglobal.com/web/histciencia/TEMA 9.htm
    
    Extractions: Inicio Foros Chat Top 10 ... HISTORIA DE LA CIENCIA El conocimiento del código genético y sus consecuencias Importancia del cambio de tema en el descubrimiento científico La ciencia básica que da origen a los problemas que vamos a tratar aquí es la biología molecular. Se puede leer como introducción el artículo de Pierre Thuillier , Biología molecular . Barcelona, Orbis, Biblioteca de Divulgación Científica, 1987 [traducción de una colección de ensayos de la revista francesa Le Recherche El paso central de la historia de la biología molecular es el descubrimiento del ADN (ácido desoxidorribonucleico), la molécula de la herencia, fundamental para la comprensión de la estructura de la vida. Lo mejor para enterarse de cómo se llegó a este descubrimiento y lo que significaba es leer, comparándolos, los libros de los dos principales protagonistas, que recibieron el Premio Nobel por ello en 1962: J. Watson

34. Schriftenverzeichnis Prof. Dr. Werner Kreisel - Geographisches Institut Der Univ
    Translate this page Geographisches Institut - georg-August-Universität Göttingen. Schriftenverzeichnis Prof. Dr. Werner kreisel. Bücher (Verfasser). Bücher (Herausgeber).  
    http://www.geogr.uni-goettingen.de/kus/personen/wklit.htm
    
    Extractions: Schriftenverzeichnis Prof. Dr. Werner Kreisel Gutachten FAUST, Heiko, KREISEL, Werner: Soziokulturelle Belastungen durch den Fremdenverkehr. Heidelberg, Berlin, 2000 KREISEL, Werner, REEH, Tobias: Landschaftsbewertung im Tourismus. In: BRITTNER-WIDMANN, A., QUACK, H.-D., WACHOWIAK, H. (Hrsg.): Von Erholungsräumen und Tourismusdestinationen. Facetten der Fremdenverkehrsgeographie.Trierer Geographische Studien, 2004, S. 75-93 KREISEL, Werner: Trends in der Entwicklung von Freizeit und Tourismus. In: BECKER,C., HOPFINGER, H., STEINECKE, A. (Hrsg.): Handbuch der Freizeit- und Tourismusgeographie. München 2003, S. 74-85

35. Ahnenforschung Wenzel - Pafg51 - Erstellt Mit Personal Ancestral File
    Translate this page Sie starb ?. Sie heiratete georg Peiker am 16. Mai 1745 in Kronstadt. Notizen. M, x, Kilian Wentzel. M, xi, Joanny Wentzel. Elias kreisel wurde in Kerndorf geboren.  
    http://www.ralf-wenzel.de/ahnenfors/pafg51.htm
    
    Extractions: Ahnenforschung Wenzel Joanny Wentzel [ Eltern wurde am 28. M¤rz 1740 in Gr¼nbrunn geboren. Er erhielt am 28. M¤rz 1740 in Kronstadt die Kleinkindtaufe. Er starb ?. Er heiratete Catharina Kreysel am 11. Juli 1762 in Kronstadt. Er hatte andere Eltern. Joanny ist rk beigetreten. [Notizen] Catharina Kreysel [ Eltern .Catharina heiratete Joanny Wentzel am 11. Juli 1762 in Kronstadt. Nicolaus Peiker Er hatte die folgenden Kinder: M i Georg Peiker Georg Peiker [ Eltern .Georg heiratete Gertrudis Wentzel am 16. Mai 1745 in Kronstadt. Georg ist rk beigetreten. Weitere EheschlieŸungen: [Notizen] Gertrudis Wentzel [ Eltern wurde am 27. April 1720 in Gr¼nbrunn geboren. Sie erhielt am 27. April 1720 in Kronstadt die Kleinkindtaufe. Sie starb ?. Sie heiratete Georg Peiker am 16. Mai 1745 in Kronstadt. [Notizen] Franz Josef Wentzel [ Eltern wurde am 1. M¤rz 1699 in Gr¼nbrunn geboren. Er erhielt am 1. M¤rz 1699 in Kronstadt die Kleinkindtaufe. Er starb am 30. Januar 1796 in Gr¼nbrunn. Er heiratete Ludmilla ?. Weitere EheschlieŸungen:

36. Schalke 04 Und Der Schalker Kreisel
    kreisel die Rede georg Röwekamp Der Mythos lebt Die Geschichte des FC Schalke 04  
    http://home.t-online.de/home/krzoska/schalke.htm
    
    Extractions: von links: Fritz Szepan, Herbert Burdenski, Ernst Kuzorra (1940) Die beste deutsche Fußballmannschaft der Jahre vor dem Zweiten Weltkrieg kam aus Gelsenkirchens Stadtteil Schalke. Der 1904 gegründete Verein nahm etwa gleichzeitig mit dem "Dritten Reich" seinen Aufschwung und errang 1934 zum ersten Mal den deutschen Meistertitel, dem bis 1942 noch fünf weitere folgten. Legendär war dabei das offensive Kurzpassspiel, dessen Geschwindigkeit die meisten Gegnenspieler in Verwirrung stürzte, so dass bald vom "Schalker Kreisel" die Rede war. In jenen Jahren nannte man Schalke 04 bei seinen Gegnern, und davon gab es im Ruhrgebiet nicht wenige, respektlos den "Polackenverein". Höhepunkt war vielleicht das Endspiel um die "großdeutsche Meisterschaft" gegen Admira Wien im Sommer 1939 im Berliner Olympiastadion, das mit einem 9:0-Sieg der Schalker "Knappen" endete. Im nationalsozialistischen System war das keine positiv besetzte Bezeichnung und 13 Spieler wehrten sich dagegen in einer offiziellen Erklärung im Fußballfachblatt "Kicker" vom 7. August 1934 energisch. Sie wiesen darauf hin, dass ihre Eltern alle im "heutigen oder früheren Deutschland geboren seien" und sie selber auch keine Immigranten seien. Dies entsprach auch der Wahrheit, doch stammten 10 der Fußballer aus dem Osten, die meisten von ihnen aus Masuren, andere aus Schlesien und Großpolen. Das bedeutete freilich keine propolnische Einstellung, im Gegenteil, einige engagierten sich frühzeitig für Hitler und sein System, änderten teilweise sogar ihre Namen: aus Czerwiñski wurde Rothardt, aus Przytulla Valentin. Auch

37. THOMAS
    An argument due to georg kreisel 1969, 1971 shows that the notions intuitively valid and valid in all settheoretic structures are extensionally  
    http://www.structuredindividuals.com/paradox/10.html
    
    Extractions: (3) V(A) D(A) jointly establish: (4) (V(A) D(A) D(A) Val(A)). A corollary of Kreisel's argument is that "intuitively valid" and "valid in all set-theoretic structures" have the same extension. (5) V(A) Val(A) Mephisto emerges from behind podium. MEPHISTO Wait a minute! Not so durn fast! THOMAS YOU again! MEPHISTO You say "intuitively valid" and "valid in all set-theoretic structures" have the same extension. THOMAS Kreisel's argument shows that. MEPHISTO No, it doesn't. All it shows is what follows from what. Take the negation of (5) as a premise, and you'll see what I mean. From the negation of (5) holds, either (1) or (3) does not. (*) not-(5) (not-(1) not-(3)) But (2) is vouchsafed by the meaning of its terms. So if "intuitively valid" and "valid in all set-theoretic structures" do not have the same extension, either (1) or (3) is false.

38. [1] Maslov, S. Yu. Theory Of Deductive Systems And Its
    256 pp. 9 kreisel, georg Issledovaniya po teorii dokazatel stv. (Russian) Investigations in proof theory Translated from the English by Yu.  
    http://www.mathsoc.spb.ru/pers/maslov/bib.txt

39. Homepages Beim Bürgernetz Allgäu E.V.
    Translate this page Kogut, Mariusz, Kollmann, Robert, Kornhäuser, Rainer. kreisel, Joachim, Kujawa, georg, Kukla, Herbert. Kultus, Dirk, Kutter, Robert, Käfferlein, Markus.  
    http://home.allgaeu.org/

40. Search Results For Georg Von Bekesy - Encyclopædia Britannica
    georg kreisel University of St.Andrews Biography of this Austrian mathematician known for his contributions in proof theory and metamathematics of  
    http://www.britannica.com/search?query=georg von bekesy&ct=igv&fuzzy=N&show=10&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

21-40 of 90    Back | 1  | 2  | 3  | 4  | 5  | Next 20