Последняя занимается проблемами математизации логики, изучением
оснований математики и её доказательств.
Доверять им по меньшей мере неосмотрительно, а получить достоверную информацию о действительном положении вещей нелегко не только для человека далёкого от математики, но и для математика, не занимающегося специально проблемами
оснований математики и математической логики.
Смысл её состоял в том, чтобы взять за
основание математики логику.
Немецкий феноменолог считал, что подобно тому, как существуют
основания математики и логики (вне зависимости от восприятия их субъектом), существуют особым онтологическим образом и правовые образования (rechtlichen Gebilden); их онтология хотя и независима от субъекта, но отличается от математических и логических истин, так как они существуют темпорально или условно (создаются одними условиями и уничтожаются другими).
Важнейшим фактором, определившим пересмотр методологических ориентиров, стал кризис
оснований математики.
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: несинхронный — это что-то нейтральное, положительное или отрицательное?
Насколько я понимаю, математиков прикладной направленности мало интересовало противостояние формализм – интуиционизм, поскольку считалось, что эта тема должна интересовать скорее тех, кто озабочен
основаниями математики, чем тех, кто занимается её приложениями.
В наше время
основания математики сильно пошатнулись.
Математическая логика– раздел математики посвящённый изучению доказательств
оснований математики.
Этому способствовала и ориентация французских математиков и философов математики, довольно равнодушных в это время к проблемам, вызванным кризисом
оснований математики, и к возникшему в связи с ним формалистическому направлению.
Тем более что сознание учёных и философов уже было подготовлено к переосмыслению этой проблемы целым рядом других событий: кризисом
оснований математики, открытием факта множественности логических систем, учением психоанализа о подсознательном и его влиянии на сознание, пристальным интересом к неевропейским культурам и т. д.