Аксіёма: Розніца паміж версіямі
[недагледжаная версія] | [недагледжаная версія] |
Змесціва выдалена Змесціва дададзена
др r2.7.1) (робат Дадаем: hif:Axiom |
др removed Category:Логіка; added Category:Матэматычная логіка using HotCat |
||
Радок 6:
Прыклады розных, але раўнасільных набораў аксіём можна сустрэць у [[матэматычная логіка|матэматычнай логіцы]] і [[Еўклідава геаметрыя|еўклідавай геаметрыі]].
Набор аксіём завецца несупярэчлівым, калі з аксіём набору, карыстаючыся правіламі [[логіка|логікі]], нельга прыйсці да супярэчнасці. Аксіёмы
Упершыню тэрмін «аксіёма» сустракаецца ў [[Арыстоцель|Арыстоцеля]] ([[384 год да н. э.|384]]—[[322 год да н. э.|322 да н. э.]]) і перайшоў у [[матэматыка|матэматыку]] ад [[філосаф]]аў [[Старажытная Грэцыя|Старажытнай Грэцыі]]. [[Еўклід]] адрознівае паняцці «пастулат» і «аксіёма», не тлумачачы іх адрознення. З часоў Баэцыя пастулаты перакладаюць як патрабаванні (petitio), аксіёмы — як агульныя паняцці. Першапачаткова слова «аксіёма» мела значэнне «[[ісціна]], відавочная сама па сабе». У розных манускрыптах Пачаткаў Еўкліда разбіццё сцвярджэнняў на аксіёмы і пастулаты розна, не супадае іх парадак. Верагодна перапісчыкі прытрымваліся розных гледжанняў на адрозненне гэтых паняццяў.
Радок 22:
[[Катэгорыя:Навуковыя паняцці]]
[[Катэгорыя:
[[Катэгорыя:Вікіпедыя:Істотныя артыкулы]]
|