Home  Mathematical_Logic  Recursion Theory 
Page 1 160 of 60 1 
1. Recursion Theory  Wikipedia, The Free Encyclopedia Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions http://en.wikipedia.org/wiki/Recursion_theory  

2. Logic, 8 Notes from the class taught by Prof. Sacks in the Spring of 1998. http://www.media.mit.edu/physics/pedagogy/babbage/texts/rt.html  

3. Computability Theory Information on this site includes a Bibliographic Database for Computability theory, a list of Open Questions in Recursion theory as well as links to many http://www.nd.edu/~cholak/computability/computability.html  

4. Classical Recursion Theory  Elsevier 1988 marked the first centenary of Recursion theory, since Dedekind s 1888 paper on the nature of number. Now available in paperback, this book is both a http://www.elsevier.com/wps/product/cws_home/502130  

5. Program On Computation Prospects Of Infinity  IMS Open Forum Future on Recursion theory. Tuesday, 2 Aug 2005. 0930am 1030am. Definable ideals and quotient structures in R http://www.ims.nus.edu.sg/Programs/infinity/activities2.htm  

6. Recursion Theory And Joy The final section discusses the more practical Recursion combinators of Joy. Previous knowledge of the field of Recursion theory is not assumed. http://www.latrobe.edu.au/philosophy/phimvt/joy/j05cmp.html  

7. Recursion Theory, Or Recursive Function Theory (logic) Â Britannica Online Enc Kleene, together with Alonzo Church, Kurt GÃ¶del, Alan Turing, and others, developed the field of Recursion theory, which made it possible to prove whether http://www.britannica.com/eb/topic493971/recursiontheory  

8. LtU Classic Archives Recursion theory and Joy started 1/13/2003; 50955 AM last post 1/15/2003; 52426 PM Michael Vanier  Re Recursion theory and Joy blueArrow http://lambdatheultimate.org/classic/message5521.html  

9. Oxford University Press: Recursion Theory For Metamathematics: Raymond M. Smully Recursion theory for Metamathematics. Raymond M. Smullyan. bookshot Add to Cart. ISBN13 9780195082326ISBN10 019508232X hardback, 184 pages http://www.oup.com/us/catalog/general/subject/?view=usa&sf=toc&ci=019508232X 
10. [hepth/9412048] The Diagonalization Method In Quantum Recursion Theory The diagonalization method in quantum Recursion theory. Authors Karl Svozil Comments 6 pages, updated and revised, presented at the Workshop Quantum http://arxiv.org/abs/hepth/9412048  

11. Recursion Theory Recursion theory. theory The study of problems that, in principle, cannot be solved by either computers or humans. Proper definition? (19990301) http://burks.brighton.ac.uk/burks/foldoc/12/97.htm  

12. Dr Benedikt Loewe: Recursion Theory (1st Semester 2004/2005) Content of the courseThis lecture course will cover the basics of Recursion theory (models of computation, limitative theorems) and discuss the connections http://staff.science.uva.nl/~bloewe/2004IRT.html  

13. JSTOR Techniques Of Admissible Recursion Theory. Admissible Recursion theory is the generalization of classical Recursion theory to those ordinals satisfying certain closure conditions. http://links.jstor.org/sici?sici=00224812(198703)52:1<285:TOART>2.0.CO;28 
14. Lumpy Pea Coat: Recursion Theory My Recursion theory was lacking so I finally cracked open Cutland s Computability (that I bought a long time ago and had sitting around the house). http://nortexoid.blogspot.com/2007/06/recursiontheory.html  

15. FOM: Concepts Of Recursion Theory In some recent communications, Steve has lamented that Recursion theory has gone astray. He says that in the beginning, computability was the central http://cs.nyu.edu/pipermail/fom/1998August/002024.html  

16. A K Peters, Ltd.  Recursion Theory This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to Recursion theory. http://www.akpeters.com/product.asp?ProdCode=1497 
17. Test Of Recursion Theory Of Localization: Numerical Evidence Of A Phase Transiti Test of Recursion theory of Localization Numerical Evidence of a Phase Transition in Disordered TwoDimensional Potentials http://www.iop.org/EJ/abstract/02955075/14/2/008  

18. Recursion Theory Odifreddi, Classical Recursion theory; 2. Cutland, An Introduction to Recursive Function theory; 3. Rogers, theory of Recursive Functions and Effective http://gauss.dartmouth.edu/graduatestudents/syllabi/graduatesyllabi/logic/node  

