21. Thinking Machines Kreisel, Georg (1987), 'Church's Thesis and the Ideal of Informal Rigor,' Notre Dame Journal of Formal Logic 28 pp. 499519. http://portal.acm.org/citation.cfm?id=596705.596736

22. A Community Of Scholars Institute For Advanced Study This project is an ongoing effort to record the scope and depth of the Institute Kreisel, Georg http://www.ias.edu/people/cos/date/1950--1959?page=12

23. Biography-center - Letter K Krauskopf Engelbert • Krawtchouk Mykhailo • Krebs Edwin G. • Krebs Hans Adolf • Krebs Sir Hans Adolf • Krefting Rudolf Waldemar • Krein Mark • Kreisel Georg http://www.biography-center.com/k-5.html

24. What Is An Algorithm/What Is Computation? Kreisel, Georg (1987), Church's Thesis and the Ideal of Informal Rigour , Notre Dave Journal of Formal Logic 28(4) 499519. Argues that Church's Thesis can be proved. http://www.cse.buffalo.edu/~rapaport/584/S07/whatisanalg.html

25. Tennenbaum's Theorem Kreisel, Georg, Note on arithmetic models for consistent formulae of the predicate calculus II, Actes du XI me Congr s International de Philosophie http://web.mat.bham.ac.uk/R.W.Kaye/papers/tennenbaum/tennref

26. Register Of The Francis Crick Personal Papers MSS 660 Contains correspondence regarding essay prize sponsored by Crick on the subject Kreisel, Georg 1947 1955 http://www.oac.cdlib.org/view?docId=kt1k40250c;developer=local;style=oac4;view=d

27. Sascha Groh FacebookPrivate ProfileIt's Free And Anyone Can Join. Already A Memb Frank, 33,112n, 131 Je rey, Richard, 55 Kamp, Hans, 257n, 259n Kaplan, David, 36 Kay, Paul, 262n, 265 Kleene interpretation, 189 Krasner, Daniel, 133 Kratzer, Angelika, 130 Kreisel, Georg http://www.facebook.com/people/Sascha-Groh/100000634731563

28. List Of Austrians Facts, Discussion Forum, And Encyclopedia Article Leon Askin was an Austrian actor.Early lifeAskin was born Leon Aschkenasy into a Jewish family in Vienna, the son of Malvine and Samuel Aschkenazy. http://www.absoluteastronomy.com/topics/List_of_Austrians

29. Jean Van Heijenoort Facts, Discussion Forum, And Encyclopedia Creil is a commune in the Oise department in northern France.Twin towns* Marl, North Rhine-Westphalia, Germany* Borough of Pendle, Lancashire, England* Chorz w, Poland http://www.absoluteastronomy.com/topics/Jean_Van_Heijenoort

30. Weaving Machine With A Synchronously Or Independently Operable Borisch, Fred (Breul 22, D4400 Munster, DE) Kreisel, Georg (Unmatenstiege 10, D-4408 Dulmen, DE) http://www.freepatentsonline.com/4986315.html

31. Index For The Letter K Kreisel, Georg; Krentel, Mark; Kreowski, HansJoerg; Krishnamurthy, B. Krishnan, P. Krit, Habib; Krizanc, Danny; Krohn, Ken; Krook, M. Kruher, Fred; Krulee, G. http://sigact.cs.unlv.edu/genealogy/index-K.html

32. Adams, Ernest W. 1975. The Logic Of Conditionals. Reidel. Adams Kreisel, Georg. 1967. ''Informal Rigour and Completeness Proofs.''In Imre Lakatos, ed., Problems in the Philosophy of Mathematics, 138157. North-Holland. http://mitpress.mit.edu/books/chapters/0262572311refs1.pdf

33. Weaving Machine With A Synchronously Or Independently Operable Kreisel, Georg; Application No. 353660 filed on 04/11/1989 . US Classes 139/66R, Dobby 139/1E, Loom driving, reversing and disconnecting mechanism 139/1R, MISCELLANEOUS 139/336 STOPPING http://www.patentstorm.us/patents/4986315/description.html

34. Georg Sent - Email, Address, Phone Numbers, Everything! 123people.com Search Results for Georg Kreisel Georg Kreisel came from a Jewish background so growing up in Graz in the 1930s Hitler took over Austria, they sent Georg and his brother to http://www.123people.com/s/georg sent

35. Godel 1 Kreisel, Georg 78 19551958 79 Accompanying notes by G del, 1955-1958 80 1959-1960 81 Accompanying notes by G del, 1959-1960 82 1961-February 1962 83 http://infoshare1.princeton.edu/libraries/firestone/rbsc/aids/godel/godel1.html

36. Index [assets.cambridge.org] Kalmarelementary procedure, 128,147 Kant, Immanuel, 18,26,51,55,72 Kitcher, Philip, 116,170,191 Klein, Felix, 59 Kline, Morris, 9,10,13 Kraj ıˇcek, Jan, 135,166 Kreisel, Georg, 4 http://assets.cambridge.org/97805215/14378/index/9780521514378_index.pdf

37. Logicians Topics At Duck Duck Go Georg Kreisel Georg Kreisel FRS is an Austrian-born mathematical logician who has studied and worked in Great Britain and America. http://duckduckgo.com/c/Logicians

38. K Index Kreisel, Georg (550*) Kronecker, Leopold (2144*) Krull, Wolfgang (886*) Krylov, Aleksei (228*) Krylov, Nikolai (120*) Kuhi, Abu al (1146) Kulik, Yakov (288) http://info.math.nankai.edu.cn/navigate/math/history/Indexes/K.html

39. Tourism In Austria Georg Kreisel; Georg Kreisel; Austrian people; Austrian history; Bruck an der Mur; Austria (disambiguation) Sport in Austria; Knittelfeld; Deutschlandsberg; more http://www.kosmix.com/topic/Tourism_in_Austria

40. Www.mathsoc.spb.ru 9 Kreisel, Georg Issledovaniya po teorii dokazatel'stv. (Russian) Investigations in proof theory Translated from the. English by Yu. A. Gastev and G. E. Mints. http://www.mathsoc.spb.ru/pers/maslov/bib.txt

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 2     21-40 of 42    Back | 1  | 2  | 3  | Next 20