Тази книга представя основните идеи в подхода на Л. Е. Й. Брауър към конструктивността в математиката, като се съсредоточава върху анализа, теорията на множествата и топологията и разглежда философските му мотиви. „Интуиционизмът“ на Брауър предлага последователна алтернатива на класическата (неконструктивна) математика.
Започвайки с отхвърлянето на принципа за изключеното трето, книгата изгражда наново числовите системи и анализа чрез редици на Коши. Тя сравнява конструктивните и класическите методи, показва къде класическите теореми не важат посредством „слаби контрапримери“ и разглежда класическата и конструктивната версия на теоремата за неподвижната точка на Брауър. Интуиционистки понятия като избираемите редици и Създаващият субект водят до изненадващи резултати, например непрекъснатостта на всички тотални реални функции и съществуването на ефективни, но нерекурсивни функции. Накратко, но съществено са разгледани и появилите се по-късно алтернативни възгледи на Марков и Бишъп.
Замислена като увод за студенти от бакалавърска степен, тази книга е подходяща както за студенти по математика с интерес към философията, така и за философи с известна математическа подготовка.
Производител
- Издател
- Springer Nature
- Тип
- Хуманитарни науки, Математика на природните науки
- Език
- Английски
- Електронна търговия
- -
- Корица
- Меко
- Брой страници
- 167
- Дата на издаване
- 07/05/2026
- Година на издаване
- 2026
- Размери
- 20x5 см
- ISBN-13
- 9783032164902
Важна информация
Спецификациите са събрани от официални уебсайтове на производителите. Моля, проверете ги, преди да продължите с окончателната си покупка. Ако забележите някакъв проблем, докладвайте го тук.