О математической логике и философии математики
Ивс Г., Ньюсом К.В.
Научно-популярное издание, содержащее изложение основ символической логики, исчисления высказываний, краткое описание других логических систем (неаристотелевой логики, многозначной логики), изложение сути «кризиса оснований математики», подходы логицизма, интуиционизма и формализма к его преодолению, заканчивая упоминанием теоремы Гёделя. В приложении имеется небольшая подборка задач.
Для начального ознакомления с проблемой оснований математики и математической логикой.
Для начального ознакомления с проблемой оснований математики и математической логикой.
Tahun:
1968
Penerbit:
Знание
Bahasa:
russian
Halaman:
50
Nama seri:
Новое в жизни, науке, технике. Серия «Математика, кибернетика» 1968 № 07
File:
DJVU, 2.47 MB
IPFS:
,
russian, 1968