• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • українська 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Ввійти
Перегляд матеріалів 
  •   Головна сторінка DSpace
  • Genofond
  • Libgen
  • Перегляд матеріалів
  •   Головна сторінка DSpace
  • 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 software copyright © 2002-2016  DuraSpace
Контакти | Зворотній зв'язок
Theme by 
Atmire NV