One Hundred Years of Intuitionism (1907-2007)

• مؤلفون آخرون: van Atten, M.
• التنسيق: كتاب
• اللغة: English
• منشور في: Springer 2017
• الموضوعات: Mathematics > Philosophy; Intuitionistic mathematics.; 511.36
• الوصول للمادة أونلاين: http://repository.vnu.edu.vn/handle/VNU_123/28549
• المؤسسة: Vietnam National University, Hanoi

With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science. The aim of...