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

1-20 of 90    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

1. Kreisel
   Georg Kreisel. Born 15 Sept 1923 in Graz, Austria. Georg Kreisel came from a Jewish background so growing up in Graz in the 1930s was very difficult.  
   http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Kreisel.html
   
   Extractions: Georg Kreisel came from a Jewish background so growing up in Graz in the 1930s was very difficult. Kreisel's parents saw the approaching political problems and, before Hitler took over Austria, they sent Georg and his brother to England. Kreisel studied mathematics at Trinity College, Cambridge graduating with a B.A. in 1944. During his undergraduate years Kreisel was influenced by Wittgenstein who was also at Trinity. Wittgenstein said that Kreisel was:- ... the most able philosopher he had ever met who was also a mathematician. Kreisel was sent to do War Service with the Admiralty immediately his university courses were over and he began work at West Leigh near Havant and close to the naval base at Portsmouth. The head of West Leigh at that time was Collingwood . After a while, Kreisel was moved to Fanum House in central London where he studied the effects of waves on the harbours which were being designed for the Normandy landings. In 1946 Kreisel returned to Cambridge to undertake research, studying mathematical logic. After the award of his doctorate Kreisel hoped for a Fellowship at Trinity but this was not forthcoming. He applied for academic positions and was appointed to Reading in 1949.

2. Idw - Geographie-Symposium: Stadtentwicklung, Stadtmanagement, Städtetourismus
   Translate this page Dr. Werner kreisel georg-August-Universität Göttingen Fakultät für Geowissenschaften und Geographie Abteilung Kultur- und Sozialgeographie  
   http://idw-online.de/public/zeige_pm.html?pmid=71787

3. Biography-center - Letter K
   bio_uk.asp?PAR_I_ID=74767. Klügel, georg. wwwhistory.mcs.st-and.ac.uk/~history/ Mathematicians history/Mathematicians/Krein.html. kreisel, georg. www-history.mcs.st-and.ac  
   http://www.biography-center.com/k.html
   
   Extractions: random biography ! Any language Arabic Bulgarian Catalan Chinese (Simplified) Chinese (Traditional) Croatian Czech Danish Dutch English Estonian Finnish French German Greek Hebrew Hungarian Icelandic Indonesian Italian Japanese Korean Latvian Lithuanian Norwegian Polish Portuguese Romanian Russian Serbian Slovak Slovenian Spanish Swedish Turkish 401 biographies

4. Kreisel
   Biography of georg kreisel (19230BC) georg kreisel. Born 15 Sept 1923 in Graz, Austria georg kreisel came from a Jewish background so growing up in Graz in the 1930s was very difficult. kreisel's parents  
   http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Kreisel.html
   
   Extractions: Georg Kreisel came from a Jewish background so growing up in Graz in the 1930s was very difficult. Kreisel's parents saw the approaching political problems and, before Hitler took over Austria, they sent Georg and his brother to England. Kreisel studied mathematics at Trinity College, Cambridge graduating with a B.A. in 1944. During his undergraduate years Kreisel was influenced by Wittgenstein who was also at Trinity. Wittgenstein said that Kreisel was:- ... the most able philosopher he had ever met who was also a mathematician. Kreisel was sent to do War Service with the Admiralty immediately his university courses were over and he began work at West Leigh near Havant and close to the naval base at Portsmouth. The head of West Leigh at that time was Collingwood . After a while, Kreisel was moved to Fanum House in central London where he studied the effects of waves on the harbours which were being designed for the Normandy landings. In 1946 Kreisel returned to Cambridge to undertake research, studying mathematical logic. After the award of his doctorate Kreisel hoped for a Fellowship at Trinity but this was not forthcoming. He applied for academic positions and was appointed to Reading in 1949.

5. K Index
   Translate this page 412) Kovalevskaya, Sofia (1283*) Kramer, Edna (1892) Kramp, Christian (219) Krawtchouk, Mikhail (703*) Krein, Mark (1271*) kreisel, georg (550*) Krieger  
   http://www-gap.dcs.st-and.ac.uk/~history/Indexes/K.html

