Mi formalizmus
Nagy Szovjet Enciklopédia (BES)
Helyesírási szótár Lopatin
formal`izm, formal`izm, s
FORMAL'IZM, -a férje.
1. Megfelelés külső formája, amit Mr. kárára érdemben. Bürokratikus f.
2. A művészeti, esztétikai és egyéb humán: közös neve az irány, amely így az elsődleges fontosságú alkotják a külső kifejezést. F. irodalomkritika.
mn. formalista, -s, -s és formalista, -s, -s.
FORMAL'IZM, formalizmus, sokan mások. Nem · férje.
1. Elkötelezettség a külső betartását alaki kárára érdemi szigorúan formális kapcsolata semmit. Bürokratikus formalizmus. Túlzott formalizmus a munkában.
2. Az irányt (a művészeti, művészettörténeti, irodalmi kritika és más tudományok), egy idealista rip az űrlap tartalmát, elmélet és gyakorlat, amely csökkenti a valóságot, hogy az absztrakt formák és minták (Scientific.). A terrorizmus elleni formalizmus. Formalizmus történeti tudomány. Formalizmus a matematikában.
Értelmező szótár Ephraim
[Formalizmus]
1. m.
1) Elkötelezettség ahhoz, hogy a külső alaki kárára érdemben.
2) folyamatos megfelelés a külső formái az élet.
2. m.
Az az irány, művészet, művészettörténet, irodalomkritika, stb amelynek tagjai hajlamosak a szétválásra formában tartalom és így formában, vagy annak egyes elemei elsődleges fontosságú.
Szociológiai Entsiklopedichechky szótár
Formalizmus - angolul. formalizmus azt. Formalismus. Megfelelés 1. A külső formája rovására érdemben. 2. A filozófia - jellemző különböző típusú idealizmus szétválasztása formáját és tartalmát. 3. Művészet és irány a XIX-XX században. állítja, hogy a nyilvánosságra hozatal törvényei fejlődésének szakterületen tanulmányozása révén szerkezete és attól az absztrakt „formája az elmélet.” 4. A kísérleti trendek a modern művészet XIX-XX században. (Kubista, futurizmushoz, szürrealizmus és mtsai.). 5. Az az irány, a matematika, a problémamegoldó görcsös matematika alapjait formális axiomatikus építése. 6. A vallás, a művészet, az élet - elkötelezettség és a szigorú ragaszkodás a szabályozás vagy gyakorlat eredő viselkedési formák, a kommunikáció és tevékenységek.
Filozófiai Encyclopedic szótár
Filozófiai Encyclopedic szótár 2
II
A logika és a matematika, az egyik a DOS. trendek matematika és a logika alapján beterjesztett Ch. A probléma, hogy alátámassza ezek a tudományágak építeni őket formájában becslések média-stvami akció. elmélet (névadója az alapító a formalizmus Hilbert metamatematika vagy igazolást elmélet).
Gilbert kidolgozott 1922-1939 metamatematich programot. a matematika alapjait (logikai) nyilvánította a lehetősége, hogy „mentés” minden klasszikus. matek, t. e. matematika, épül alapján halmazelmélet Cantor, feltétel nélkül örvend absztrakció tényleges végtelenben és az egész arzenálját deduktív eszközök tradicionális. logika. Hubert terv hiányában a paradoxonok a kiválasztott siste.me axiómák halmazelmélet lehetne biztosítani, hogy a meta-nyelv, amely elvégzi a bizonyítéka annak következetesség tartalmazna csak véges, végére (ha nem alkalmazzák a koncepció a „tényleges végtelen”) és kifejező deduktív úton teljesen kifogástalan szempontjából a világosság és meggyőző erejét.
Metamatematich. Hilbert programja, melynek során ő maga és az iskolai (P. Bernays, W. Ackermann, G. Gentzen, és mások.) Kaptunk számos fontos eredmények (lásd. Konzisztencia, teljesség), kritizálták a mások által. Irányai a matematika alapjait elsősorban intuitionism (lásd. még Logicism). Ugyanakkor az alapvető felfedezése Gödel (1931), amely létrehozta az összeférhetetlenségét a követelmények következetesség és a teljesség igen gazdag (t. Sp., Expresszív és deduktív módon) logikai-matematikai számítások azt mutatták, az alapvető korlátja a fogalom F.
Azonban metamatematich. elvek, együtt a gondolatok mások, és a berendezés. irányok (pl. építő irány) használnak a fejlesztés az elmélet a bizonyítékok problémák (pl. Amer. logikus G. Kreisel közelében baglyok. logikusok).
Lásd. Még axiomatikus módszer, Metaelmélet.
Gilbert D. Bernays P. Foundations of Mathematics, Princeton Univ. vele. t 1, M. 1979 .; Kpayzel D. kutatás elmélete bizonyítékok per. az angol. M. 1981.