Templat:Infobox mathematical statement/doc
Tampilan
Jenis | Teorema |
---|---|
Cabang | Topologi geometrik |
Pernyataan | Untuk setiap ruang terhubung sederhana, manifold-3 tertutup homeomorfik ke bola-3. |
Pertama kali diduga oleh | Henri Poincaré |
Pertama kali diduga pada | 1904 |
Pertama kali dibuktikan oleh | Grigori Perelman |
Pertama kali dibuktikan pada | 2006 |
Bagian dari | |
Masalah terbuka | Bukan |
Perumuman | Konjektur Poincaré rampat |
Cara memakai
[sunting sumber]Templat:Infobox mathematical statement adalah sebuah templat yang menghasilkan kotak info yang terletak di sebelah kanan, yang terdiri dari parameter yang spesifik. Cara memakai templat ini adalah dengan menyalin kode-kode di bawah ke artikel dan sesuaikan isinya:
{{Infobox mathematical statement | name = | image = | caption = | type = | field = | statement = | symbolic statement = | conjectured by = | conjecture date = | first stated by = | first stated in = | first proof by = | first proof date = | open problem = | known cases = | implied by = | equivalent to = | generalizations = | consequences = }}
Parameter
[sunting sumber]Semua parameter bersifat opsional.
name
- Dipakai untuk menyatakan nama pernyataan yang akan ditulis di atas kotak info, sebagai contoh:
Lema Zorn
, dsb. image
- Dipakai untuk meletakkan berkas gambar, sebagai contoh:
xxx.svg
. caption
- Dipakai untuk menjelaskan deskripsi singkat pada sebuah gambar.
type
- Jenis pernyataan untuk saat ini, seperti
Teorema
,Konjektur
,Lema
,Postulat
,Aksioma
. field
- Dipakai untuk menyatakan cabang matematika yang dimiliki suatu pernyataan, e.g.
Teori bilangan
,Geometri aljabar dan topologi aljabar
. statement
- Dipakai untuk menjelaskan pernyataan matematika dalam bentuk simbol
symbolic statement
- Dipakai untuk menjelaskan pernyataan
conjectured by
- Nama tokoh yang pertama kali mengajukan pernyataan.
conjecture date
- Tanggal ketika pernyataan diajukan untuk pertama kali.
first stated by
- Nama tokoh yang pertama kali mengajukan pernyataan (alternative to using the word "conjectured").
first stated in
- Tanggal ketika pernyataan diajukan untuk pertama kali (alternative to using the word "conjectured").
first proof by
- Nama tokoh yang pertama kali membuktikan pernyataan.
first proof date
- Tanggal ketika pernyataan dibuktikan pertama kali.
open problem
- Apakah masalah ini merupakan masalah terbuka? Ada beberapa pilihan:
Ya
atauBukan
, walaupun ini dapat ditulis jika ada masalah yang lebih spesifik (sebagai contoh,Hanya ada satu contoh yang terkenal
, etc.) known cases
- Kasus untuk pernyataan yang terkenal (sebagai contoh,
Untuk semua medan fungsi
atauUntuk semua r > 3
). implied by
- Pernyataan yang menyiratkan pernyataan saat ini.
equivalent to
- Pernyataan yang menyiratkan dan disiratkan oleh pernyataan saat ini.
generalizations
- Pernyataan yang diperumum ke pernyataan saat ini.
consequences
- Pernyataan yang disiratkan dengan pernyataan saat ini.
Lihat pula
[sunting sumber]