6. Klaus Kreisel - ResearchIndex Document Query
   klaus kreisel scientific articles matching the query klaus kreisel logic community at large in a lecture by georg kreisel at the Summer Institute in Symbolic Logic held Heyting in 1959 georg kreisel has studied partial and total continuous higher  
   http://citeseer.nj.nec.com/cs?q=Klaus Kreisel

7. Georg Kreisel
   name university year home submit about help georg kreisel. Doctorate from unknown university in unknown year Adviser unknown Students  
   http://sigact.acm.org/cgi-bin/genealogy.cgi?file=database-K.html&from=Kreisel,Ge

8. Review Of Piergiorgio Odifreddi, Editor, I Kreiseliana About And
   Review of Piergiorgio Odifreddi, editor, i kreiseliana About and Around georg kreisel /i euclid.rml/1081173779 Citation Rev. Mod. Log. 8 (2000), no. 34, 127-131 Pereira, Luis Carlos Luis  
   http://rdre1.inktomi.com/click?u=http://ProjectEuclid.org/getRecord?id=euclid.rm

9. Index For The Letter K
   kreisel, georg; Krentel, Mark; Kreowski  
   http://sigact.acm.org/genealogy/index-K.html

10. Kurt Godel Papers
    York and Oxford Oxford University Press, 1994. kreisel, georg, "Kurt Gödel, 19061978, elected For Boone, Paul J. Cohen, georg kreisel, Oskar Morgenstern, Abraham Robinson, Paul A  
    http://libserv10.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.

11. Résultats De La Recherche
    Zbl 0126.01903 16 kreisel (georg). — Mathematical significance of consistency proofs, J. of symb. MR 22 6710 Zbl 0088.01502 17 kreisel (georg).  
    http://www.numdam.org/numdam-bin/recherche?h=nc&id=BSMF_1960__88__393_0&format=c

12. Hilbert's Program
    Philosophy of Science, 43 99115. kreisel, georg, 1960, "Ordinal logics and the characterization of University Press, 289-299. kreisel, georg, 1968, "A survey of proof theory  
    http://plato.stanford.edu/entries/hilbert-program
    
    Extractions: JUL Hilbert's work on the foundations of mathematics has its roots in his work on geometry of the 1890s, culminating in his influential textbook Foundations of Geometry ) (see 19th Century Geometry ). Hilbert believed that the proper way to develop any scientific subject rigorously required an axiomatic approach. In providing an axiomatic treatment, the theory would be developed independently of any need for intuition, and it would facilitate an analysis of the logical relationships between the basic concepts and the axioms. Of basic importance for an axiomatic treatment are, so Hilbert, investigation of the independence and, above all, of the consistency of the axioms. For the axioms of geometry, consistency can be proved by providing an interpretation of the system in the real plane, and thus, the consistency of geometry is reduced to the consistency of analysis. The foundation of analysis, of course, itself requires an axiomatization and a consistency proof. Hilbert provided such an axiomatization in (

13. The Mathematics Genealogy Project - Georg Kreisel
    georg kreisel Biography Ph.D. Dissertation 1981, According to our current online database, georg kreisel has 5 students and 11 descendants.  
    http://www.genealogy.ams.org/html/id.phtml?id=20180

14. The Mathematics Genealogy Project - Index Of KR
    Translate this page kreisel, Eckhard, Humboldt-Universität zu Berlin, 1965. kreisel, georg, Kreiser, Lothar, Humboldt-Universität zu Berlin, 1962. Kreiss  
    http://www.genealogy.ams.org/html/letter.phtml?letter=KR&fShow=1

15. Opinatio.com
    kreisel, georg. Zu Wittgensteins Gesprächen und Verlesungen über die Grundlagen der Mathematik Cartas de Ludwig Wittgenstein a georg Henrik von Wright  
    http://www.opinatio.com/wittbiblio.htm

