О математической логике и философии математики
Ивс Г., Ньюсом К.В.
Научно-популярное издание, содержащее изложение основ символической логики, исчисления высказываний, краткое описание других логических систем (неаристотелевой логики, многозначной логики), изложение сути «кризиса оснований математики», подходы логицизма, интуиционизма и формализма к его преодолению, заканчивая упоминанием теоремы Гёделя. В приложении имеется небольшая подборка задач.
Для начального ознакомления с проблемой оснований математики и математической логикой.
Для начального ознакомления с проблемой оснований математики и математической логикой.
İl:
1968
Nəşriyyat:
Знание
Dil:
russian
Səhifələr:
50
Seriyalar:
Новое в жизни, науке, технике. Серия «Математика, кибернетика» 1968 № 07
Fayl:
DJVU, 2.47 MB
IPFS:
,
russian, 1968