"matemaatikaprobleemist" - 1 õppematerjal

Loogika aine ja ajalugu

ning universaalsust. 2.5.2 Formalism: Hilbert Kahekümnenda sajandi esimese kolmandiku jooksul oli David Hilbert (1862-1943) Saksamaa ehk kõige mõjukam matemaatik. Muuhulgas loetakse tema teeneks funktsionaalanalüüsi rajamist. Matemaatika ja loogika arengut mõjutas tugevasti 1900. aasta matemaatikakongressil Hilberti poolt pakutud loetelu 23 peamisest senilahendamata matemaatikaprobleemist: osa nimetatud probleemidest on praegusajaks lahendatud, osa probleemide jaoks on näidatud, et Hilberti poolt ettekujutatud lahendust ei saagi olla, ning osa probleeme on siiani lahendamata. Loogikuna soovis Hilbert nagu logitsistidki formaliseerida matemaatika alused range aksiomaatikana, millest saaks siis tuletada kõik matemaatikateoreemid. Erinevalt logitsistidest väitis Hilbert, et matemaatilise mõtlemise objektideks on