Tétel - a
(Görög θεώρημα, honnan θεωρέω -. Figyelembe véve, kutatása) - Ezt az állítást nek-sok deduktív elmélet. A tartalom (informális) T., rendkívül durván zárható (gyakran - hallgatólagosan beleértett) azt jelenti, „közönséges logika”, és gyakran szemben a „nem igényel igazolást” (vett valódi fogva „nyilvánvalóságuk”) axiómák. Azonban, még ha a pontos listáját axiómák, és nem rögzített, a (teljes) igazolást az egyes T. még mindig tartott a különbséget parcellák korábban bizonyított T., axiómák; sőt az utóbbi állapota nem kifejezetten kikötik - ezt a célt is szolgálhat SUCCESSION közvetett érvelés használt érv, vagy akár az a tény, csend okairól, amely lehetővé teszi használatát a csomagot. Ilyen pl. karakter van TV a legtöbb oktató különböző témákban (neaksiomatizirovannoy) matematika.
Ha a fegyelem alapja axiomatikus. alapú (legalábbis a tartalmaznak. forma), a (nem-logikai) axiómák kifejezetten mint, például. a leírja a különböző szakaszok az absztrakt algebra vagy topológia, a nematematich. tudományágak - elméleti. mechanika és a termodinamika.
A formális axiomatikus. rendszerek (calculi) T. nevű. bizonyítható képletű azaz formula levezethető a szabályok szerint a kimenet a rendszer az axiómák. Ebben axióma elméletet is rangsorolva, mint T. (minden egyes ilyen igazolás T. áll egy általános képletű - a maga); ez teljesen természetes. megállapodást indokolt nem csupán induktív definíciója a bizonyítékok (lásd. szakasz Rekurzív és induktív definíciók szakterületen. A meghatározás), hanem az a tény, hogy az azonos osztályú bizonyítható képletek adható különböző axióma rendszert, és bizonyos esetekben, a kiválasztás konkrét képleteket ( fix hozam), mint axiómák diktálta tisztán techn. megfontolások, hogy a felszólalás SUCCESSION axiómák és (deduktívan) egyenértékű T. nagyon relatív.
Néha T. játszik kiegészítő. szerepét és szükségességét csak bizonyítani SUCCESSION T. egy úgynevezett. lemma; T. bizonyítéka-ryh egészen egyszerűen nyert hivatkozással más T nevű. következménye, hogy a rengeteg, és én vagyok, és a többi T. hiánya miatt bizonyossága olyan fogalmak, mint „segítő” és „csak” a „lemma” és a „hatás” is kissé önkényes, és ezek a nevek jelzik, nem annyira a természet T. magukat, de a stílus vagy szintjét a téma bemutatása.
Yu Gastev. Budapest.
Filozófiai Enciklopédia. Az 5 évf -. M. szovjet Encyclopedia. Szerkesztette FV Konstantinov. 1960-1970.
Nézze meg, mit „tétel” más szótárak:
Tétel - (görög theorema felől nézve theorein.). Javaslat, amelyek meg kell erősíteni; igazság megköveteli bizonyítékok, elsősorban a matematika. Idegen szavak szótára, amelyek szerepelnek a magyar nyelvet. Chudinov AN 1910. tétel ... ... idegen szavak szótára a magyar nyelv
Tétel - (. Görög theorema származó theoreo tekintve), ajánlatát matematika (jóváhagyás), állítható révén a bizonyítékot (szemben az axióma). Tétel általában egy állapot, és a következtetést. Pl. Tétel: Ha egy háromszög egyik ... ... kollégiumi szótár
Tétel - tétel, nyilatkozat vagy javaslat, amely bizonyítja logikai érvek tényeken alapuló, axiómák. cm., mint Fermat ... Tudományos és Technológiai enciklopédikus szótár
Tétel - tétel, tétel feleségek. (A görög. Theorema, leveleket. Látványtár) (Scientific.). A pozíció, amely által meghatározott az érvényességét a bizonyítékok alapján axiómák vagy más már bizonyított helyeken (mat.). Annak bizonyítására, a tétel. Pythagoras ... ... Ushakov magyarázó szótár
Tétel - "Tétel" (Teogema) Olaszország 1968 100 min. Filozófiai dráma. Talán az egyik legvitatottabb festmények a történelem a világ mozi. Hívta egymást kölcsönösen kizáró értelmezés, irányított támadások a bal és a jobb, osztott képviselői a Vatikán ... ... Encyclopedia of Film
Tétel - s, x. Logikáját követve Lotman megközelítés art ajánlhatók egy szerkezeti koncepciót erotemy tematikus egység eros (a kifejezés van kialakítva azonos francia utótagot megenni és egyéb jelei szerkezeti egységek nyelven :. Token, ... ... Szótörténeti a magyar nyelv Gallicisms
Tétel - (a görög theoreo tekintve), akció (jóváhagyás), állítható révén a bizonyítékot (szemben az axióma) ... Modern Enciklopédia
- Tétele ekvipartició. Dzhessi Rassel. Ez a könyv lesz összhangban a rendelését Technology Print-on-Demand technológiát. High Quality Content Wikipedia cikket! A klasszikus statisztikus mechanika, a tétel a ... Bővebben Vásárlás 1254 rubelt
- Green-tétel. Dzhessi Rassel. Ez a könyv lesz összhangban a rendelését Technology Print-on-Demand technológiát. High Quality Content Wikipedia cikket! Green-tétel közötti kapcsolat jön létre az ívelt ... Tovább Vásárlás 1125 rubelt
- A tétel a mágneses mező forgalomban. Dzhessi Rassel. Ez a könyv lesz összhangban a rendelését Technology Print-on-Demand technológiát. High Quality Content Wikipedia cikket! A tétel a forgalomban a mágneses mező - az egyik ... Tovább Vásárlás 1125 rubelt