Предложения со словосочетанием «основания математики»
Смысл её состоял в том, чтобы взять за основание математики логику.
Доверять им по меньшей мере неосмотрительно, а получить достоверную информацию о действительном положении вещей нелегко не только для человека далёкого от математики, но и для математика, не занимающегося специально проблемами оснований математики и математической логики.
Немецкий феноменолог считал, что подобно тому, как существуют основания математики и логики (вне зависимости от восприятия их субъектом), существуют особым онтологическим образом и правовые образования (rechtlichen Gebilden); их онтология хотя и независима от субъекта, но отличается от математических и логических истин, так как они существуют темпорально или условно (создаются одними условиями и уничтожаются другими).
Недаром он утверждал, что в основании математики должны лежать понятия, «приобретаемые из природы».
Новая логика претендовала на универсальность (вплоть до описания оснований математики), в том числе за счёт возможностей оперирования абстрактными символами.
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: подлатываться — это что-то нейтральное, положительное или отрицательное?
Нейтральное
Положительное
Отрицательное
Не знаю
Важнейшим фактором, определившим пересмотр методологических ориентиров, стал кризис оснований математики.
Последняя занимается проблемами математизации логики, изучением оснований математики и её доказательств.
Насколько я понимаю, математиков прикладной направленности мало интересовало противостояние формализм – интуиционизм, поскольку считалось, что эта тема должна интересовать скорее тех, кто озабочен основаниями математики, чем тех, кто занимается её приложениями.
В наше время основания математики сильно пошатнулись.
Математическая логика– раздел математики посвящённый изучению доказательств оснований математики.
Существует большое количество полезных математических формул, для их разработки человечеству потребовалось много времени, и некоторые из них разбросаны по нашему руководству, но вот вам самый глубокий и тёмный секрет математики: вы можете построить основания математики так, как вам будет угодно.
И ещё помним, что методы могут описываться как последовательности операций (императивно), как набор логических высказываний о мире, как применение набора функций – знания создателя могут быть в самой разной форме (принцип соответствия Curry-Howard, унивалентные основания математики – это всё довольно тщательно обсуждается в computer science и конструктивной математике).
Поскольку каждая программа – это доказательство (соответствие Curry-Howard), то соответствие физического процесса в компьютере (классическом, квантовом, оптическом и т.д.) и абстрактного процесса вычислений «в математике» может быть проверено только экспериментально, через экспериментальную науку. Deutsch прямо называет алгоритмику «наукой о доказательствах», ведь программы – это доказательства, конструктивная математика – это программирование, и дальше через алгоритмику можно делать ходы на выполнение доказательств (алгоритмов) на компьютерах, проекты унивалентных оснований математики и языков Agda и Coq как раз нацелены на помощь математикам со стороны компьютерной техники (подробней об этом – в курсе «Интеллект-стек», и там много ссылок на литературу).
Этому способствовала и ориентация французских математиков и философов математики, довольно равнодушных в это время к проблемам, вызванным кризисом оснований математики, и к возникшему в связи с ним формалистическому направлению.
Тем более что сознание учёных и философов уже было подготовлено к переосмыслению этой проблемы целым рядом других событий: кризисом оснований математики, открытием факта множественности логических систем, учением психоанализа о подсознательном и его влиянии на сознание, пристальным интересом к неевропейским культурам и т. д.
Ассоциации к слову «основание»
Синонимы к словосочетанию «основания математики»
Цитаты из русской классики со словосочетанием «основания математики»
- Оказывается, что все, что говорили вчера у Дергачева о нем, справедливо: после него осталась вот этакая тетрадь ученых выводов о том, что русские — порода людей второстепенная, на основании френологии, краниологии и даже математики, и что, стало быть, в качестве русского совсем не стоит жить.
- Может быть при допущении того, что 2 равно 3, подобие математики, но не может быть никакого действительного математического знания. И при допущении убийства в виде казни, войны, самозащиты, может быть только подобие нравственности, но никакой действительной нравственности. Признание жизни каждого человека священной есть первое и единственное основание всякой нравственности.
- Если этические суждения не имеют фактической принудительности науки или логической принудительности математики, то и все те гносеологические, метафизические и религиозные выводы, которые делает Кант на основании анализа этического переживания («практического разума»), лишены самостоятельной основы и держатся на этической интуиции.
- (все цитаты из русской классики)
Сочетаемость слова «основание»
Сочетаемость слова «математика»
Значение слова «основание»
ОСНОВА́НИЕ, -я, ср. 1. Действие по знач. глаг. основать. Основание города. (Малый академический словарь, МАС)
Значение слова «математика»
МАТЕМА́ТИКА, -и, ж. Наука о количественных отношениях и пространственных формах действительного мира. Высшая математика. Элементарная математика. (Малый академический словарь, МАС)
Афоризмы русских писателей со словом «основание»
- Нет сомнения, что охота пестрить русскую речь иностранными словами без нужды, без достаточного основания, противна здравому смыслу и здравому вкусу; но она вредит не русскому языку и не русской литературе, а только тем, кто одержим ею.
- Охота пестрить русскую речь иностранными словами без нужды, без достаточного основания, противны здравому смыслу и здравому вкусу…
- Я не считаю, что раннее развитие особенно необходимо; человек может много приобрести после школьного учения, но основания и занятий, и всего умственного быта складываются в юности.
- (все афоризмы русских писателей)
Отправить комментарий
Значение слова «основание»
ОСНОВА́НИЕ, -я, ср. 1. Действие по знач. глаг. основать. Основание города.
Все значения слова «основание»Значение слова «математика»
МАТЕМА́ТИКА, -и, ж. Наука о количественных отношениях и пространственных формах действительного мира. Высшая математика. Элементарная математика.
Все значения слова «математика»Синонимы к словосочетанию «основания математики»
- философия математики
- раздел математики
- современная математика
- история математики
- чистая математика
- (ещё синонимы...)