Saltar al contenido
Universidad del Mar SIBUMAR Descubridor Institucional UMAR
  • Inicio
  • Búsqueda avanzada
  • Explorar
  • Entrar
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
Búsqueda avanzada
  • retracted
Imagen de Portada

retracted

Fuente: Zenodo
Guardado en:
Detalles Bibliográficos
Autor principal: Fathi, Kevin
Formato: Recurso digital
Lenguaje:inglés
Publicado: Zenodo 2025
Materias:
Kolmogorov complexity
Incompleteness theorem
Peano Arithmetic
Symbolic proof systems
Chaitin incompleteness
Canonical CNF grammar
Entropy-bound derivation
Computability theory
Formal logic
Information-theoretic logic
Proof theory
Compression-based unprovability
Constructive logic
Theoretical computer science
Meta-mathematics
Acceso en línea:
Acceder al recurso
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
  • Citar
  • Describir
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Agregar a favoritos
  • Enlace Permanente
  • Existencias
  • Descripción
  • Comentarios
  • Ejemplares similares
  • Vista Equipo
Descripción
Descripción no disponible.

Ejemplares similares

  • A Closed-Form Entropy-Based Lower Bound for Diagonal Ramsey Numbers
    por: Fathi, Kevin
    Publicado: (2025)
  • Automated Reasoning with Analytic Tableaux and Related Methods
    Publicado: (2023)
  • (Hyper)sequent Calculi for the ALC(S4) Description Logics
    por: Juan Pablo Muñoz
    Publicado: (2016)
  • Fermat's Last Theorem: Fully Constructive Proof by Absolute Dynamic Residual Exhaustion Descent (ADRED) — Proof-Theoretic Minimalization
    por: Onodera, Hiroaki
    Publicado: (2025)
  • Invariant Density and Bounded Derivability in Finite Equational Presentations
    por: Tonnel, David Gérard
    Publicado: (2026)
Universidad del Mar
Universidad del MarSistema Bibliotecario de la Universidad del MarDescubridor Institucional UMARImplementación y desarrollo: Mtro. Carlos Alonso Albores Pérez
InicioBúsqueda avanzadaExplorar
Visitas al Descubridor: 33,245© 2026 Universidad del Mar