Леопольд Кронекер — Википедия
Леопольд Кронекер Леопольд Кронекер был немецким математиком, профессором и членом Берлинской академии. Он занимался теорией чисел и алгеброй, сформулировал теорему […]
Вики
Intuitionism
Вики
Стивен Коул Клини — Википедия
Стивен Коул Клини Стивен Коул Клини — американский математик и логик, внесший значительный вклад в информатику. Он был деканом Колледжа
Вики
Интуиционистская теория типов — Википедия
Интуиционистская теория типов Теория типов — это математическая теория, которая изучает типы и отношения между ними. Теория типов имеет множество
Вики
Конструктивная теория множеств — Википедия
Конструктивная теория множеств Метатеоретические свойства теории могут быть нарушены добавлением новых аксиом. Церковный тезис является метатеоретическим свойством, которое может быть
Вики
Интуиционистская логика — Википедия
Интуитивистская логика Интуиционистская логика основана на принципе исключенного третьего и избегает неконструктивных доказательств. Интуиционистская логика является более консервативной, чем классическая