Естествознание. Энциклопедический словарь - формализм
Формализм
формализм
направление в основаниях математики, объединившее идущую от Г. Фреге идею строгой формализации матем. рассуждений с абстрактным подходом к математике как неинтерпретированному исчислению (формальной системе) с целью доказательства её непротиворечивости. Основатель Д. Гильберт.
Естествознание. Энциклопедический словарь
.
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 386 | |
2 | 372 | |
3 | 370 | |
4 | 368 | |
5 | 354 | |
6 | 350 | |
7 | 345 | |
8 | 342 | |
9 | 335 | |
10 | 335 | |
11 | 331 | |
12 | 331 | |
13 | 322 | |
14 | 320 | |
15 | 319 | |
16 | 316 | |
17 | 316 | |
18 | 313 | |
19 | 305 | |
20 | 304 |