Аграрные распорядки: открытые длинные поля
Posted by Siarl | Posted in Угрозы вертикальной интеграции | Posted on 01:44
Изменение в способе, которым конструируются типы (это следует доказать с необходимостью), оставило бы решение противоречий незатронутым до тех пор, пока соблюдается этот фундаментальный принцип. Метод конструирования типов, объясненный выше, продемонстрировал нам, как возможно установить все фундаментальные определения математики и в то же время избежать всех известных противоречий. И оказалось, что на практике доктрина типов уместна
лишь там, где затрагиваются теоремы о существовании, или там, где необходимо перейти к некоторому частному случаю.
Теория типов ставит ряд трудных философских вопросов, касающихся ее интерпретации. Однако эти вопросы, в сущности, отделимы от математического развития этой теории и подобно всем философским вопросам вводят элемент неопределенности, который не относится к самой теории. Следовательно, по-видимому, лучше формулировать эту теорию без ссылки на философские вопросы, оставляя их для независимого исследования.
Б. РАССЕЛ
ВВЕДЕНИЕ В МАТЕМАТИЧЕСКУЮ ФИЛОСОФИЮ'
* Russell В. Introduction to Mathematical Philosophy II В. Russell Logic and Knowledge (Essays 1901-19SO). London: Allen & Unwin, Ltd, 1956.
(1919)
Comments (0)
Отправить комментарий