Formalisme (filsafat matematika)

Formalisme adalah pandangan bahwa matematika hanya sekadar rekayasa dari simbol-simbol berdasarkan suatu aturan tertentu sehingga menghasilkan suatu sistem pernyataan tautologis yang konsisten dan tidak mempunyai makna. Selain itu, matematika memberikan kemampuan penyelesaian masalah secara logis, kritis, sistematis dan kreatif.^[1] Tokoh utama aliran formalisme adalah David Hilbert.^[2]