Інтуїціонізм: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Статтю номіновано на вилучення (NominateForDel.js) |
вікіфікація, категоризація |
||
Рядок 7:
== Інтуїционістськая логіка ==
В інтуїціоністській математиці судження вважається істинним, лише якщо його можна [[Доведення|довести]]. Тобто істинність твердження «Існує об'єкт x, для якого вірно судження A(x)» доводиться побудовою такого об'єкта, а істинність твердження
Основними об'єктами дослідження інтуїціоністської математики є конструктивні об'єкти: [[Натуральні числа|натуральні]] та [[Раціональні числа|раціональні числа]], скінченні множини конструктивних об'єктів зі списком елементів, послідовності, що вільно встановлюються (послідовності вибору, кожен член яких може бути ефективно доступний), інтуїціоністські види (властивості, якими можуть володіти об'єкти дослідження). Послідовності, що вільно встановлюються, розрізняють залежно від ступеня інформації, відомої досліднику. Якщо закон формування послідовності відомий повністю, то її називають заданою законом, якщо відомий лише початковий відрізок — беззаконною. Види будуються в ієрархію, коли елементи виду визначаються незалежно від самого виду, що дозволяє уникати [[Антиномія|антиномії]]. Види рідко є об'єктами дослідження, більшість результатів інтуїціоністської математики можна отримати без їх використання<ref>Виноградов И. М. Интуиционизм // Математическая энциклопедия. — М.: Советская энциклопедия, 1977. — Т. 2.</ref>.
Рядок 15:
== Історичний нарис ==
Критика теорії множин привела до виникнення двох течій: інтуїціонізма
Інтуїціоністська математика в ідеалістичному трактуванні Бауера — це переконливість уявних побудов, не пов'язана питанням існування об'єктів. Інше трактування — це «наочна розумова переконливість найпростіших конструктивних процесів реальної дійсності». Бауер мав заперечення проти формалізації інтуїціонізму [2].
Аренд Гейтинг сформулював інтуїціоністське числення предикатів і інтуїціоністське арифметичне обчислення, [[Альфред Тарський|Альфредом Тарським]] була відкрита топологічна інтерпретація, а Андрієм Миколайовичем Колмогоровим — інтерпретація у вигляді обчислення задач. Розуміння у формі рекурсивної реалізованості було запропоноване Стівеном Коулом Кліні і підтримано науковою школою [[Марков Андрій Андрійович|Андрія Андрійовича Маркова]]. До 70-х років XX століття було завершено побудову теорії послідовностей, що легко відтворюються [3].
== Примітки ==
Рядок 25:
[[Категорія:Математика]]
[[Категорія:Епістемологія]]
[[Категорія:Математична логіка]]
|