математическая формула
91Эйлер Л. — Леонард Эйлер Leonhard Euler Портрет 1756 года, выполненный Эмануэлем Хандманном Дата рождения: 4 (15) апреля 1707 Место рождения: Базель, Швейцария Дата смерти: 7 (18) сентября …
92ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому …
93Математика — I. Определение предмета математики, связь с другими науками и техникой. Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира. «Чистая …
94Формальная система — (формальная теория, аксиоматическая теория)  результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… …
95Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1]  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… …
96ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …
97Теория моделей — Теория моделей  раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория …
98Эйлер, Леонард — В Википедии есть статьи о других людях с такой фамилией, см. Эйлер. Леонард Эйлер Leonhard Euler …
99Логарифм — График двоичного логарифма Логарифм числа …
100МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И …
