KONSTRUKTIV MANTIQ (lot. constructo — tuzish, qurish, yasash) — matematik mantiqdagi yoʻnalish. Asoschilari: L. Brauer, G. Veyl, A. Geyting va b. Chekli koʻp obyektlarga mansub boʻlgan prinsiplarni cheksiz koʻp obyektlarga qoʻllashni inkor etadi (mas, butunning qismdan kattaligi haqidagi qoida). Cheksizlik tushunchasi klassik (anʼanaviy) mantiq va Konstruktiv mantiqda turlicha talqin etiladi. Klassik mantiq cheksizlikni tugal mavjud deb, Konstruktiv mantiq esa nooshkor shakllanayotgan deb qaraydi. Konstruktiv mantiq uchun obyektlar va umuman mantiqiy matematik nazariyalarni induktiv tuzish (konstruksiyalash) xarakterli. Ayrim olimlar Konstruktiv mantiq prinsiplariga asoslanib, hoz. zamon matematik mantiq va mat. ning asosiy natijalarini qayta koʻrib chiqishga urinmoqdalar.
0 0 голоса
Рейтинг статьи
Подписаться
Войти через
авторизуйтесь
Я разрешаю создать мне учетную запись
Когда вы первый раз заходите с помощью соцсетей, мы получаем публичную информацию из вашей учетной записи, предоставляемой провайдером услуги соцсети в рамках ваших настроек конфиденциальности. Мы также автоматически получаем ваш e-mail адрес для создания вашей учетной записи на нашем веб сайте. Когда она будет создана, вы будете авторизованы под этой учетной записью.
Не согласенСогласен
Войти через
Я разрешаю создать мне учетную запись
Когда вы первый раз заходите с помощью соцсетей, мы получаем публичную информацию из вашей учетной записи, предоставляемой провайдером услуги соцсети в рамках ваших настроек конфиденциальности. Мы также автоматически получаем ваш e-mail адрес для создания вашей учетной записи на нашем веб сайте. Когда она будет создана, вы будете авторизованы под этой учетной записью.
Не согласенСогласен
0 комментариев
Межтекстовые Отзывы
Посмотреть все комментарии