• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • русский 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Войти
Просмотр элемента 
  •   Главная
  • Genofond
  • Libgen
  • Просмотр элемента
  •   Главная
  • Genofond
  • Libgen
  • Просмотр элемента
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Thumbnail
Открыть
bb83ac820cf6f7afbd61786509685462.djvu (8.754Mb)
Дата
1972
Автор
Расёва Е., Сикорский Р.
Metadata
Показать полную информацию
Аннотации
Название этой книги — вовсе не каламбур, как это может показаться на первый взгляд.Метаматематика — это теория, изучающая формализованные математические теории. Формализованная теория — это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложении и функций интуитивной математической теории. Операции над формулами соответствуют элементарным шагам дедукции в математических рассуждениях. Формулы, соответствующие аксиомам интуитивной теории, играют особую роль — они являются аксиомами формализованной теории. Формулы, которые могут быть выведены из аксиом посредством принятых операции, соответствуют теоремам теории.
URI
http://libarch.nmu.org.ua/handle/GenofondUA/71903
Collections
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Контакты | Отправить отзыв
Theme by 
Atmire NV
 

 

Просмотр

Весь DSpaceСообщества и коллекцииДата публикацииАвторыНазванияТематикаЭта коллекцияДата публикацииАвторыНазванияТематика

Моя учетная запись

ВойтиРегистрация

DSpace software copyright © 2002-2016  DuraSpace
Контакты | Отправить отзыв
Theme by 
Atmire NV