intuicionistinis

Intuicionistinis – tai filosofinė ir logikos srovė, kuri teigia, kad matematikos objektai egzistuoja tik tiek, kiek juos galima sukonstruoti arba intuityviai suvokti. Pagrindinis principas: tiesa yra įrodymas. Tai reiškia, kad teiginys laikomas teisingu tik tada, kai yra pateiktas konstruktyvus jo įrodymas, o ne tik prieštaravimo nebuvimas.

Pagrindiniai bruožai:
1. Atmeta trečiojo neįtraukimo dėsnį (A arba ne-A) kaip universaliai galiojantį.
2. Neigia, kad egzistavimo teiginiai gali būti įrodyti netiesiogiai (pvz., per prieštaravimą), be konkretaus pavyzdžio.
3. Išryškina konstruktyvų požiūrį: matematika yra žmogaus proto kūrybinis veikimas, o ne atradimas iš anksto egzistuojančios realybės.

Pavyzdžiai:

1. Matematikoje:
Intuicionistinis matematikas nesutiktų su teiginiu "Egzistuoja du iracionalieji skaičiai \(a\) ir \(b\), kuriems \(a^b\) yra racionalusis", jei įrodymas remiasi tik trečiojo neįtraukimo dėsniu (pvz., nagrinėjant \(\sqrt{2}^{\sqrt{2}}\)). Jis reikalautų konkretaus pavyzdžio su konstruktyviai pateiktais skaičiais.

2. Logikoje:
Teiginys "Arba P = NP, arba P ≠ NP" (žymus atviras klausimas informatikojė) intuicionistui nėra automatiškai priimtinas, nes nėra žinomas konstruktyvus įrodymas nei vienai, nei kitai alternatyvai. Intuicionistinėje logikoje disjunkcija \(A \lor B\) reikalauja įrodymo bent vienam iš narių.

3. Filosofijoje:
Intuicionistinis požiūris atsispindi L. E. J. Brouwer darbuose, kurie teigė, kad matematika yra proto veikla, o ne abstrakti struktūra, egzistuojanti nepriklausomai nuo žmogaus. Pavyzdžiui, begalinės aibės intuicionistui yra tik kaip procesai, o ne baigtiniai objektai.

Trumpai: Intuicionistinis požiūris pabrėžia konstruktyvumą ir įrodymų reikšmę, atsisakydamas klasikinių logikos principų, kurie remiasi abstrakčia „tikrove“ be galimybės ją sukonstruoti.

• Gairės: Matematikos terminai

Įrašas
Paaiškinimas	Intuicionistinis – tai filosofinė ir logikos srovė, kuri teigia, kad matematikos objektai egzistuoja tik tiek, kiek juos galima sukonstruoti arba intuityviai suvokti. Pagrindinis principas: tiesa yra įrodymas. Tai reiškia, kad teiginys laikomas teisingu tik tada, kai yra pateiktas konstruktyvus jo įrodymas, o ne tik prieštaravimo nebuvimas. Pagrindiniai bruožai: 1. Atmeta trečiojo neįtraukimo dėsnį (A arba ne-A) kaip universaliai galiojantį. 2. Neigia, kad egzistavimo teiginiai gali būti įrodyti netiesiogiai (pvz., per prieštaravimą), be konkretaus pavyzdžio. 3. Išryškina konstruktyvų požiūrį: matematika yra žmogaus proto kūrybinis veikimas, o ne atradimas iš anksto egzistuojančios realybės. Pavyzdžiai: 1. Matematikoje: Intuicionistinis matematikas nesutiktų su teiginiu "Egzistuoja du iracionalieji skaičiai \(a\) ir \(b\), kuriems \(a^b\) yra racionalusis", jei įrodymas remiasi tik trečiojo neįtraukimo dėsniu (pvz., nagrinėjant \(\sqrt{2}^{\sqrt{2}}\)). Jis reikalautų konkretaus pavyzdžio su konstruktyviai pateiktais skaičiais. 2. Logikoje: Teiginys "Arba P = NP, arba P ≠ NP" (žymus atviras klausimas informatikojė) intuicionistui nėra automatiškai priimtinas, nes nėra žinomas konstruktyvus įrodymas nei vienai, nei kitai alternatyvai. Intuicionistinėje logikoje disjunkcija \(A \lor B\) reikalauja įrodymo bent vienam iš narių. 3. Filosofijoje: Intuicionistinis požiūris atsispindi L. E. J. Brouwer darbuose, kurie teigė, kad matematika yra proto veikla, o ne abstrakti struktūra, egzistuojanti nepriklausomai nuo žmogaus. Pavyzdžiui, begalinės aibės intuicionistui yra tik kaip procesai, o ne baigtiniai objektai. Trumpai: Intuicionistinis požiūris pabrėžia konstruktyvumą ir įrodymų reikšmę, atsisakydamas klasikinių logikos principų, kurie remiasi abstrakčia „tikrove“ be galimybės ją sukonstruoti.
	Išsaugoti

Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.