Registrati | Log in | FAQ      [?] 

Tag metamathematics [15 articles]

Articoli recentemente classificati sotto il tag metamathematics.
  • Skolem's paradox and constructivism
    Journal of Philosophical Logic, Vol. 16, No. 2. (1 May 1987), pp. 165-202.
    by Charles Mccarty, Neil Tennant
    posted to metamathematics by Scis0000002 on 2008-04-27 15:33:56 as **
  • Reflective metalogical frameworks
    ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576.
    by David Basin, Manuel Clavel, Jos&\#233; Meseguer
    posted to cognitive-architectures computational-complexity-theory formal-interoperability formal-problem-solving goedel-machine hierarchy-of-machines inference metainference metainferencing metalanguage metalanguages metalogical-frameworks metalogics metamathematics metareasoning reflectivity self-reflectivity by Scis0000002 on 2007-07-10 09:29:14 as ** along with 3 people and 1 group dalev scis0000001 Benja NU-PRL
  • The theory of proportionality as an abstraction of group theory
    Mathematische Annalen, Vol. 130, No. 2. (1 April 1955), pp. 102-108.
    by Richard J Büchi, Jesse B Wright
    posted to group-theory metamathematics proportionality by Scis0000002 on 2008-04-25 20:53:33 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
  • The Last Mathematician from Hilbert's Gottingen: Saunders Mac Lane as Philosopher of Mathematics
    British Journal for the Philosophy of Science, Vol. 58, No. 1. (15 March 2007), pp. 77-112.
    by Mclarty, Colin
    posted to category-theory metamathematics by Scis0000002 on 2008-04-24 14:24:54 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
  • Holographic Trees
    (2002), pp. 465-478.
    by Paolo Boldi, Sebastiano Vigna
    posted to distributed-computing holographic holography idealization interoperability limits metamathematics self-similarity tree trees ultrametricity unified-concept-theory by Scis0000002 on 2007-08-24 14:31:48 as **
  • Scaling StepWise Refinement
    (2003)
    by D Batory, J Sarvela, A Rauschmayer
    posted to metamathematics refinement rewriting specification by Scis0000002 on 2007-08-29 13:33:16 as **
  • Internal Logic - Foundations of Mathematics from Kronecker to Hilbert (SYNTHESE LIBRARY Volume 310) (Synthese Library)
    (01 June 2002)
    by Y Gauthier
    posted to arithmetical-logic constructive-logic constructivization hypercomputability iff individual-logic internal-logic local-logic local-mathematics metalogical-frameworks metamathematics multi-language-systems topos-theory unified-concept-theory by Scis0000002 on 2008-04-27 20:39:52 as **
  • 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
  • Category Theory as a Framework for an in re Interpretation of Mathematical Structuralism
    The Age of Alternative Logics (2006), pp. 163-179.
    by Elaine Landry
    posted to category-theory metamathematics structuralism by Scis0000002 on 2007-09-11 09:22:53 as **
  • A New Finestructural Hierarchy for the Constructible Universe
    by Peter Koepke
    posted to constructibility constructible-sets constructible-universe definability fol goedel-machines hierarchies hierarchy-of-complexity-classes hierarchy-of-formal-systems hierarchy-of-frameworks hierarchy-of-languages hierarchy-of-theories hierarchy-of-toposes hierarchy-of-truths hierarchy-of-types higher-order hypercomputability inner-models mathematical-structures metamathematics n-frameworks n-hierarchies omega-frameworks omega-hierarchies omega-hierarchy omega-models omega-sciences provability set-theory skolemization skolem-paradox by Scis0000002 on 2008-07-18 22:10:28 as **
  • On Modeling, Mathematics, Category Theory and RM-ODP
    (2001), pp. 38-54.
    by Zinovy Diskin
    posted to categorification category-theory iff metalogics metamathematics modeling rm-odp by Scis0000002 on 2007-07-14 13:20:35 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 **
  • The metamathematics of random graphs
    Annals of Pure and Applied Logic, Vol. 143, No. 1-3. (November 2006), pp. 20-28.
    by John T Baldwin
    posted to proof-theory metamathematics finite-model-theory by scis0000001 on 2007-01-12 21:20:25 as ** along with 2 people dmitri83 flavian_vasile
    • Puoi citare questa pagina come: http://www.citeulike.org/tag/metamathematics

    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.