Войти
В математике, порядковая логика - это логика, связанная с порядковым числом путем рекурсивного добавления элементов к последовательности предыдущих логик. Эта концепция была введена в 1938 г. Аланом Тьюрингом в его докторской диссертации в Принстоне ввиду теорем Гёделя о неполноте.
. Гёдель показал, что каждая система логики страдает от некоторых Форма неполноты, Тьюринг сосредоточился на методе так, чтобы на основе данной системы логики могла быть построена более полная система. Путем повторения процесса получается последовательность логик L1, L2,…, каждая из которых более полная, чем предыдущая. Затем может быть построена логика L, в которой доказуемые теоремы представляют собой совокупность теорем, доказываемых с помощью L1, L2 и т. Д. Таким образом, Тьюринг показал, как можно связать логику с любым конструктивным порядковым номером.
