Loading [MathJax]/jax/output/SVG/config.js
Saltar al contenido principal
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
LibreTexts Español

Buscar

  • Filtrar resultados
  • Ubicación
  • Clasificación
    • Tipo de artículo
    • Author
    • Show TOC
    • Cover Page
    • License
    • Transcluded
      • Autonumber Section Headings
      • License Version
    • Incluir datos adjuntos
    Buscando en
    Acerca de 1 resultados
    • https://espanol.libretexts.org/?title=Matematicas/Logica_Matematica_y_Pruebas/Introducci%C3%B3n_amistosa_a_la_l%C3%B3gica_matem%C3%A1tica_(Leary_%26_Kristiansen)/05:_Incompletitud_sint%C3%A1ctica_-_Fundamentaci%C3%B3n/5.04:_Funciones_representables_y_programas_inform%C3%A1ticos
      Una de las razones por las que los matemáticos aceptan estos constructos formales como modelos precisos de la noción intuitiva de calculabilidad es que todos los análogos formales de computación que s...Una de las razones por las que los matemáticos aceptan estos constructos formales como modelos precisos de la noción intuitiva de calculabilidad es que todos los análogos formales de computación que se han propuesto han demostrado ser equivalentes, y cada uno de ellos también es equivalente a la noción de representabilidad que definimos en la última sección.

    Support Center

    How can we help?