Метка: интуиционизм
-
ЛЭЙ Брауэр — Википедия
L. E. J. Брауэр Биография и вклад Л. Э. Я. Брауэра Брауэр был голландским математиком, который внес значительный вклад в топологию и математическую логику. Он был одним из основателей интуиционизма, который отвергал закон исключенного третьего и считал, что математика должна основываться на интуиции. Брауэр был членом группы математиков, которые обсуждали философские и математические вопросы в…
-
Стивен Коул Клини — Википедия
Стивен Коул Клини Биография Стивена Клини Стивен Клини — американский математик, внесший значительный вклад в математическую логику и теорию рекурсивных функций. Родился в 1909 году, получил образование в Висконсинском университете, где защитил 13 докторских диссертаций. Преподавал в Висконсинском университете и был деканом Колледжа литературы и естественных наук. Вклад в математическую логику Клини разработал альтернативные доказательства…
-
ЛЭЙ Брауэр — Википедия
L. E. J. Брауэр Биография и вклад Л. Э. Я. Брауэра Брауэр был голландским математиком, который внес значительный вклад в топологию и математическую логику. Он был одним из основателей интуиционизма, который отвергал закон исключенного третьего и считал, что математика должна основываться на интуиции. Брауэр был членом группы математиков, которые обсуждали философские и математические вопросы в…
-
ЛЭЙ Брауэр — Википедия
Л. Э. Джей Брауэр Люитцен Эгбертус Ян Брауэр — голландский математик, основатель интуиционизма. Брауэр был воинственным человеком, независимым, блестящим умом и высокими моральными принципами. Он начал самодовольную кампанию по перестройке математической практики с нуля, чтобы соответствовать своим философским убеждениям. Брауэр был вовлечен в публичный и унизительный спор с Гильбертом по поводу редакционной политики Mathematische Annalen. …
-
Стивен Коул Клини — Википедия
Стивен Коул Клини Стивен Коул Клини — американский математик и логик, внесший значительный вклад в информатику. Он был деканом Колледжа литературы и естественных наук и профессором Висконсинского университета. Клини разработал теорию рекурсивных функций, которая имеет центральное значение в информатике. Он также работал в области интуитивизма Брауэра, используя инструменты теории рекурсии. Клини был президентом Ассоциации символической…