{"product_id":"вовеки-неразрешимо-головоломное-руководство-по-геделю-смаллиан-р","title":"Вовеки неразрешимо. Головоломное руководство по Геделю. Смаллиан Р.","description":"В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех \"возможных миров\": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Геделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями \"непротиворечивость\", \"доказуемость\" и \"разрешимость\".\u003cbr\u003e\u003cbr\u003e#ASTTD# Search Terms: Рэймонд Смаллиан , Reimond Smallian , Лори , Lori , Русский , Rysskii , 9785855823356 , 978-5-85582-335-6 , 153877","brand":"Лори","offers":[{"title":"Новый","offer_id":46025203155108,"sku":"PRODUCT_153877_ID","price":29.99,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0663\/4933\/4692\/files\/1fe932afa0e4d21457c9d8c325d90833_560966e7-94e9-47af-9479-e9590937ef6a.jpg?v=1728682990","url":"https:\/\/allbestus.com\/ru\/products\/%d0%b2%d0%be%d0%b2%d0%b5%d0%ba%d0%b8-%d0%bd%d0%b5%d1%80%d0%b0%d0%b7%d1%80%d0%b5%d1%88%d0%b8%d0%bc%d0%be-%d0%b3%d0%be%d0%bb%d0%be%d0%b2%d0%be%d0%bb%d0%be%d0%bc%d0%bd%d0%be%d0%b5-%d1%80%d1%83%d0%ba%d0%be%d0%b2%d0%be%d0%b4%d1%81%d1%82%d0%b2%d0%be-%d0%bf%d0%be-%d0%b3%d0%b5%d0%b4%d0%b5%d0%bb%d1%8e-%d1%81%d0%bc%d0%b0%d0%bb%d0%bb%d0%b8%d0%b0%d0%bd-%d1%80","provider":"Allbestus.com","version":"1.0","type":"link"}