(Θεώρημα greacă, de la θεωρέω -. Având în vedere, cercetarea) - Această propunere NEK-o multime de teorie deductiv. Conținutul (informal) T. dovedit a fi foarte aproximativ blocabil (de multe ori - în mod tacit implicite) înseamnă „logica obișnuită“ și de multe ori, spre deosebire de „nu necesită dovada“ (luată ca fiind adevărată în virtutea faptului „evidenþã“) axiome. Cu toate acestea, chiar dacă lista exactă a axiome, și nu fix, (complet) dovada fiecărui T. a avut loc încă distincția parcelelor sa dovedit anterior T. și axiome; de fapt, ultima stare nu se poate prevedea în mod specific - acest obiectiv poate servi SUCESIUNE Raționamentul indirectă folosit argumentul sau chiar faptul de tăcere cu privire la motivele pentru care să permită utilizarea parcelei. O astfel de exemplu. caracter au un televizor în cele mai multe tutoriale pe diferite teme (neaksiomatizirovannoy) matematică.
Dacă disciplina se bazează pe axiomatică. pe bază (cel puțin în conține. forma), (versiunea non-logic) Axioms enumerate în mod explicit ca, de exemplu. în descrierea diferitelor secțiuni ale algebra abstractă sau topologie, de nematematich. discipline - teoretice. mecanică și termodinamică.
Axiomatica formală. sisteme (calculi) T. numit. formula demonstrabile adică Formula derivabile de regulile de ieșire a sistemului de axiome sale. In aceasta teorie axiomă de asemenea clasificate ca T. (fiecare astfel T. dovadă constă într-o singură formulă - de la sine); este destul de natural. un acord este justificată nu numai definiția inductivă a probelor (a se vedea. secțiunea definiții recursive și inductive art. Definiția), ci și prin faptul că aceeași clasă de formule demonstrabile pot fi date diferite sisteme Axiom, iar în unele cazuri, selecția de formule specifice ( teorie fixă) ca axiome dictat pur techn. considerații, astfel încât SUCCESIUNEA de opoziție axiome și (deductiv) T. echivalent este foarte relativă.
Uneori, T. joacă auxiliar. rolul și trebuie doar să dovedească SUCESIUNE T. un alt numit. leme; T. mărturie a-ryh pur și simplu obținute prin referire la alte T numit. un corolar la tone și eu m și alte T. Din cauza lipsei de certitudine a conceptelor, cum ar fi „ajutor“ și „doar“, termenul „Lema“ și „efect“ sunt, de asemenea, oarecum arbitrare, iar aceste nume nu indică atât de mult despre natura T. ei înșiși, ci despre stilul sau nivelul prezentării subiectului.
Yu Gastev. București.
Enciclopedia filozofică. Cele 5 Vols -. M. sovietice Enciclopedia. Editat de FV Konstantinov. 1960-1970.
Vezi ce „teoremei“ în alte dicționare:
Teorema - (Theorema greacă, privit din theorein.). Propunerea care urmează să fie confirmate; adevăr cere dovezi, mai ales în matematică. Dicționar de cuvinte străine, care sunt incluse în limba română. Chudinov AN Teorema 1910. ... ... Dicționar de cuvinte străine în limba română
Teorema -, oferta în matematică (aprobare), reglabil prin intermediul probelor (spre deosebire de axioma) (Theorema greacă din theoreo în considerare.). Teorema constă, de obicei, dintr-o condiție și concluzie. Ex. Teorema: Dacă într-un triunghi una ... ... Collegiate dicționar
Teorema - Teorema, declarație sau o propunere, care este dovedit prin argumente logice bazate pe fapte și axiome. cm. ca ultima teorema ... Știință și Tehnologie dicționar enciclopedic Fermat
Teorema - Teorema, nevestelor teorema. (Din limba greacă. Theorema, litere. Spectacle) (științific.). Poziția, care este determinată de valabilitatea probelor, bazată pe axiome sau în alte locații deja dovedite (mat.). Pentru a demonstra teorema. Pitagora ... ... Ushakov Dictionarul explicativ
Teorema - "Teorema" (Teogema) Italia 1968, 100 min. dramă filozofică. Poate unul dintre cele mai controversate picturi din istoria cinematografiei mondiale. Ea a numit reciproc interpretări exclusive, atacuri la stânga și dreapta îndreptate, divizat reprezentanții Vaticanului ... ... Enciclopedia de Film
Teorema - s, x. Urmând logica abordării Lotman a artei poate fi oferit ca un concept structural erotemy unități tematice ale erosului (termenul este format din același sufix francez mânca ca și alte semne de unități structurale de limbă :. Token, ... ... Dicționar istoric al limbii române Gallicisms
Teorema - (din theoreo greacă având în vedere), oferta (aprobare), reglabil prin intermediul probelor (spre deosebire de axioma) ... Encyclopedia modernă
- Teorema de echipartiției. Dzhessi Rassel. Această carte va fi făcută în conformitate cu comanda pe tehnologia de imprimare Tehnologie-on-Demand. Conținutul de calitate înaltă prin articole wikipedia! În mecanica statistică clasică, teorema de ... Citește mai mult Vand pentru 1254 de ruble
- Teorema lui Green. Dzhessi Rassel. Această carte va fi făcută în conformitate cu comanda pe tehnologia de imprimare Tehnologie-on-Demand. Conținutul de calitate înaltă prin articole wikipedia! Teorema lui Green stabilește o conexiune între curbat ... Read More Cumpără pentru 1.125 de ruble
- Teorema circulației câmpului magnetic. Dzhessi Rassel. Această carte va fi făcută în conformitate cu comanda pe tehnologia de imprimare Tehnologie-on-Demand. Conținutul de calitate înaltă prin articole wikipedia! Teorema privind circulația câmpului magnetic - unul din ... Citește mai mult Buy pentru 1.125 de ruble