16. OLIX-OPAC UB Tübingen (1962-heute; 1501-1850) - Suchergebnis
    kreisel, georg Trefferanzahl 3 Angezeigte Datensätze 1 - 3.  
    http://opac.ub.uni-tuebingen.de/cgi-bin/wwwolix.cgi?db=ub&ai=209158&Band=Kreisel

17. 08/22/02: Again
    Bernays, Paul Isaac. Carlitz, Leonnard. Cantor georg. Castelnuovo, Guido. Courant, Richard Karle, Jerome. Kantorovich, Leonid. kreisel, georg. Kulik, Yacov. Klein, Oskar  
    http://www.mrcranky.com/movies/hurricane/42/107.html
    
    Extractions: Social Security and Medicare are today considered landmarks in the long struggle to achieve social justice for the nation's elderly, poor, sick and disabled. Most of our unemployed, indigent and otherwise needful citizens could rely only on the meager help of voluntary support such as public charity - until 1940. During that year, the federal government posted off its first social security payment. The even rewarded a mission by a handful of staunch crusaders to lift the burden of poverty and despair from tens of millions of Americans for generations to come. Among the handful were two compassionate Jewish activists in government service who led that campaign and rightfully deserve being called the fathers of the social security in America. Despite their historic accomplishments, both remain virtually unknown. Their paths had met and we meet them now. ISAAC RUBINOW (1875-1936) b. Gordon, Russia Medical Doctor/Economist/Social Worker. He emigrated to the United States and soon after earned a degree in medicine. But he left his practice within several years, distressed at how our medical system ignored the many without the means for decent care. He switched to economics, which together with his knowledge of medicine, would serve as tools to help reverse the system's insensitivity and disregard. Rubinow insisted that all Americans should enjoy a guarantee of social insurance to provide for human needs "without injury to the man's ego and self-respect."

18. Kreiseliana: About And Around George Kreisel; Hardback; Book
    kreiseliana About and Around george kreisel. Hardback; Book. 512 pages papers combine to create a tribute to georg kreisel, the influential logician and mathematical philosopher  
    http://www.netstoreusa.com/babooks/156/156881061X.shtml

19. LPS Group - Members - CELLUCCI
    About and Around georg kreisel, AK Peters, Wellesley, Mass. 1996, pp. 365388. Maddy on Realism in Mathematics, Physis 34 (1997), pp. 418-426.  
    http://w3.uniroma1.it/cog-found/cellucci.htm
    
    Extractions: Logic and Philosophy of Science Group Home Members Ph. D. Events CARLO CELLUCCI Chair of Logic Presentation: Carlo Cellucci , after receiving his Laurea Degree in Philosophy at the University of Milan in 1964 and studying at Oxford, taught at the Universities of Sussex, Siena and Calabria. He is currently Professor of Logic. His fields of interest include Philosophy of Mathematics and Proof Theory. Selected publications: On the Role of Reducibility Principles, Synthese 27 (1974), pp. 93-110. Teoria della dimostrazione , Boringhieri, Torino 1978, 315 pp. Proof Theory and Theory of Meaning, in M.L. Dalla Chiara (Ed.), Italian Studies in the Philosophy of Science , Kluwer, Dordrecht 1980, pp. 13-29. A Note on Godel's Second Incompleteness Theorem, Bollettino dell'Unione Matematica Italiana 17 (1980), pp. 137-142. Proof Theory and Complexity, Synthese 62 (1985), pp. 173-189. Logica e filosofia della scienza oggi , vol. I, Clueb, Bologna 1986, pp. 7-26. Using Full First Order Logic as a Programming Language, in

20. Education World Search
    and.ac.uk/~history/Mathematicians/ Frobenius.html. kreisel. georg. http//wwwgroups.dcs.st-and.ac.uk/~ history/Mathematicians/kreisel.html. Landsberg. georg. http//www-groups  
    http://www.educationworld.com/search/search.jhtml;$sessionid$UOQBLSYAAJLRLQFIABV

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

1-20 of 90    1  | 2  | 3  | 4  | 5  | Next 20