Finiter
 | Artikel atau sebagian dari artikel ini mungkin diterjemahkan dari Finitary di en.wikipedia.org. Isinya masih belum akurat, karena bagian yang diterjemahkan masih perlu diperhalus dan disempurnakan. Jika Anda menguasai bahasa aslinya, harap pertimbangkan untuk menelusuri referensinya dan menyempurnakan terjemahan ini. Anda juga dapat ikut bergotong royong pada ProyekWiki Perbaikan Terjemahan. (Pesan ini dapat dihapus jika terjemahan dirasa sudah cukup tepat. Lihat pula: panduan penerjemahan artikel) |
 | Artikel ini membutuhkan rujukan tambahan agar kualitasnya dapat dipastikan. (Februari 2021) |
Dalam matematika dan logika, operasi adalah finiter jika ariti hingga, yaitu jika memiliki jumlah nilai input yang terbatas. Demikian pula, infiniter Operasi adalah operasi dengan bilangan tak hingga dari nilai masukan.
Dalam matematika standar, operasi adalah finiter menurut definisi. Oleh karena itu istilah-istilah ini biasanya hanya digunakan dalam konteks logika tak hingga.
Argumen finiter
Argumen finiter adalah salah satu translasi menjadi himpunan hingga proposisi simbolis mulai dari yang terbatas[1] set aksioma s. Dengan kata lain, ini adalah bukti (termasuk semua asumsi) yang dituliskan pada selembar kertas yang cukup besar.
Sebaliknya, logika tak hingga mempelajari logika yang memungkinkan pernyataan dan bukti. Dalam logika seperti itu, menganggap pembilang eksistensial, misalnya, sebagai turunan dari disjungsi tak hingga.
Sejarah
Logikawan di awal abad ke-20 bertujuan untuk memecahkan masalah dasar, seperti, "Apa dasar matematika yang sebenarnya?" Program ini mampu menulis ulang semua matematika menggunakan bahasa yang sepenuhnya sintaksis tanpa semantik. Dalam kata-kata David Hilbert (mengacu pada geometri), "tidak masalah jika kita menyebutnya kursi, meja dan cangkir bir atau poin, garis dan bidang."
Penekanan pada keterbatasan berasal dari gagasan bahwa pemikiran matematis manusia didasarkan pada sejumlah prinsip yang terbatas Templat:Proveit dan semua alasan pada dasarnya mengikuti satu aturan: modus ponens. Proyeknya adalah untuk memperbaiki jumlah simbol yang terbatas (pada dasarnya angka 1, 2, 3, ... huruf alfabet dan beberapa simbol khusus seperti "+", "⇒", "(" , ")", dll.), memberikan sejumlah proposisi terbatas yang diekspresikan dalam simbol-simbol itu, yang akan diambil sebagai "fondasi" (aksioma), dan beberapa kaidah inferensi yang akan memodelkan cara manusia.
Catatan
- ^ Jumlah aksioma yang direferensikan dalam argumen pasti akan terbatas karena buktinya terbatas, tetapi jumlah aksioma yang dipilih ini tidak terbatas jika sistem memiliki skema aksioma , misalnya skema aksioma kalkulus proposisional.
Pranala luar
Content Disclaimer
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.
- The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
- There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
- It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
- Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
- Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.