Логика и метаматематические исследования

С эпистемологической (эпистемология (греческий) - теория знания, наука о знании) точки зрения решение определенного класса задач определенным методом является свидетельством научности данного решения - эту мысль, в частности, развивает Томас Кун в работе "Структура научных революций" (1961). То есть, для того, чтобы считаться учёными, мы должны уметь решать задачи некоторого образца общераспространенными и общепризнанными на данный момент времени способами. Иными словами, для того, чтобы считаться сведующими в области теории множеств, математической логики и логики вообще, мы должны быть знакомы и уметь применять канторовский диагональный метод.

❤‍🔥7🤡2✍1❤1👍1💯1💘1

www.tgoop.com/logic_metamathematics/962

410 viewsApr 25 at 03:38

С эпистемологической (эпистемология (греческий) - теория знания, наука о знании) точки зрения решение определенного класса задач определенным методом является свидетельством научности данного решения - эту мысль, в частности, развивает Томас Кун в работе "Структура научных революций" (1961). То есть, для того, чтобы считаться учёными, мы должны уметь решать задачи некоторого образца общераспространенными и общепризнанными на данный момент времени способами. Иными словами, для того, чтобы считаться сведующими в области теории множеств, математической логики и логики вообще, мы должны быть знакомы и уметь применять канторовский диагональный метод.

BY Логика и метаматематические исследования