19. Interdisciplines : Issues In Coevolution Of Language Recursion, theory of mind and communication Anne Reboul May 17, 2004 834 UT I would like to begin by saying how much I enjoyed de Villiers paper. http://www.interdisciplines.org/coevolution/papers/5/2  

20. Mathematical Logic  Math.umn.edu Wayne Richter richter@math.umn.edu Associate Professor , Ph.D. 1963 Princeton University Recursion theory, set theory, finite model theory http://www.math.umn.edu/grad/areas/logic.html  

21. Books  Classical Recursion Theory  9780444894830 Buy Classical Recursion theory The theory of Functions and Sets of Natural Numbers  Price Range $65.95  $73.88 from 3 sellers. http://www.pricegrabber.com/search_getprod.php/isbn=9780444894830  

22. Recursion Theory  Wiktionary Recursion theory (uncountable). An alternate name for computability theory. Retrieved from http//en.wiktionary.org/wiki/Recursion_theory http://en.wiktionary.org/wiki/recursion_theory  

23. Phys. Rev. A 25 (1982): Yoram Tal And Mel Levy  Recursion Theory For Nonrelativ A Recursion theory for the determination of binding energies and expectation values of r1 is presented and discussed for neutral atoms. http://link.aps.org/doi/10.1103/PhysRevA.25.1838  

24. Recursion Theory  Wiki Browser By Chainofthoughts.com Linear logic Firstorder logic Reduction (Recursion theory) Secondorder arithmetic Reasoning Natural number List of set theory topics Computability logic http://wiki.chainofthoughts.com/dt/en/Recursion theory  

25. Higher Recursion Theory Classical Recursion theory (CRT) applies to essentially finite sets of natural numbers. CRT predicates can be defined using the firstorder predicate http://portal.acm.org/citation.cfm?id=95355 
26. UniTOCS Dept: Complexity, Logic And Recursion Theory Complexity, Logic and Recursion theory. Computer Science Dept. Univ. of Torino. The People. Lavinia Egidi Gabriele Lolli Piergiorgio Odifreddi http://www.di.unito.it/WWW/comprec/homeCLR.html  

27. CIDEC Library: Shoenfield * Recursion Theory Recursion theory; Rekursive Funktionen; Hierarchietheorie; Unentscheidbare Theorien. M13100 Logic,Foundations,Set theory; M18021 Algebraic Geometry http://cs.ioc.ee/yik/lib/1/Shoenfield1.html  

28. Arithmetical Independence Results Using Higher Recursion Theory Arithmetical independence results using higher Recursion theory. Andrew Arana. Source J. Symbolic Logic Volume 69, Issue 1 (2004), 18. http://projecteuclid.org/handle/euclid.jsl/1080938820  

29. Recursion Theory On The Reals And ContinuousTime Computation Author(s) Cristopher Moore. 1995 Abstract We define a case of recursive functions on the reals analogous to the classical recursive functions on the http://ideas.repec.org/p/wop/safiwp/9509079.html  

30. Recursion Theory @ ComputerDictionaryOnline.org Recursion theory @ Computer Dictionary Online. Computer terminology definitions including hardware, software, equipment, devices, jargon abbreviations and http://www.computerdictionaryonline.org/recursion theory.htm?q=recursion theor 
31. Recursion Theory From FOLDOC Nearby terms rectangle slinger Â« recurse Â« Recursion Â« Recursion theory Â» recursive Â» recursive acronym Â» recursive definition. http://foldoc.org/?recursion theory 
32. From Danupam@stanford.edu Wed Jan 31 091601 2007 Date Wed, 31 (4) Optional reading Chapter 1 of the classic text on Recursion theory by Hartley Rogers, Jr. is recommended. You will find examples of primitive recursive http://www.stanford.edu/class/cs258/recursion.txt  

33. Richard A. Shore: Curriculum Vitae Survey Lecture, 2nd Symposium on Generalized Recursion theory, Oslo, June 1977. Lecture Series, AMS Summer Research Institute in Recursion theory, http://www.math.cornell.edu/~shore/vitae.html  

34. Recursion Theory F2003 We focused our attention on the fundamental results of Recursion theory the Normal Form, Enumeration, Parametre, and Recursion theorems, as reinforced by http://www.itc.dk/people/volodya/RTF2003.html  

35. Recursion Theory Recursion theory. The field of recursive analysis develops natural number computation into a framework appropriate for the real numbers. http://mulhauser.net/research/tutorials/computability/recursion.html  

