新規登録 | ログイン | FAQ      [?] 

タグ: effective-topos [7 articles]

Recent papers classified by the tag effective-topos.
  • Computable Economics: Methodology and Philosophy (Routledge Advances in Experimental & Computable Economics)
    (2007)
    by K Velupillai
    posted to algorithmic-economics computability computability-logic computable-economics constructive-economics constructive-mathematics effective-topos hypercomputability by Scis0000002 on 2007-11-04 17:15:15 as **
  • Logically Possible Machines
    pp. 259-280.
    by E Steinhart
    posted to all-possible-worlds category-of-contexts category-of-specifications category-of-theories computability-logic computability-theory computational-mechanics effective-topos executable-theories finitary-stochastic-hierarchy formal-science formal-theories hierarchy-of-machines lattice-of-machines lattice-of-situations logical-theories metalogics modeling philosophy-of-science quantum-computability superstatistics theory-development toes by Scis0000002 on 2007-06-30 15:32:17 as **
  • Developing theories of types and computability via realizability
    (1999)
    by Lars Birkedal
    posted to algebraic-lattice computability-logic computability-theory effective-topos equilogical-space fibrations fol logics modal-logic predicate-logic realizability realizer sheav-theory topos-theory tripos-theory type-theory by scis0000001 on 2007-05-09 23:12:59 as **
  • A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
    ArXiv Quantum Physics e-prints (March 2007)
    by A Doering, CJ Isham
    posted to algorithmic-information-theory category-of-languages category-of-systems category-of-theories category-theory classicality computability-logic deep-inference dev effective-topos executable formal formal-development formal-language formal-language-theory formal-science formal-system formalization higher-dimensional-category-theory higher-dimensional-topos-theory hyperdoctrine iff intuitionistic-logic logics managed-logic metamodeling metascience modeling nonclassicality operational parchments physics quantum-domain-theory quantum-institutions representation rewriting-logic theory-development theory-selection topos topos-selection topos-theory unified-concept-theory by scis0000001 on 2007-04-12 08:08:24 as ** along with 5 people jrw proportional madhadron gpi Scis0000002
  • Formalizing Synthetic Domain Theory
    J. Autom. Reason., Vol. 23, No. 3. (November 1999), pp. 411-444.
    by Bernhard Reus
    posted to computability computational-category-theory domain-theory effective-topos synthetic-domain-theory by scis0000001 on 2006-09-29 08:44:09 as **
  • Exploring the Design Space of Artificial Self-Replicating Structures
    by Jason D Lohn, Et
    posted to al computational-epistemology design-space effective-topos lattice-of-theories program-space solution-space by scis0000001 on 2007-04-12 12:29:53 as **
  • Toward Question-Asking Machines: The Logic of Questions and the Inquiry Calculus
    by Kevin H Knuth
    posted to boolean-algebra calculus category-theory corpus database domain-theory effective-topos epistemology experiment extensivity iff inductive-inference information-dynamics information-resource information-retrieval information-system information-theory inquiry-calculus ir lattice logics measurement order-theory partial-order partial-order-theory partition probability-theory query question-answering question-asking question-lattice relevance search search-theory semweb separability stone-duality unified-concept-theory by scis0000001 on 2007-04-16 14:48:55 as ** along with 2 people Scis0000002 Kristoftol
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/effective-topos

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.