| dc.contributor.author | Расёва Е., Сикорский Р. | |
| dc.date.accessioned | 2016-03-24T09:01:16Z | |
| dc.date.available | 2016-03-24T09:01:16Z | |
| dc.date.issued | 1972 | |
| dc.identifier.isbn | | |
| dc.identifier.issn | | |
| dc.identifier.uri | http://libarch.nmu.org.ua/handle/GenofondUA/71903 | |
| dc.description.abstract | Название этой книги — вовсе не каламбур, как это может показаться на первый взгляд.Метаматематика — это теория, изучающая формализованные математические теории. Формализованная теория — это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложении и функций интуитивной математической теории. Операции над формулами соответствуют элементарным шагам дедукции в математических рассуждениях. Формулы, соответствующие аксиомам интуитивной теории, играют особую роль — они являются аксиомами формализованной теории. Формулы, которые могут быть выведены из аксиом посредством принятых операции, соответствуют теоремам теории. | |
| dc.language.iso | Russian | |
| dc.publisher | Наука | |
| dc.subject | Математика\\Математическая логика | |
| dc.subject | Mathematics\\Logic | |
| dc.subject.ddc | | |
| dc.subject.lcc | | |
| dc.title | Математика метаматематики | |
| dc.type | other | |
| dc.identifier.aich | FMPDRMRB363UUTJ5KLG4K2TUKWEBO4JT | |
| dc.identifier.crc32 | D923846B | |
| dc.identifier.doi | | |
| dc.identifier.edonkey | E1F3BB9D7634D29F979F04F889BFE36E | |
| dc.identifier.googlebookid | | |
| dc.identifier.openlibraryid | | |
| dc.identifier.udk | | |
| dc.identifier.bbk | | |
| dc.identifier.libgenid | 910922 | |
| dc.identifier.md5 | bb83ac820cf6f7afbd61786509685462 | |
| dc.identifier.sha1 | BFDWQR5UKCGYKDCVCWSEJIGMLGZITBJY | |
| dc.identifier.tth | GG3DKSHURMJGUUO5T7AQOQLGN75TOV4BIXYXHXI | |
