Словарь

Финитизм


Финитизм (от лат . finitus - определенный, законченный), логико-математическая концепция, согласно которой в метатеории допускаются лишь финитные (интуитивно ясные, бесспорные) средства рассуждений, проводимых в терминах обычного языка. См. также Формализм математический.






Другие определения из списка: