Объяснение логических терминов
Б

БУРАЛИ-ФОРТИ (Burali-Forti) Чезаре (1861— 1931) — итальянский математик. В соавторстве с итальянским математиком и логиком Дж. Пеано им написана книга «Формуляр математики» (5 томов, 1895— 1905), которая сыграла значительную роль в математической логике, особенно в области выработки современной символики этой логики. В своей книге «Logica mathematical» (1894) он дал наиболее доступное изложение логики Пеано [1527].
В логической литературе встречается «парадокс Бурали-Форти» (парадокс наибольшего порядкового числа), который Э. Мендельсон кратко излагает так: для любого порядкового числа существует порядковое число, его превосходящее; однако порядковое число, определяемое множеством всех порядковых чисел, является наибольшим порядковым числом. Более развернуто этот парадокс интерпретирует X. Карри следующим образом: в теории трансфинитных порядковых чисел показано, что: (1) каждое вполне упорядоченное множество имеет (единственное) порядковое число; (2) каждый отрезок множества порядковых чисел (т. е. любое подмножество этого множества, упорядоченное естественным образом, которое вместе с каждым порядковым числом содержит все предшествующие ему) имеет порядковое число, большее чем все порядковые числа этого отрезка; (3) множество В всех порядковых чисел, расположенных в естественном порядке, вполне упорядочение Тогда в силу утверждений (3) и (1) В имеет некоторое определенное порядковое число (5, а так как р содержится в В, то в силу утверждения (2) (3 < р, что является противоречием.

Метки:, , , ,

Похожие страницы