Школа интуиционистов


Броуэр и Гейтинг представляют школу интуиционистов в философии математики. Название этой школы объясняется тем, что ее сторонники подчеркивают особенно важную роль в математике интуиции или какого-то непосредственного представления последовательности натуральных чисел и сущности доказательства при помощи (далее…)

READ MORE

Школьный пример


Школьный пример — «Все люди смертны, Сократ — человек, следовательно, Сократ смертен» — не мог бы удовлетворить Аристотеля. Вот его собственный пример: «Если все, что имеет широкие листья, теряет их, а всякая виноградная лоза имеет широкие (далее…)

READ MORE