Semua istilah ini saya peroleh dari wikipedia:
Teorema adalah sebuah pernyataan, sering dinyatakan dalam bahasa alami, yang dapat dibuktikan atas dasar asumsi yang dinyatakan secara eksplisit ataupun yang sebelumnya disetujui. Dalam logika, sebuah teorema adalah pernyataan dalam bahasa formal yang daat diturunkan dengan mengaplikasikan aturan inferensi dan aksioma dari sebuah sistem deduktif.
Teorema dari sejumlah fungsi memiliki nama lain:
- Identitas – digunakan untuk teorema yang menampakkan persamaan antara 2 pernyataan matematika.
- Lema – pra-teorema. Pernyataan yanproposisi yang diikuti dengan bukti yang sedikit atau tidak ada sama sekali dari sebuah teorema atau definisi lain. Yaitu, proposisi B adalah korolar proposisi A jika B bisa dideduksikan dari A.
- Proposisi – pernyataan yang tak dikaitkan dengan “teorema” apapun.
- Klaim – hasil menarik yang diperlukan atau bebas.
- Aturan – digunakan untuk teorema tertentu seperti aturan Bayes dan aturan Cramer, yang mendirikan formula yang berguna
Banyak matematikawan yang juga menggunakan nama lain untuk teorema, seperti postulat, sublema, dll.
Konjektur adalah sebuah proposisi yang dipradugakan sebagai hal yang nyata, benar, atau asli, sebagian besarnya didasarkan pada landasan inkonklusif (tanpa simpulan). Karl Popper merintis penggunaan istilah “konjektur” di dalam filsafat ilmu. Konjektur bertentangan dengan hipotesis (oleh karenanya bertentangan pula dengan teori, aksioma, atau prinsip), yang merupakan pernyataan yang mengandung perjanjian menurut landasan yang dapat diterima. Di dalam matematika, konjektur adalah proposisi yang tidak terbuktikan atau tidak memerlukan bukti atau juga teorema yang dianggap pasti benar adanya.
http://mathmagics.wordpress.com/mari-menulis-matematika/math-dictionary/
Tidak ada komentar:
Posting Komentar