• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • español 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Login
Ver ítem 
  •   DSpace Principal
  • Genofond
  • Libgen
  • Ver ítem
  •   DSpace Principal
  • Genofond
  • Libgen
  • Ver ítem
JavaScript is disabled for your browser. Some features of this site may not work without it.

Математика метаматематики

Thumbnail
Ver/
bb83ac820cf6f7afbd61786509685462.djvu (8.754Mb)
Fecha
1972
Autor
Расёва Е., Сикорский Р.
Metadatos
Mostrar el registro completo del ítem
Resumen
Название этой книги — вовсе не каламбур, как это может показаться на первый взгляд.Метаматематика — это теория, изучающая формализованные математические теории. Формализованная теория — это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложении и функций интуитивной математической теории. Операции над формулами соответствуют элементарным шагам дедукции в математических рассуждениях. Формулы, соответствующие аксиомам интуитивной теории, играют особую роль — они являются аксиомами формализованной теории. Формулы, которые могут быть выведены из аксиом посредством принятых операции, соответствуют теоремам теории.
URI
http://libarch.nmu.org.ua/handle/GenofondUA/71903
Colecciones
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Contacto | Sugerencias
Theme by 
Atmire NV
 

 

Listar

Todo DSpaceComunidades & ColeccionesPor fecha de publicaciónAutoresTítulosMateriasEsta colecciónPor fecha de publicaciónAutoresTítulosMaterias

Mi cuenta

AccederRegistro

DSpace software copyright © 2002-2016  DuraSpace
Contacto | Sugerencias
Theme by 
Atmire NV