Биология - Мостерин, Хесус - Логика
08 февраля 2011Оглавление:
1. Мостерин, Хесус
2. Логика
3. Философия науки
4. Практическая философия
5. Антропология
6. История философии
Мостерин получил начальное логическое образование в Институте математической логики и фундаментальных исследований в Мюнстере. Опубликовал первый современный учебник логики и теории множеств на испанском. Работал над предметом логики первого и второго порядка, аксиоматической теории множеств, теории вычислимости и сложности. Продемонстрировал, как единообразная дигитализация каждого типа символических объектов может рассматриваться в качестве определенной позиционной системы счисления. Этот результат придаёт точное значение представлению о том, что множество натуральных чисел составляет универсальную библиотеку и даже универсальную базу данных. Отредактировал первое издание полного собрания сочинений Курта Гёделя на всех языках. Вместе с Томасом Бонком редактировал одну из неопубликованных книг Рудольфа Карнапа по аксиоматике на немецком. Также изучал исторические и биографические аспекты развития современной логики; его работа над биографиями Готлоба Фреге, Георга Кантора, Бертрана Рассела, Джона фон Неймана, Курта Геделя и Алана Тьюринга, включает формальный анализ их основного технического вклада.
Просмотров: 13871
|
|