Ang isang teorama ay isang salita na nagmula sa Griyego na a panukala na nagpapahiwatig ng isang katotohanan para sa isang tiyak na larangan ng agham, na mayroong pagiging partikular ng pagiging demonstrable sa pamamagitan ng paggamit ng ibang dating ipinakitang mga panukala, na tinatawag na mga axioms. Karaniwan sinusuportahan ng mga teorya ang mga agham na tinatawag na 'eksakto’, lalo na ang 'pormal' (matematika, lohika), na kung saan ay ang mga gumagamit ng mga perpektong elemento upang makakuha ng pangkalahatang konklusyon.
Ang pag-iisip sa likod ng konsepto ng isang teorama ay iyon, hangga't ang mga ito ay itinatag sa tunay na mga panukala na nailahad nang lohikal at tama, kung ano ang ipinahahayag ng teorama ay isang katotohanan ng ganap na bisa.. Ito ang tiyak na nagpapahintulot sa kanila na maglingkod bilang isang suporta para sa pagpapaunlad ng anumang teoryang pang-agham, nang hindi na kailangang patunayan muli ito.
Ang sentral na kalidad ng mga teorya ay ang kanilang karakter ng lohikal. Sa pangkalahatan, at muli ihinahambing sa iba pang mga uri ng kaalamang pang-agham (tulad ng mga ginawa sa pamamagitan ng hinuha o pagmamasid), ang pinagmulan nito ay mula sa pagganap ng isang lohikal na pamamaraan na madaling maorder. Sa puntong ito, ang mga teorya ay nagsisimula sa a pangunahing hipotesis, na kung saan ay nais mong ipakita; isang sanaysay, na tiyak na ang pagpapakita, at isang corollary, na kung saan ay ang konklusyon naabot iyon sa sandaling ang demonstrasyon ay nakumpleto.
Tulad ng sinabi, ang pangunahing ideya ng mga theorems ay ang tanong ng pare-pareho ang pagiging posible at ang posibilidad ng pagiging counter at tatanggapin muli sa lahat ng oras. Gayunpaman, kung ang isang nag-iisang sitwasyon ay lumitaw kung saan nawala ang teorema ng pagiging pandaigdigan, agad na tumitigil na maging wasto ang teorama.
Ang konsepto ng teorama ay kinuha ng iba pang agham (ekonomiya, sikolohiya o agham pampulitika, bukod sa iba pa) upang italaga ang ilang mga mahahalagang konsepto ng pundasyon na namamahala sa mga larangang iyon, kahit na hindi ito lumitaw sa pamamagitan ng ipinaliwanag na pamamaraan. Sa mga kasong iyon, hindi ginagamit ang mga axiom, ngunit sa halip ay mga hinuha na ginawa ng mga pamamaraan tulad ng pagmamasid o kahit na statistic sampling.
Ang sumusunod na listahan ay nagtitipon ng mga halimbawa ng mga theorem at isang maikling paglalarawan ng kung ano ang inilalagay nito:
- Teorama ng Pythagoras: ugnayan sa pagitan ng sukat ng hypotenuse at ng mga binti, sa kaso ng mga tamang tatsulok.
- Teorema ng punong numero: Habang lumalaki ang linya ng numero, magkakaroon ng mas kaunti at mas kaunting mga numero mula sa pangkat na iyon.
- Teoryang binomial: pormula para sa paglutas ng mga kapangyarihan ng binomial (mga pagdaragdag o pagbabawas ng mga elemento).
- Frobenius theorem: paglutas ng pormula para sa mga sistema ng mga linear equation.
- Teorya ni Thales: mga katangian sa mga tuntunin ng mga anggulo at panig ng magkatulad na mga tatsulok, at iba pang mga katangian ng mga ito.
- Teorama ni Euler: ang bilang ng mga vertex plus ang bilang ng mga mukha ay katumbas ng bilang ng mga gilid plus 2.
- Teorema ni Ptolemy: Ang kabuuan ng mga produkto ng diagonals ay katumbas ng kabuuan ng mga produkto ng magkabilang panig.
- Cauchy-Hadamard theorem: Ang pagtataguyod ng radius ng tagpo ng isang serye ng mga kapangyarihan na humigit-kumulang sa isang pag-andar sa paligid ng isang punto.
- Teorema ni Rolle: Sa isang agwat na ang nasuri na labis sa isang pagkakaiba-iba na pag-andar ay pantay, magkakaroon palaging isang punto kung saan ang derivative vanishes.
- Rata ng teorya ng halaga: Kung ang isang pagpapaandar ay tuluy-tuloy at naiiba sa isang agwat, magkakaroon ng isang punto sa agwat na iyon kung saan ang tangent ay magiging parallel sa secant.
- Teorema ni Cauchy Dini: Mga kundisyon para sa pagkalkula ng mga derivatives sa kaso ng mga implicit na pag-andar.
- Calculus theorem: Ang derivasyon at pagsasama ng isang pagpapaandar ay pabaliktad na operasyon.
- Teoryang Aritmetika: Ang bawat positibong integer ay maaaring kinatawan bilang isang produkto ng pangunahing mga kadahilanan.
- Bayes theorem (istatistika): Paraan upang makakuha ng mga kondisyonal na posibilidad.
- Teorema ng Cobweb (ekonomiya): Teorya upang ipaliwanag ang pagbuo ng mga produkto na ginawa batay sa nakaraang presyo.
- Teorama ni Marshall Lerner (ekonomiya): Pagsusuri sa epekto ng isang pagpapabawas ng pera sa mga tuntunin ng dami at presyo.
- Coase theorem (economics): Solusyon para sa mga kaso ng panlabas na paggawi, na may kaugaliang sa deregulasyon.
- Median teorya ng botante (agham pampulitika): Ang sistemang karamihan sa halalan ay may kaugaliang pabor sa median na boto.
- Teorema ni Baglini (agham pampulitika, Argentina): Ang pulitiko ay may kaugaliang dalhin ang kanyang mga panukala patungo sa gitna kapag lumalapit siya sa mga posisyon ng kapangyarihan.
- Teorya ni Thomas (sosyolohiya): Kung tinukoy ng mga tao ang mga sitwasyon bilang totoo, magiging totoo sila sa kanilang mga kahihinatnan.
