Аграрные распорядки: открытые длинные поля

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)

Отправить комментарий