Словарь по логике

Гейтинг

Аренд Гейтинг, A. Heyting (9.05.1898, Амстердам, Нидерланды - 9.07.1980, Лугано, Швейцария): Голландский математик и логик, последователь интуиционизма. Ученик (студент) Брауэра. В 1922 закончил Амстердамский университет, работал там же. Член нидерландской АН.
Формализовал интуиционистскую логику высказываний.
Сочинения: Обзор исследований по основаниям математики. М., 1936. Интуиционизм: Пер. с англ. 1965. Тридцать лет спустя // Математическая логика и ее применения. М., 1965.