https://wiki.unissula.ac.id/index.php?action=history&feed=atom&title=MetamatematikaMetamatematika - Riwayat revisi2026-09-17T12:06:29ZRiwayat revisi halaman ini di wikiMediaWiki 1.46.0https://wiki.unissula.ac.id/index.php?title=Metamatematika&diff=9744&oldid=prevMaintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi2026-08-25T08:56:32Z<p>Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi</p>
<table style="background-color: #fff; color: #202122;" data-mw-interface="">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="id">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Revisi sebelumnya</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisi per 25 Agustus 2026 08.56</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Baris 1:</td>
<td colspan="2" class="diff-lineno">Baris 1:</td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>'''Metamatematika''' adalah studi matematika yang menggunakan metode matematika dalam studi ini akan menghasilkan [[metateori]] yang memperlajari teori-teori matematika tentang teori-teori matematika lainnya. [[Metateorema]] atau dalil dari Metamatematika adalah mengenai matematika itu sendiri, pada awalnya dibedakan dari teorema matematika biasa pada abad ke-19, untuk berfokus pada apa yang kemudian disebut [[Krisis mendasar matematika|foundational crisis of mathematics]] dalam [[Paradoks Richard]] <del style="font-weight: bold; text-decoration: none;"> </del>(Richard 1905) mengenai beberapa 'definisi' dari bilangan nyata dalam bahasa Inggris adalah contoh dari jenis kontradiksi-kontradiksi yang dapat dengan mudah terjadi jika salah satu gagal untuk membedakan antara matematika dan metamatematika.</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>'''Metamatematika''' adalah studi matematika yang menggunakan metode matematika dalam studi ini akan menghasilkan [[metateori]] yang memperlajari teori-teori matematika tentang teori-teori matematika lainnya. [[Metateorema]] atau dalil dari Metamatematika adalah mengenai matematika itu sendiri, pada awalnya dibedakan dari teorema matematika biasa pada abad ke-19, untuk berfokus pada apa yang kemudian disebut [[Krisis mendasar matematika|foundational crisis of mathematics]] dalam [[Paradoks Richard]] <ins style="font-weight: bold; text-decoration: none;"><ref>[http://plato.stanford.edu/entries/paradoxes-contemporary-logic/ Paradoxes and contemporary logic]</ref> </ins>(Richard 1905) mengenai beberapa 'definisi' dari bilangan nyata dalam bahasa Inggris adalah contoh dari jenis kontradiksi-kontradiksi yang dapat dengan mudah terjadi jika salah satu gagal untuk membedakan antara matematika dan metamatematika.</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Istilah "metamatematika" kadang-kadang digunakan sebagai sinonim untuk beberapa bagian dasar [[logika formal]] yang termasuk [[logika proposisional]] dan [[logika predikatif]].</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Istilah "metamatematika" kadang-kadang digunakan sebagai sinonim untuk beberapa bagian dasar [[logika formal]] yang termasuk [[logika proposisional]] dan [[logika predikatif]].</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l8">Baris 8:</td>
<td colspan="2" class="diff-lineno">Baris 8:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Filsafat matematika]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Filsafat matematika]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Teori bukti]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Teori bukti]]</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">== Referensi ==</del></div></td><td colspan="2" class="diff-side-added"></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2" class="diff-side-added"></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Pranala luar ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Pranala luar ==</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* W. J. Blok and Don Pigozzi, "Alfred Tarski's Work on General Metamathematics", ''The Journal of Symbolic Logic'', v. 53, No. 1 (Mar., 1988), pp. 36–50.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* W. J. Blok and Don Pigozzi, "Alfred Tarski's Work on General Metamathematics", ''The Journal of Symbolic Logic'', v. 53, No. 1 (Mar., 1988), pp. 36–50.</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l18">Baris 18:</td>
<td colspan="2" class="diff-lineno">Baris 16:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Alfred Whitehead]], and [[Bertrand Russell]]. ''[[Principia Mathematica]]'', 3 vols, Cambridge University Press, 1910, 1912, and 1913. Second edition, 1925 (Vol. 1), 1927 (Vols 2, 3). Abridged as ''Principia Mathematica to *56'', Cambridge University Press, 1962.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[Alfred Whitehead]], and [[Bertrand Russell]]. ''[[Principia Mathematica]]'', 3 vols, Cambridge University Press, 1910, 1912, and 1913. Second edition, 1925 (Vol. 1), 1927 (Vols 2, 3). Abridged as ''Principia Mathematica to *56'', Cambridge University Press, 1962.</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">== Referensi ==</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><references /></ins></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Sumber dan atribusi ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Sumber dan atribusi ==</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Metamatematika&oldid=28045133 Wikipedia bahasa Indonesia], revisi 28045133 (2025-10-17T02:23:31Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Metamatematika&oldid=28045133 Wikipedia bahasa Indonesia], revisi 28045133 (2025-10-17T02:23:31Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.</div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><!-- WIKI_UNISSULA_PRESENTATION_V4 --></ins></div></td></tr>
</table>Maintenance scripthttps://wiki.unissula.ac.id/index.php?title=Metamatematika&diff=9344&oldid=prevMaintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28045133; atribusi sumber disertakan.2026-08-25T08:18:08Z<p>Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28045133; atribusi sumber disertakan.</p>
<p><b>Halaman baru</b></p><div>'''Metamatematika''' adalah studi matematika yang menggunakan metode matematika dalam studi ini akan menghasilkan [[metateori]] yang memperlajari teori-teori matematika tentang teori-teori matematika lainnya. [[Metateorema]] atau dalil dari Metamatematika adalah mengenai matematika itu sendiri, pada awalnya dibedakan dari teorema matematika biasa pada abad ke-19, untuk berfokus pada apa yang kemudian disebut [[Krisis mendasar matematika|foundational crisis of mathematics]] dalam [[Paradoks Richard]] (Richard 1905) mengenai beberapa 'definisi' dari bilangan nyata dalam bahasa Inggris adalah contoh dari jenis kontradiksi-kontradiksi yang dapat dengan mudah terjadi jika salah satu gagal untuk membedakan antara matematika dan metamatematika.<br />
<br />
Istilah "metamatematika" kadang-kadang digunakan sebagai sinonim untuk beberapa bagian dasar [[logika formal]] yang termasuk [[logika proposisional]] dan [[logika predikatif]].<br />
<br />
== Lihat pula ==<br />
* [[Meta-]]<br />
* [[Teori model]]<br />
* [[Filsafat matematika]]<br />
* [[Teori bukti]]<br />
== Referensi ==<br />
<br />
== Pranala luar ==<br />
* W. J. Blok and Don Pigozzi, "Alfred Tarski's Work on General Metamathematics", ''The Journal of Symbolic Logic'', v. 53, No. 1 (Mar., 1988), pp. 36–50.<br />
* I. J. Good. "A Note on Richard's Paradox". ''Mind'', New Series, Vol. 75, No. 299 (Jul., 1966), p. 431. [http://www.jstor.org/stable/2251836 JStor]<br />
* [[Douglas Hofstadter]], 1980. ''[[Gödel, Escher, Bach]]''. Vintage Books. Aimed at laypeople.<br />
* [[Stephen Cole Kleene]], 1952. ''Introduction to Metamathematics''. North Holland. Aimed at mathematicians.<br />
* Jules Richard, ''Les Principes des Mathématiques et le Problème des Ensembles'', ''Revue Générale des Sciences Pures et Appliquées'' (1905); translated in Heijenoort J. van (ed.), ''Source Book in Mathematical Logic 1879-1931'' (Cambridge, Mass., 1964).<br />
* [[Alfred Whitehead]], and [[Bertrand Russell]]. ''[[Principia Mathematica]]'', 3 vols, Cambridge University Press, 1910, 1912, and 1913. Second edition, 1925 (Vol. 1), 1927 (Vols 2, 3). Abridged as ''Principia Mathematica to *56'', Cambridge University Press, 1962.<br />
<br />
<br />
<br />
== Sumber dan atribusi ==<br />
<br />
Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Metamatematika&oldid=28045133 Wikipedia bahasa Indonesia], revisi 28045133 (2025-10-17T02:23:31Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.</div>Maintenance script