Обратная математика. Доказательства вывернутые наизнанку
Description
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».
Для читателей, интересующихся основами математической науки.
Technical Details
author: | Стилуэлл Джон |
ISBN: | 978-5-97060-888-3 |
year: | 2021 |
Price history chart & currency exchange rate
Customers also viewed
![Банцхаф Хайо "Математика и Душа. Числовой символизм в магии, астрологии и психологии ".
Банцхаф Хайо "Математика и Душа. Числовой символизм в магии, астрологии и психологии ".](http://happywitch.ru/upload/images/products/fc3/fc313640-6fec-11e4-8b26-acf1df405960.jpg)
13%
510.00 руб.
Банцхаф Хайо "Математика и Душа. Числовой символизм в магии, астрологии и психологии ".
happywitch.ru![Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Сложение. Уровень 1"
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Сложение. Уровень 1"](http://bunnyhill.ru/upload/iblock/0d1/tjuh6vezvn2iox0serlm9nibjs45vi53/tetrad-mif-kumon-matematika-slozhenie-uroven-1.jpg)
1%
550.00 руб.
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Сложение. Уровень 1"
bunnyhill.ru![Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Сложение. Уровень 2"
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Сложение. Уровень 2"](http://bunnyhill.ru/upload/iblock/4f1/y3n2itah9ecx9myvhmd00q81ibzaxf43/tetrad-mif-kumon-matematika-slozhenie-uroven-2.jpg)
1%
550.00 руб.
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Сложение. Уровень 2"
bunnyhill.ru![Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Вычитание. Уровень 2"
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Вычитание. Уровень 2"](http://bunnyhill.ru/upload/iblock/268/t5jm4jd2f66r7ad033fqkluf5xxw0uf3/tetrad-mif-kumon-matematika-vychitanie-uroven-2.jpg)
1%
550.00 руб.
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Вычитание. Уровень 2"
bunnyhill.ru![Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Задачи. Уровень 1"
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Задачи. Уровень 1"](http://bunnyhill.ru/upload/iblock/f31/bvarjzvog5uyi43fn64djtalf0d7w131/tetrad-mif-kumon-matematika-zadachi-uroven-1.jpg)
1%
550.00 руб.
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Задачи. Уровень 1"
bunnyhill.ru![Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Вычитание. Уровень 1"
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Вычитание. Уровень 1"](http://bunnyhill.ru/upload/iblock/76c/1vo8yf4fmoe73gpus8u9z4e6q1shmjds/tetrad-mif-kumon-matematika-vychitanie-uroven-1.jpg)
1%
550.00 руб.
Развивающие тетради KUMON, Тетрадь МИФ Kumon "Математика. Вычитание. Уровень 1"
bunnyhill.ru![Бесплатная доставка, новинка, 10 шт./лот, фотосессия, samd20e14a, ATSAMD20E14, фотосессия
Бесплатная доставка, новинка, 10 шт./лот, фотосессия, samd20e14a, ATSAMD20E14, фотосессия](http://ae01.alicdn.com/kf/H06f74004a33442839fd4d1786b6f57adQ.jpg)
-18%
1%
~ 1,490.00 руб.
Бесплатная доставка, новинка, 10 шт./лот, фотосессия, samd20e14a, ATSAMD20E14, фотосессия
aliexpress.ru![SPRING 50% DISCOUNT SALES BUY 5 GET 3 FREE MatchX M2 Pro Miners - MXC And Bitcoins Miners
SPRING 50% DISCOUNT SALES BUY 5 GET 3 FREE MatchX M2 Pro Miners - MXC And Bitcoins Miners](http://ae01.alicdn.com/kf/Sd3bb1b4529964b69a1003aea2a1120c9G.jpg)
+1%
1%
~ 19,620.00 руб.
SPRING 50% DISCOUNT SALES BUY 5 GET 3 FREE MatchX M2 Pro Miners - MXC And Bitcoins Miners
aliexpress.com![Parts Gasket Rebuild Carburetor Kit Chainsaw MS230 MS250 1ppcs Set For RB-105 C1Q-S Series For Stihl MS210 Useful
Parts Gasket Rebuild Carburetor Kit Chainsaw MS230 MS250 1ppcs Set For RB-105 C1Q-S Series For Stihl MS210 Useful](http://ae01.alicdn.com/kf/S73d7c659a95b4a35a8c87e3d3f1f73b1n.jpeg)
-10%
1%
~ 60.00 руб.
Parts Gasket Rebuild Carburetor Kit Chainsaw MS230 MS250 1ppcs Set For RB-105 C1Q-S Series For Stihl MS210 Useful
aliexpress.com![Dental Lab Zirconia Block ST-ML Multilayer 98mm Transparency43% Strength 1200 Block vita16 dental cad cam roland milling machine
Dental Lab Zirconia Block ST-ML Multilayer 98mm Transparency43% Strength 1200 Block vita16 dental cad cam roland milling machine](http://ae04.alicdn.com/kf/S3486e999667148cb8cf044e81c07f1eag.png)
1%
~ 4,100.00 руб.
Dental Lab Zirconia Block ST-ML Multilayer 98mm Transparency43% Strength 1200 Block vita16 dental cad cam roland milling machine
aliexpress.com![10PCS Christmas Collection Nail Stickers DIY Santa Claus Self Adhesive Nail Slider Elk Snowflake Nail Art Beauty Decor Decal
10PCS Christmas Collection Nail Stickers DIY Santa Claus Self Adhesive Nail Slider Elk Snowflake Nail Art Beauty Decor Decal](http://ae04.alicdn.com/kf/Sc31e6e4e071744a2a44bb48a80912648O.jpg)
-1%
1%
~ 359.00 руб.
10PCS Christmas Collection Nail Stickers DIY Santa Claus Self Adhesive Nail Slider Elk Snowflake Nail Art Beauty Decor Decal
aliexpress.com![Tool Stand Holder Rack for Cut and Grind Assembly DIY Model Making Assembly
Tool Stand Holder Rack for Cut and Grind Assembly DIY Model Making Assembly](http://ae-pic-a1.aliexpress-media.com/kf/S749a8468bfc2478a8d8cc7d7f6e683a8R.jpg)
1%
~ 7,290.00 руб.
Tool Stand Holder Rack for Cut and Grind Assembly DIY Model Making Assembly
aliexpress.com![Cartoon Elephant Flower Pot Children Watering Can Toddler Cans Infant Outdoor Toys Gift Small Plastic Baby Mini Kids
Cartoon Elephant Flower Pot Children Watering Can Toddler Cans Infant Outdoor Toys Gift Small Plastic Baby Mini Kids](http://ae04.alicdn.com/kf/Sef57b43c43074c40adb4f3f4edd405f0t.jpg)
1%
~ 406.00 руб.
Cartoon Elephant Flower Pot Children Watering Can Toddler Cans Infant Outdoor Toys Gift Small Plastic Baby Mini Kids
aliexpress.com![Combhasaki Women's Y2K Retro Vintage Floral Printed High Waist Ruffled Elegant Elastic Waist Long Skirts Street Style Bottoms
Combhasaki Women's Y2K Retro Vintage Floral Printed High Waist Ruffled Elegant Elastic Waist Long Skirts Street Style Bottoms](http://ae-pic-a1.aliexpress-media.com/kf/Se2415e7a872243fca043c4898e9e98f3e.jpg)
+4%
1%
~ 690.00 руб.
Combhasaki Women's Y2K Retro Vintage Floral Printed High Waist Ruffled Elegant Elastic Waist Long Skirts Street Style Bottoms
aliexpress.com![Мужские двухслойные спортивные шорты 2 в 1 с принтом аниме, быстросохнущие впитывающие пот шорты для бега и представлений, тренировочные спортивные шорты
Мужские двухслойные спортивные шорты 2 в 1 с принтом аниме, быстросохнущие впитывающие пот шорты для бега и представлений, тренировочные спортивные шорты](http://ae01.alicdn.com/kf/Sf348eaf3bac545f7bdb2710ae2ee7424n.jpg)
-1%
1%
~ 615.00 руб.
Мужские двухслойные спортивные шорты 2 в 1 с принтом аниме, быстросохнущие впитывающие пот шорты для бега и представлений, тренировочные спортивные шорты
aliexpress.ru![Halloween C Party Supplies Fake Mustache Cosplay Beard Props Facial Accessories
Halloween C Party Supplies Fake Mustache Cosplay Beard Props Facial Accessories](http://ae04.alicdn.com/kf/Sf552f3c54ddd49439f7ee53903056dd16.jpg)
-1%
1%
~ 184.00 руб.
Halloween C Party Supplies Fake Mustache Cosplay Beard Props Facial Accessories
aliexpress.com![Milk Warmer Insulated Bag Portable Baby Feeding Thermal Bag Children Tote
Milk Warmer Insulated Bag Portable Baby Feeding Thermal Bag Children Tote](http://ae04.alicdn.com/kf/S4f6bca588c9f41969719359e7c676fd6X.jpg)
-1%
1%
~ 111.00 руб.
Milk Warmer Insulated Bag Portable Baby Feeding Thermal Bag Children Tote
aliexpress.com![942pcs Metal Assembly Monkey Model Kit 3D Puzzle Building Blocks DIY Mechanical Animals Model Building Kits for Kids Adults
942pcs Metal Assembly Monkey Model Kit 3D Puzzle Building Blocks DIY Mechanical Animals Model Building Kits for Kids Adults](http://ae-pic-a1.aliexpress-media.com/kf/S67fde156e025433a9fccfaf5264bf6dcM.jpg)
-2%
1%
~ 8,220.00 руб.
942pcs Metal Assembly Monkey Model Kit 3D Puzzle Building Blocks DIY Mechanical Animals Model Building Kits for Kids Adults
aliexpress.com![USA 1921 Hobo Nickel Coin Magic Collectibles Silver Plated Morgan Dollar Coins Craft Desktop Ornament Christmas Gifts#948
USA 1921 Hobo Nickel Coin Magic Collectibles Silver Plated Morgan Dollar Coins Craft Desktop Ornament Christmas Gifts#948](http://ae04.alicdn.com/kf/Sc8b04662c8ea4b40a497b014847849d6e.jpg)
-1%
1%
~ 190.00 руб.
USA 1921 Hobo Nickel Coin Magic Collectibles Silver Plated Morgan Dollar Coins Craft Desktop Ornament Christmas Gifts#948
aliexpress.com![100% Merino Wool Clothing 2023 Women's Autumn and Winter Knitting Half High Neck Pullover Fashion Korea Contrast Top Jacket
100% Merino Wool Clothing 2023 Women's Autumn and Winter Knitting Half High Neck Pullover Fashion Korea Contrast Top Jacket](http://ae01.alicdn.com/kf/Sa25d64a7954e4434a163ae2ef84841aeo.jpg)
1%
~ 4,010.00 руб.
100% Merino Wool Clothing 2023 Women's Autumn and Winter Knitting Half High Neck Pullover Fashion Korea Contrast Top Jacket
aliexpress.com![Minimalism Beach Towel,Sand Free Quick Dry Beach Towels Oversized Clearance, Lightweight Compact Travel Towel Picnic Blanket
Minimalism Beach Towel,Sand Free Quick Dry Beach Towels Oversized Clearance, Lightweight Compact Travel Towel Picnic Blanket](http://ae01.alicdn.com/kf/S629f8e8b931445f9a81278702b3b6ee2d.jpg)
-3%
1%
~ 1,680.00 руб.
Minimalism Beach Towel,Sand Free Quick Dry Beach Towels Oversized Clearance, Lightweight Compact Travel Towel Picnic Blanket
aliexpress.com![0600-0400a0 комплект для восстановления поршня цилиндра для CF600 Z6 Snyper ZForce Terracross Terralander
0600-0400a0 комплект для восстановления поршня цилиндра для CF600 Z6 Snyper ZForce Terracross Terralander](http://ae01.alicdn.com/kf/S06ece9ae6bb5479f8189ff32dd07f1a2G.jpg)
+1%
1%
~ 14,500.00 руб.
0600-0400a0 комплект для восстановления поршня цилиндра для CF600 Z6 Snyper ZForce Terracross Terralander
aliexpress.ru![Керамическое нано-покрытие для автомобиля, восковое покрытие для восстановления и полировки автомобиля, устойчивое к царапинам средство д...
Керамическое нано-покрытие для автомобиля, восковое покрытие для восстановления и полировки автомобиля, устойчивое к царапинам средство д...](http://ae04.alicdn.com/kf/S109e8e16ed5c43c8aeafc8bdea60ec72j.jpg)
1%
~ 530.00 руб.
Керамическое нано-покрытие для автомобиля, восковое покрытие для восстановления и полировки автомобиля, устойчивое к царапинам средство д...
aliexpress.ru![designer 2022 women summer striped knit tee with letter print milan runway cotton crew neck crop t-shirt clothing high end 4vyo, White
designer 2022 women summer striped knit tee with letter print milan runway cotton crew neck crop t-shirt clothing high end 4vyo, White](http://www.dhresource.com/600x600/f3/albu/km/t/20/2a78b3e8-e01f-4974-a0b9-ac41300e6ee0.jpg)
1%
7,923.99 руб.
designer 2022 women summer striped knit tee with letter print milan runway cotton crew neck crop t-shirt clothing high end 4vyo, White
dhgate.com![Для Mercedes Benz S Class W223 2021 2022, сиденье под переменным током, обогрев, розетка, решетка радиатора, крышка
Для Mercedes Benz S Class W223 2021 2022, сиденье под переменным током, обогрев, розетка, решетка радиатора, крышка](http://ae01.alicdn.com/kf/S18eab580beeb4b77a368f2a1d32974efQ.jpg)
1%
~ 1,470.00 руб.
Для Mercedes Benz S Class W223 2021 2022, сиденье под переменным током, обогрев, розетка, решетка радиатора, крышка
aliexpress.ru![Чехол для автомобильного ключа с текстурой из углеродного волокна класса премиум с полной защитой корпуса, водонепроницаемый и пыленепроницаемый дизайн для модели Jaguar B
Чехол для автомобильного ключа с текстурой из углеродного волокна класса премиум с полной защитой корпуса, водонепроницаемый и пыленепроницаемый дизайн для модели Jaguar B](http://ae-pic-a1.aliexpress-media.com/kf/Ad8c4243e4ae145f99ff0c1eaf06e19027.jpg)
+15%
1%
~ 895.00 руб.
Чехол для автомобильного ключа с текстурой из углеродного волокна класса премиум с полной защитой корпуса, водонепроницаемый и пыленепроницаемый дизайн для модели Jaguar B
aliexpress.ru![No Man's Sky Video Game Canvas Poster Home Wall Painting Decoration (No Frame)
No Man's Sky Video Game Canvas Poster Home Wall Painting Decoration (No Frame)](http://ae-pic-a1.aliexpress-media.com/kf/H511f7edf8c534bf78b59f810d10e182bI.jpg)
-49%
1%
~ 980.00 руб.
No Man's Sky Video Game Canvas Poster Home Wall Painting Decoration (No Frame)
aliexpress.com