Інтуїціонізм: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
вікіфікація, категоризація |
Немає опису редагування |
||
Рядок 2:
{{помилки}}
'''Інтуїціонізм'''
У інтуїціоніостській математиці відкидається підхід [[Теорія множин|теорії множин]] і ряд міркувань класичної логіки. [[Абстракція потенційної здійсненності]], яка використовується в інтуїціоністській математиці, найкраще співвідноситься з дійсністю, ніж [[Нескінченність|абстракція актуальної нескінченності]].
== Інтуїционістськая логіка ==
В інтуїціоністській математиці судження вважається істинним, лише якщо його можна [[Доведення|довести]]. Тобто істинність твердження «Існує об'єкт ''x'', для якого вірно судження ''A(x)''» доводиться побудовою такого об'єкта, а істинність твердження «''A'' або ''B''» доводиться або доказом істинності твердження ''A'', або доказом істинності твердження ''B''. Звідси, зокрема, випливає, що твердження «''A'' або
Основними об'єктами дослідження інтуїціоністської математики є конструктивні об'єкти: [[Натуральні числа|натуральні]] та [[Раціональні числа|раціональні числа]], скінченні множини конструктивних об'єктів зі списком елементів, послідовності, що вільно встановлюються (послідовності вибору, кожен член яких може бути ефективно
== Інтуїціонізм та інші математичні підходи ==
|