Teorema adalah kata yang berasal dari bahasa Yunani yang a proposisi yang menunjukkan kebenaran untuk bidang ilmu tertentu, yang memiliki kekhususan yang dapat dibuktikan dengan menggunakan proposisi lain yang ditunjukkan sebelumnya, yang disebut aksioma. Khas teorema mendukung ilmu yang disebut 'tepat’, terutama 'formal' (matematika, logika), yaitu elemen yang menggunakan elemen ideal untuk menarik kesimpulan umum.
Pemikiran di balik konsep teorema adalah, selama ini didasarkan pada proposisi benar yang diartikulasikan secara logis dan benar, apa yang diungkapkan teorema adalah kebenaran validitas absolut. Justru inilah yang memungkinkan mereka menjadi pendukung bagi perkembangan teori ilmiah apapun, tanpa perlu membuktikannya lagi.
Kualitas utama teorema adalah karakternya logis. Secara umum, dan sekali lagi dibandingkan dengan jenis pengetahuan ilmiah lain (seperti yang dihasilkan melalui inferensi atau observasi), asalnya adalah dari pelaksanaan prosedur logis yang dapat dengan mudah disusun. Dalam pengertian ini, teorema dimulai dari a hipotesis fundamental, yang ingin Anda tunjukkan; sebuah tesis, yaitu demonstrasi, dan akibat wajarnya, yaitu file kesimpulan yang tercapai setelah demonstrasi selesai.
Seperti yang dikatakan, ide utama teorema adalah pertanyaan kelayakan konstan dan kemungkinan ditandatangani dan diterima lagi setiap saat. Namun, jika satu situasi muncul di mana dalil kehilangan universalitasnya, dalil itu segera berhenti berlaku.
Konsep teorema telah diambil oleh ilmu lainnya (ekonomi, psikologi atau ilmu politik, antara lain) untuk menunjuk konsep penting atau dasar tertentu yang mengatur bidang tersebut, bahkan ketika ini tidak muncul melalui prosedur yang dijelaskan. Dalam kasus ini, aksioma tidak digunakan melainkan kesimpulan yang dibuat oleh prosedur seperti observasi atau bahkan pengambilan sampel statistik.
Daftar berikut mengumpulkan contoh teorema dan deskripsi singkat tentang apa yang didalilkan:
- teorema Pythagoras: hubungan antara ukuran hipotenusa dan kaki, dalam kasus segitiga siku-siku.
- Teorema bilangan prima: Seiring dengan bertambahnya garis bilangan, akan semakin sedikit nomor dari grup itu.
- Teorema binomial: rumus untuk memecahkan pangkat binomial (penambahan atau pengurangan elemen).
- Teorema Frobenius: memecahkan rumus untuk sistem persamaan linier.
- Teorema Thales: karakteristik dalam hal sudut dan sisi segitiga serupa, dan sifat lain dari mereka.
- Teorema Euler: jumlah simpul ditambah jumlah wajah sama dengan jumlah sisi ditambah 2.
- Teorema Ptolemeus: Jumlah produk dari diagonal sama dengan jumlah produk sisi berlawanan.
- Teorema Cauchy-Hadamard: Pembentukan jari-jari konvergensi serangkaian pangkat yang mendekati fungsi di sekitar titik.
- Teorema Rolle: Dalam interval yang mengevaluasi ekstrem dalam fungsi yang dapat dibedakan adalah sama, akan selalu ada titik di mana turunannya menghilang.
- Teorema nilai rata-rata: Jika suatu fungsi kontinu dan dapat dibedakan selama suatu interval, akan ada titik dalam interval tersebut di mana garis singgung akan sejajar dengan garis potong.
- Teorema Cauchy Dini: Kondisi untuk penghitungan turunan dalam kasus fungsi implisit.
- Teorema kalkulus: Turunan dan integrasi suatu fungsi adalah operasi terbalik.
- Teorema aritmatika: Setiap bilangan bulat positif dapat direpresentasikan sebagai hasil kali dari faktor prima.
- Teorema Bayes (statistik): Metode untuk mendapatkan probabilitas bersyarat.
- Teorema jaring laba-laba (ekonomi): Teorema yang menjelaskan pembentukan produk yang dibuat berdasarkan harga sebelumnya.
- Teorema Marshall Lerner (ekonomi): Analisis dampak devaluasi mata uang dalam hal kuantitas dan harga.
- Teorema Coase (ekonomi): Solusi untuk kasus eksternalitas, cenderung ke arah deregulasi.
- Teorema pemilih median (ilmu politik): Sistem pemilihan mayoritas cenderung mendukung perolehan suara median.
- Teorema Baglini (ilmu politik, Argentina): Politisi cenderung membawa proposalnya lebih dekat ke tengah ketika dia mendekati posisi kekuasaan.
- Teorema Thomas (sosiologi): Jika orang mendefinisikan situasi sebagai nyata, mereka menjadi nyata dalam konsekuensinya.