36. IngentaConnect A Blend Of Methods Of Recursion Theory And Topology: A 10 Tree Of A blend of methods of Recursion theory and topology A 10 tree of shadow points. Authors Kalantari, Iraj1; Welch, Larry2. Source Archive for Mathematical http://www.ingentaconnect.com/content/klu/153/2004/00000043/00000008/art00004  

37. Recursion Theory Â» Wikirage: What's Hot Now On Wikipedia This site lists the pages in Wikipedia which are receiving the most edits per unique editor over various periods of time. Not to be confused with Wiki Rage http://www.wikirage.com/wiki/Recursion_theory/  

38. UM Mathematics My main area of interest is the subarea of Mathematical Logic known as Recursion theory (or, under an increasingly popular renaming, Computability theory). http://www.math.lsa.umich.edu/people/facultyDetail.php?uniqname=pgh 
39. Publications By Carl G. Jockusch Degrees of generic sets, in Recursion theory its Generalisations and Applications, edited by F. R. Drake and S. S. Wainer, Cambridge University Press, http://www.math.uiuc.edu/~jockusch/pubs.html  

40. Recursion Theory  UvA Course Catalogue  Course Description Course code MOLRT6 Credits 6 Time Period(s) Semester 1 block 1 and 2 This lecture course will cover the basics of Recursion theory (models of computation, http://studiegids.uva.nl/web/sgs/en/c/2050.html  

41. Recursion Theory  Computing Reference  ELook.org Previous Terms, Terms Containing Recursion theory, Next Terms . records Record Separator rectangle slinger recurse Recursion, Stephen Kleene, recursive http://www.elook.org/computing/recursiontheory.htm  

42. Bounded Queries In Recursion Theory In Recursion theory one considers functions which can be computed by an algorithm. Computational complexity theory is dedicated to the study of the http://www.ici.ro/ici/revista/sic2000_4/art15.htm  

43. EconPapers: Recursion Theory On The Reals And ContinuousTime Computation By Cristopher Moore; Abstract We define a case of recursive functions on the reals analogous to the classical recursive functions on the natural. http://econpapers.repec.org/paper/wopsafiwp/9509079.htm  

44. Recursion Theory  Spock Search Stephen Cole Kleene, Leo Harrington, Hartley Rogers Jr, Gerald Sacks, RÃ³zsa PÃ©ter, Andrzej Mostowski and other people matching \ http://www.spock.com/q/recursiontheory  

45. Longo Symposium In this perspective, Longo worked at some aspects of Recursion theory, Higher Type Recursion theory, Domain theory and Category theory as part of a unified http://www.pps.jussieu.fr/~gc/other/rdp/talks.html  

46. Intute: Science, Engineering And Technology  Search Results They discuss classical descriptive set theory, Borel sets, the influence of Recursion theory on descriptive set theory, analytic and coanalytic sets, http://www.intute.ac.uk/sciences/cgibin/search.pl?term1=recursion theory&limit= 
47. 03Dxx 03D65 Highertype and set Recursion theory; 03D70 Inductive definability; 03D75 Abstract and axiomatic Recursion theory; 03D80 Applications of Recursion http://www.ma.hw.ac.uk/~chris/MR/03Dxx.html  

48. Recursion Theory, Fall 2007 Recursion theory, fall 2007. Lecturer. AndrÃ©s Villaveces. Lectures. Weeks 3642 and 4450, Monday 12Â14 and Thursday 12Â14 in room B322. http://mathstat.helsinki.fi/kurssit/info/recursion_theory07s.html  

49. Introduction To Recursion Theory H Rogers, theory of recursive functions and effective computability, McGrawHill, New York, 1967; P Odifreddi, Classical Recursion theory, NorthHolland, http://www1.cuni.cz/~svejdar/courses/recfn.html  

50. Recursion Theory  Definitions From Dictionary.com Definitions of Recursion theory at Dictionary.com. http://dictionary.reference.com/browse/recursion theory  

51. Recursion Instead they use a technique known as Recursion . This turns out to be a very powerful technique for some types of problem, so we ll take a look at it now. http://www.freenetpages.co.uk/hp/alan.gauld/tutrecur.htm  

52. Recursion: Index Let s explore the concepts of Recursion and recurrences. Recursion often allows easily expressing complex procedure, with often impressive results. http://www.cs.cmu.edu/~cburch/survey/recurse/index.html  

Page 1 160 of 60 1 