Posztulátum - ez
A „axióma”, továbbá, amelynek értéke:
- Perrin. amely nem igényel semmilyen bizonyíték
- jóváhagyás megtagadása igazság, amely tagadja az alapjait logikus gondolkodás
Axiomatizálása elméletek - egyértelmű megjelölése véges vagy megszámlálható. rekurzív felsorolás (például axiomatikus a Peano) axióma és következtetési szabályokat. Miután kapta a nevét, a vizsgált objektumok és az alapvető kapcsolatok és axiómák, hogy ezek a kapcsolatok követni kell a további kifejtését kell kizárólag a következő axiómák támaszkodás nélkül a szokásos beton értelmében ezek a tárgyak és azok kapcsolatait. Jóváhagyása alapján az axiómák nevezzük tételek. Egy formális szempontból az axiómák maguk között is a tételek.
Példák a különböző, de azonos axióma megtalálható a matematikai logika és a euklideszi geometria.
Egy sor axiómák hívják következetes. ha egy axióma, a logika szabályai, lehetetlen, hogy jöjjön egy ellentmondás, azaz egyaránt mutatnak bizonyos állítás és tagadás. Axiómák egyfajta „hivatkozási pont” (tények) az építési minden tudomány, miközben ők maguk nem bizonyított, és származhat közvetlenül empirikus megfigyelés (kísérlet).
Ez az első alkalom a „axióma” található Arisztotelész (384 -322 BC. E.), és költözött a matematika a filozófusok az ókori Görögország. Euclid megkülönbözteti a „posztulátum” és a „axióma”, anélkül, hogy elmagyarázza a különbségeket. Mivel az idő Boethiusz posztulátumok fordították követelmények (petitio) axiómák - általános fogalom. Eredetileg a „axióma” azt jelentette: „az igazság, magától értetődő.” A különböző kéziratokban Euclid partíció nyilatkozatok axiómák és posztulátumok más, nem ugyanaz, mint a sorrendben. Valószínűleg másolók voltak különböző nézetek közötti különbség ezek a fogalmak.
irodalom
- Eukleidész Elemek. Könyvek I-VI. M.-L. 1950
- Gilbert D. geometria alapjait. M.-L. 1948
Nézze meg, mi a „feltételezni” más szótárak:
Postulate - (lat. Tól postulare kérni, követelni). Pozíció kijelző, mint az igazság nem igényel igazolást, ami megjelenik valamilyen tudományos törvény. Idegen szavak szótára, amelyek szerepelnek az orosz nyelvet. Chudinov AN 1910. Postulate ... ... idegen szavak szótára orosz nyelv
Postulate - (lat postulatum Talap.) - pіkіrler változott қorytyndylar Zhasa ushin negіz bolatyn elv erezhe. Postulatty aksiomamen zhiі teңestіredі, bіraқ bұl dұrys Emesa: feltételeznünk қorytyndylar zhasauda kit қataldyқ Zhane bir syzyқty boluyna, logikalyқ deduktsiyanyң ... ... Filosofiyalyқ terminderdің sөzdіgі
Postulate - (a latin postulatum követelmény.), Position (ítélet, jóváhagyás), hozandó keretén l .. tudományos. elmélet igaz a nyilvánvaló, és így szerepet játszik ez az elmélet axiómák (együtt a axiómák logika). Ilyenek pl. Galilea ... ... Filozófiai Enciklopédia
Feltételezzük - nyilatkozat axiomatikus feltevést feltételezett helyzetét szótára orosz szinonimái. posztulátum főnév. száma szinonimák: 5 • axióma (3) • ... Szótára szinonimák
Postulate - feltételezik ♦ Postulat elv, amelyet telepíteni anélkül lehetőségei a show. Tól axiómák feltételezik más, kivéve, hogy egy kisebb részét a bizonyítékokat. Azonban az utóbbi időben a matematikusok nem volt hajlandó ilyen különbséget, amely a ... ... Filozófiai szótár Sponville
Postulate - (a latin postulatum követelmény), nyilatkozat (javaslat) érkezik egy tudományos elmélet igaz, de nem bizonyítható, és ez azt jelenti, és miért szerepét játssza axiómák ... Modern Enciklopédia
Postulate - (a latin postulatum követelmény.) 1) jóváhagyása (ítélet), hozandó keretében egy tudományos elmélet igaz, bár ez azt jelenti, bizonyíthatatlan, ezért szerepet játszik benne aksiomy.2) Közös nevet a axiómák és szabályok ... ... kollégiumi szótár
Posztulátum - (lat postulatum követelmény.) Az elv álláspontot, amely alapjául szolgál az értelmes következtetéseket és indoklást. Ezzel kapcsolatban az érvek, P. szabályozási aktusok azok végrehajtására, implicit módon, és tartózkodik ... ... Legújabb Filozófiai szótár
Postulate - posztulátum, a férje. (Lat. Postulatum követelmény) (portré).. Rendelkezés vagy elv, nem különbözik magától értetődő, de nem kapott bizonyíték az igazság, és ami alapján az építési valamiféle tudományos elmélet, feltételezés. ... ... Ushakov magyarázó szótár
Postulate - (. Lat postulare kereslet) kifejezés Kakva River logika és a matematika és a filozófia; megfelel aristotelevskomuaithma helyzetét jelző, melyet nem vitatott, értelmében hozott elméleti és gyakorlati ... ... Encyclopedia of Brockhaus és Efron