注册 | 登录 | FAQ      [?] 

所有的文献@标签 metamathematical-frameworks [10 articles]

当前文献的标签分类为: metamathematical-frameworks.
  • From absolute to local mathematics
    Synthese, Vol. 69, No. 3. (1 December 1986), pp. 409-426.
    by JL Bell
    posted to all-mathematical-structures category-theory extendability locality local-mathematics mathematical-frameworks mathematics metalogical-frameworks metamathematical-frameworks pluralism plurality relativity toposes topos-morphisms topos-theory by Scis0000002 on 2007-08-18 23:51:01 as ** along with 1 person qwermish
  • Graph-Based Logic and Sketches 1: The General Framework
    ArXiv Mathematics e-prints (October 1994)
    by A Bagchi, C Wells
    posted to category-theory graph-theory higher-dimensional-sketches institutions logics mathematical-structures metalogics metamathematical-frameworks presentation representation sketches sketch-theory specification toposes topos-theory visual by Scis0000002 on 2007-08-02 14:06:30 as **
  • Hilbert and the internal logic of mathematics
    Synthese, Vol. 101, No. 1. (1 October 1994), pp. 1-14.
    by Yvon Gauthier
    posted to constructivity metalogical-frameworks metalogics metamathematical-frameworks metamathematics topos-theory by Scis0000002 on 2008-04-27 15:42:25 as **
  • Semantics and Conceptual Change
    The Philosophical Review, Vol. 88, No. 3. (1979), pp. 327-365.
    by Jerrold J Katz
    posted to all-scientific-theories category-of-theories ensemble-theories formal-theories logical-theories metalogical-frameworks metalogics metamathematical-frameworks metascience metascientific-frameworks philosophy-of-science scientific-models scientific-theories theories by Scis0000002 on 2008-07-14 09:49:08 as **
  • Talking Heads: Language, Metalanguage, and the Semiotics of Subjectivity
    (01 November 1997)
    by Benjamin Lee
    posted to category-of-interactions category-of-theories cultural-evolution dynamics formal-philosophy hierarchy-of-machines intelligence-order-relations interactivity interoperability intersubjectivity metaevolution metalanguages metalayer-architectures meta-level-architectures metalogical-frameworks metamathematical-frameworks metamathematics metaphilosophical-frameworks metaphilosophy metascience neurophilosophy neuroscience objectivity philosophical-frameworks philosophy-of-science relativity scientific-community self-reflectivity semantics semiotics subjectivity synthetic-science by Scis0000002 on 2007-07-10 09:40:57 as ** along with 1 person 13matt
  • 2OBJ: A Metalogical Framework Theorem Prover Based on Equational Logic [and Discussion]
    Philosophical Transactions: Physical Sciences and Engineering, Vol. 339, No. 1652. (1992), pp. 69-86.
    by Joseph Goguen, Andrew Stevens, Hendrik Hilberdink, Keith Hobley, WA Hunt, TF Melham
    posted to categorical-metamathematical-frameworks category-of-categories category-theory higher-dimensional-category-theory metalogical-frameworks metamathematical-frameworks topos-theory by Scis0000002 on 2008-05-31 22:44:07 as **
  • Is “the theory of everything” merely the ultimate ensemble theory?
    (1 Dec 1998)
    by Max Tegmark
    posted to accessibility all-categorical-structures all-mathematical-structures all-possible-worlds complexity computability computability-theory constructivization control controlability decision-procedure exploitation exploiting exploration exploring extendability extraction formal-interoperability formalization-hypothesis formal-problem-solving formal-science formal-theories goedel-machine hierarchy-of-machines higher-dimensional-category-theory hypercomputability hypercomputing hyperefficiency intelligence-order-relations interconnectivity interoperability mathematical-structures metaevolution metalogical-frameworks metalogics metamathematical-frameworks metamathematics metaphilosophy metascience metaselection philosophy-of-science physical-structures power presentation quantum-computability regularities representation resource-allocation selection specification survivability topos-theory transformation by Scis0000002 on 2007-07-15 18:08:19 as ** along with 1 person scis0000001
  • The Mathematical Universe
    (5 Apr 2007)
    by Max Tegmark
    posted to algorithmic-information-theory ensemble-theories formal-interoperability formal-language-theory formal-physics formal-science formal-theories mathematical-logic mathematical-structures metalogical-frameworks metamathematical-frameworks philosophy-of-science physical-models physical-theories theories toes topos-theory unified-theories universes by Scis0000002 on 2008-06-28 11:25:56 as ** along with 10 people and 2 groups A_Olympia jrw RMT proportional JayDugger papillon80 gpi paes webbjn qwermish Philosophy_of_Information Blog_and_Wiki_Research
  • Combining and representing logical systems using model-theoretic parchments
    (1997), pp. 349-364.
    by Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski
    posted to mathematical-frameworks metamathematical-frameworks parchment-morphisms parchments by Scis0000002 on 2007-08-22 23:04:12 as ** along with 1 person scis0000001
  • Nonlinear Self-Duality and Supersymmetry
    by Sergei M Kuzenko, Stefan Theisen
    posted to category-theory duality extendability extendibility higher-dimensional-category-theory idealization metalogical-frameworks metamathematical-frameworks metamathematics metascience modeling nonlinearity omega-categories philosophy-of-science regularities stone-duality topos-theory by Scis0000002 on 2007-08-31 00:40:31 as ** along with 1 person scis0000001
    • ◇温馨提示◇本页的引用地址为： http://www.citeulike.org/tag/metamathematical-frameworks

    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.