Настоящее пособие подготовлено на основе авторского курса по истории и философии науки для аспирантов естественно-научного и гуманитарного циклов. Дан подробный анализ четырех ведущих программ обоснования философии ХХ столетия - логицизма, интуиционизма, конструктивизма и формализма. Главный акцент сделан на раскрытии философских допущений перечисленных программ и доступном изложении тезисов и основных результатов каждой из них. Первая глава книги посвящена изложению общего подхода к проблеме обоснования математики. Предлагается решение, выходящее за рамки известной дихотомии априоризма и апостериоризма математического знания. Объясняется, почему ни одна из анализируемых программ не может считаться удовлетворительной в полной мере. В книге используется большое количество первоисточников и критической литературы. Пособие написано в соответствии с требованиями Программы кандидатских экзаменов по курсу "История и философия науки", одобренной Высшей аттестационной комиссией и...
Только недавно мы сообщали, что специалисты NASA, MicroCraft Inc, Orbital Sciences CorporationPсоздали гиперзвуковой беспилотный самолетP X-43A, который в 10 раз обгоняет скорость звука. И в будущем такие самолеты будут достигать любую точку планеты за 3-4 часа. Ведь уже в время тестирования он показал фантастическуюP скоростьP – 11230 км/ч. И вот снова новость из области самолетостроения. [...]
Вы не поверите! ДваP листочка утоляют голод В Индии растет растение под местным названием “обмани желудок”. Съев 1-2 листочка растения калир-канда, человек чувствует сытость на протяжении целой недели, хотя листья не содержат ценных питательных веществ. Свойство растения создавать иллюзию сытости используется в изготовлении таблеток и настоев из листьев, которые с успехом используют люди, страдающие от [...]