6533b85bfe1ef96bd12baefe

RESEARCH PRODUCT

Matemātisko objektu interpretācija Brauvera filozofiskajā koncepcijā.

subject

description

Šai darbā aplūkoju matemātisko objektu interpretāciju Brauvera filozofiskajā koncepcijā. Mans uzdevums bija noskaidrot kā matemātiskos objektus interpretē intuicionisma filozofijā un saprast, kādas ir galvenās īpašības, kas atšķir matemātisko intuicionismu no citām matemātiskās filozofijas koncepcijām. Sava pētījuma gaitā es aplūkoju matemātiskā intuicionisma pamatelementus – divus intuicionisma aktus un to atstāto iespaidu uz klasisko loģiku. Atsevišķi es aplūkoju kontinuuma un bezgalības konceptus. Es vēlējos parādīt, ka intuicionisma filozofijas nozīmība skatāma arī plašāka kontekstā un tāpēc mana darba pēdējā nodaļā par patiesības un pierādāmības attiecībām es aplūkoju, kā Maikls Detlefsens mēģina aizstāvēt Deivida Hilberta programmu un kā Brauvera filozofiskās koncepcijas ietvaros aplūkotā Kurta Gēdela teorēma par nepilnību vēlreiz parāda, ka matemātika nav reducējama uz loģiku.