Вниманию читателей предлагается книга крупнейшего немецкого ученого, основоположника современной математической логики и выдающегося представителя философско-математической мысли Готтлоба Фреге (1848-1925), труды которого по своему значению сопоставимы с логическим наследием Аристотеля и Лейбница. Настоящая книга включает знаменитый труд Г. Фреге \"Исчисление понятий\" и другие его работы, положившие начало современной логической семантике. Книга рекомендуется студентам и аспирантам в качестве пособия по математической логике, преподавателям математических факультетов, а также всем желающим самостоятельно изучать математическую логику.
В современную эпоху компьютеризации, когда методы эффективной вычислимости приобрели в науке и практике первостепенное значение, а понятия алгоритма и формализованной эвристики получили широкое философское звучание, мног
Критическому разбору идей «логицизма» - направления, ставящего целью обосновать математику сведением ее исходных понятий к понятиям логики, - выдающийся французский математик и философ А.
Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций.
Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц пр
В современную эпоху компьютеризации, когда методы эффективной вычислимости приобрели в науке и практике первостепенное значение, а понятия алгоритма и формализованной эвристики получили широкое филосо
Фрактальная геометрия оперирует парадоксальными геометрическими предметами, результаты измерения которых (длина, площадь, объем) устремляются к бесконечности.
Фрактальная геометрия оперирует парадоксальными геометрическими предметами, результаты измерения которых (длина, площадь, объем) устремляются к бесконечности.