Zur Kurzanzeige

dc.contributor.authorРасёва Е., Сикорский Р.
dc.date.accessioned2016-03-24T09:01:16Z
dc.date.available2016-03-24T09:01:16Z
dc.date.issued1972
dc.identifier.isbn
dc.identifier.issn
dc.identifier.urihttp://libarch.nmu.org.ua/handle/GenofondUA/71903
dc.description.abstractНазвание этой книги — вовсе не каламбур, как это может показаться на первый взгляд.Метаматематика — это теория, изучающая формализованные математические теории. Формализованная теория — это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложении и функций интуитивной математической теории. Операции над формулами соответствуют элементарным шагам дедукции в математических рассуждениях. Формулы, соответствующие аксиомам интуитивной теории, играют особую роль — они являются аксиомами формализованной теории. Формулы, которые могут быть выведены из аксиом посредством принятых операции, соответствуют теоремам теории.
dc.language.isoRussian
dc.publisherНаука
dc.subjectМатематика\\Математическая логика
dc.subjectMathematics\\Logic
dc.subject.ddc
dc.subject.lcc
dc.titleМатематика метаматематики
dc.typeother
dc.identifier.aichFMPDRMRB363UUTJ5KLG4K2TUKWEBO4JT
dc.identifier.crc32D923846B
dc.identifier.doi
dc.identifier.edonkeyE1F3BB9D7634D29F979F04F889BFE36E
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid910922
dc.identifier.md5bb83ac820cf6f7afbd61786509685462
dc.identifier.sha1BFDWQR5UKCGYKDCVCWSEJIGMLGZITBJY
dc.identifier.tthGG3DKSHURMJGUUO5T7AQOQLGN75TOV4BIXYXHXI


Dateien zu dieser Ressource

Thumbnail

Das Dokument erscheint in:

Zur Kurzanzeige