Начала современного естествознания - теорема
Связанные словари
Теорема
теорема
(от греч. theorema — представление, зрелище, theoreo — рассматриваю) — утверждение, устанавливаемое при помощи доказательства (в противоположность аксиоме). Теорема обычно состоит из условий и заключения; научное положение.Начала современного естествознания. Тезаурус. — Ростов-на-Дону
В.Н. Савченко, В.П. Смагин
2006
.
Рейтинг статьи:
Комментарии:
См. в других словарях
1.
математическое утверждение, истинность к-рого установлена путем доказательства. Понятие Т. развивалось и уточнялось вместе с понятием математич. доказательства. При использовании аксиоматического метода Т. рассматриваемой теории определяются как высказывания, выводимые чисто ло-гич. путем из нек-рых заранее выбранных и фиксированных высказываний, называемых аксиомами. Поскольку аксиомы предполагаются истинными, то истинными должны быть и Т. Дальнейшее уточнение понятий доказательства и Т. связано с предпринятым в математич. логике исследованием понятия логического следствия, в результате чего для широкого класса математич. теорий процесс логич. вывода удалось свести к преобразованию формул, т. е. математич. утверждений, записанных на подходящем формализованном языке, по точно сформулированным правилам ( вывода правилам), относящимся лишь к форме (а не к содержанию) предложений. В возникающих таким образом формальных теориях доказательством наз. конечная последовательность формул, каждая из к-рых либо является аксиомой, либо получается из нек-рых предыдущих формул этой последовательности по одному из правил...Математическая энциклопедия
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 368 | |
2 | 328 | |
3 | 328 | |
4 | 326 | |
5 | 326 | |
6 | 318 | |
7 | 308 | |
8 | 308 | |
9 | 307 | |
10 | 307 | |
11 | 305 | |
12 | 300 | |
13 | 298 | |
14 | 294 | |
15 | 292 | |
16 | 291 | |
17 | 274 | |
18 | 269 | |
19 | 269 | |
20 | 266 |