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

Georg Kreisel Born: 15 Sept 1923 in Graz, Austria Click the picture above to see a larger version Show birthplace location Previous (Chronologically) Next Biographies Index Previous (Alphabetically) Next Main index 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

Visit a 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 K 401 biographies www-history.mcs.st-and.ac.uk/~history/Mathematicians/Konig_Julius.html www-history.mcs.st-and.ac.uk/~history/Mathematicians/Konig_Samuel.html www-history.mcs.st-and.ac.uk/~history/Mathematicians/Konigsberger.html www-history.mcs.st-and.ac.uk/~history/Mathematicians/Kurschak.html Kabir, www.geocities.com/athens/8107/bios1.html#kabir Kac, Mark www-history.mcs.st-and.ac.uk/~history/Mathematicians/Kac.html Kaestner, Abraham www-history.mcs.st-and.ac.uk/~history/Mathematicians/Kaestner.html Kagan, Benjamin www-history.mcs.st-and.ac.uk/~history/Mathematicians/Kagan.html Kahanamoku, Duke Paoa www.olympic.org/uk/athletes/heroes/bio_uk.asp?PAR_I_ID=54152 Kahlbaum, Karl Ludwig www.whonamedit.com/doctor.cfm/624.html Kahler, Otto

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

Georg Kreisel Born: 15 Sept 1923 in Graz, Austria Click the picture above to see a larger version Show birthplace location Previous (Chronologically) Next Biographies Index Previous (Alphabetically) Next Main index 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

Names beginning with K The number of words in the biography is given in brackets. A * indicates that there is a portrait. Kac , Mark (1697*) Kaestner , Abraham (525*) Kagan , Benjamin (343) Kakutani , Shizuo (937*) Kaluza , Theodor (699*) Kaluznin , Lev (2243*) Kamalakara Kamal , al-Farisi (1102) Kamil Abu Shuja (1012) Kantorovich , Leonid (632*) Kaplansky , Irving (1027*) Karaji , Abu al (1789) Karkhi al (1789) , Theodore von (1625*) Karp , Carol (605*) Kashi , Ghiyath al (1725*) Katyayana Keen , Linda (895*) Keill , John (207) Kelland , Philip (650*) Kellogg , Oliver (566) Kelvin , Lord (Thomson) (2613*) Kemeny , John (852*) Kempe , Alfred (2378*) Kendall, David Kendall, Maurice Kepler , Johannes (3690*) Keynes , John Maynard (2312*) Khalili , Shams al (677) Khayyam , Omar (2140*) Khazin , Abu Jafar al (1148) Khinchin , Aleksandr (1018*) Khujandi , Abu al (713) Khwaja-yi Khwaja , Nasir (1912) Khwarizmi , Abu al- (2847*) Killing , Wilhelm (306*) Kindi , Abu al (1151) Kingman , John (1632*) Kirchhoff , Gustav (1523*) Kirkman , Thomas (1045*) Kleene , Stephen (328*) Klein , Felix (2307*) Klein , Oskar (2294*) Klingenberg , Wilhelm (511*) Kloosterman , Hendrik (776*) , Georg (415) Kneser, Adolf

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

This is the index into entries in the TCS Genealogy for names beginning with the letter K. Kac, Mark Kadin, James Kahn, Jeff Kaldewaij, ... Kwast, K.L.

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

1905-1980, bulk 1930-1970 A Finding Aid Prepared by John W. Dawson, Jr. Revised by Rebecca Schoff and Barbara Volz Manuscripts Division Department of Rare Books and Special Collections Princeton University Library Introduction Biographical Sketch Scope and Contents Note Series Descriptions (with links to box/folder listings) ... Microfilm Prints from the 1980 National Science Foundation Microfilms Introduction Anleitung zur deutschen Redezeichenkunst oder Stenographie (1834) . A photocopy of Karl Ludwig Weizmann's Lehr- und Ubungsbuch der Gabelsbergerschen Stenographie (1915) Biographical Sketch 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

version history HOW TO CITE THIS ENTRY Stanford Encyclopedia of Philosophy A B C D ... Z This document uses XHTML-1/Unicode to format the display. Older browsers and/or operating systems may not display the formatting correctly. last substantive content change JUL Hilbert's Program 1. Historical development of Hilbert's Program 1.1 Early work on foundations 1.2 The influence of Principia Mathematica 1.3 Finitism and the quest for consistency proofs ... Related Entries 1. Historical development of Hilbert's Program 1.1 Early work on foundations 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

document.write(''); 08/22/02: again Posted by: ggg@jgjg.com FOUNDING AMERICA'S SOCIAL SYSTEMS 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

Kreiseliana: About and Around George Kreisel English Books German Books Spanish Books Sheet Music ... NEW RELEASES Kreiseliana: About and Around George Kreisel Hardback; Book 512 pages Published: December 1997 A K Peters ISBN: 156881061X This item non-returnable. Order may not be canceled. This multifaceted collection of essays, reminiscences and professional papers combine to create a tribute to Georg Kreisel, the influential logician and mathematical philosopher. The book aims to communicate to a wider circle his personal and intellectual influence. PRODUCT CODE: 156881061X USA/Canada: US$ 163.60 Australia/NZ: A$ 95.00 Other Countries: US$ 179.80 convert to your currency Delivery costs included if your total order exceeds US$50. We do not charge your credit card until we ship your order. Government and corporate Purchase Orders accepted without prior account application. PLACE AN ORDER To prepare to buy this item click "add to cart" above. You can change or abandon your shopping cart at any time before checkout. CHECK ORDER STATUS Check on order progress and dispatch.

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

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

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