метод трансфинитной индукции
11ВЕРОЯТНОСТНАЯ ЛОГИКА — логическая система, в которой высказываниям соответствует непрерывная шкала значений истинности от 0 до 1, причем нуль приписывается высказыванию о невозможном событии, а 1 практически достоверному. В.л. формально можно рассматривать как… …
12КОНСТРУКТИВНАЯ СЕМАНТИКА — совокупность способов понимания суждений в конструктивной математике. Необходимость в особой семантике вызвана различием общих принципов, лежащих в основе традиционной (классической) и конструктивной математики (далее последний термин будет в… …
13индукция — ИНДУКЦИЯ (от лат. inductio выведение; возбуждение) этот термин в современной логике используется как синоним более точного, но более громоздкого, термина «индуктивное рассуждение». Индуктивное рассуждение содержит переход от эмпирически… …
- 1
- 2
