Обратная математика. Доказательства, вывернутые наизнанку
Description
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
Technical Details
author: | Стилуэлл Дж. |
cbid: | 0 |
ISBN: | 978-5-9706-0888-3 |
language: | rus |
nodiscount: | no |
page_extent: | 198 |
publisher: | ДМК Пресс |
Type: | book |
year: | 2021 |
Код номенклатуры: | ORS522026373839748 |
Price history chart & currency exchange rate
Customers also viewed
14%
510.00 руб.
Банцхаф Хайо "Математика и Душа. Числовой символизм в магии, астрологии и психологии ".
happywitch.ru4%
550.00 руб.
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Вычитание. Уровень 1"
bunnyhill.ru1%
550.00 руб.
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Вычитание. Уровень 2"
bunnyhill.ru1%
550.00 руб.
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Сложение. Уровень 2"
bunnyhill.ru1%
550.00 руб.
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Задачи. Уровень 1"
bunnyhill.ru1%
550.00 руб.
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Сложение. Уровень 1"
bunnyhill.ru-13%
1%
~ 4,110.00 руб.
RGB 2 Вт-2000 мВт R: 1200 нм-МВт/г: нм-МВт/Б: нм-МВт цветной лазерный сценический Llight TTL
aliexpress.ru-6%
1%
~ 22,970.00 руб.
Арабские мусульманские кружевные вечерние платья с бусинами, официальные платья-русалки для выпускного вечера, вечерняя одежда, платья с V-...
aliexpress.ru-6%
1%
~ 685.00 руб.
6 Pieces Dental Orthodontic Lip Retractor Cheeck Retractor Double Heads Ends Mouth Opener Black Medical Plastic Materials
aliexpress.com-4%
1%
~ 221.00 руб.
1Pcs Trash Hanging Storage Plastic Bags Kitchen Organization Garbage Dispenser Wall Mounted Groceries Organizer Bag Send Hook
aliexpress.com-17%
1%
~ 690.00 руб.
Для Peugeot 308 2009 2010 2011 2012 2013 2014 отделка салона автомобиля из микрофибры кожаный дверной подлокотник панель Декор
aliexpress.ru-7%
1%
~ 2,210.00 руб.
10yard Gold Metallic Sequin Bell Fringe Trimming Braided Lace Ribbon Applique Scrapbooking Sewing for Belly Dance Dress T1763
aliexpress.com-5%
1%
~ 10,740.00 руб.
A Life On The Left Women Silk Dress Long Sleeve V-neck Slim Waist Full Floral Print Elegant Vintage Blue Long Skirt
aliexpress.com-6%
1%
~ 6,070.00 руб.
Красивое кольцо из стерлингового серебра 925 пробы, обручальное кольцо с александритовым камнем 6 мм, подарок для женщин
aliexpress.ru-1%
1%
~ 4,690.00 руб.
DA0YB1MBAI0 Notebook Mainboard for HP Spectre X2 12-a Laptop Motherboard CPU M5-6Y54 M7-6Y75 with RAM
aliexpress.com1%
279.00 руб.
Чехол Awog на ZTE Blade 20 Smart / ЗТЕ Блэйд 20 Smart "Цветочная анархия", Разноцветный, 133550-7
goods.ru-4%
1%
~ 1,060.00 руб.
Трансформатор мощности R-типа 30 Вт 9 В × 4 (провод 0,85 а 8) R N аудио трансформатор медный провод Высокое качество R-Core 9 В x 4
aliexpress.ru-6%
1%
~ 6.10 руб.
Gobrick GDS-686 перевернутая черепица для крыши 6x1x1, совместимая с lego 52501, детские игрушки, сборные, технические строительные блоки
aliexpress.ru+1%
1%
~ 3,150.00 руб.
вышивка крестом наборы рукоделие, наборы для вышивки 11CT водорастворимые рисунки на холсте 14CT, милый мультяшный стиль
aliexpress.ru-5%
1%
~ 1,370.00 руб.
Motorcycle Electric Vehicle Binding Strap Universal Fixing Strap Foldable Fastening Strap Rear Wheel Strap Motorcycle Tire Strap
aliexpress.com-5%
1%
~ 2,130.00 руб.
Женские зимние хлопковые леггинсы, утепленные бархатные облегающие черные теплые штаны с высокой талией и вышивкой из ягненка, эластичные тонкие штаны для подтяжки бедер
aliexpress.ru-5%
1%
~ 1,780.00 руб.
100 шт., пакеты для выращивания грибов, 6 мешков, 5,9x13,8 дюймов, 0,2 микрометров
aliexpress.ru-6%
1%
~ 390.00 руб.
Owl Wind Chimes Shell FundasFor huawei 8a / y6 2019 PU Leather Phone Case Wallet Flip Cover For huawei 8a / y6 2019
aliexpress.ru-4%
1%
~ 770.00 руб.
GZEELE new Laptop Hinge For HP PROBOOK 6560B 6570B SET HINGES 1A01KH000-GGS-G 1A01KH100-GGS-G
aliexpress.com-6%
1%
~ 1,980.00 руб.
Металлические мебельные ножки 10-35 см, золотые конические нивелирующие ножки для диванов, стульев, шкафов, гардеробов, защитные накладки для ножек кровати, фурнитура
aliexpress.ru-3%
1%
~ 2,070.00 руб.
Camiseta Extragrande Informal Con Cuello Redondo Y Estampado Gráfico Fun The Last Pickle Para Hombre
cotosen.com-4%
1%
~ 61.00 руб.
5 шт. новый оригинальный чип управления зарядкой аккумулятора AP5056 SOP-8 5056
aliexpress.ru