Formalisme (filsafat matematika)
Formalisme adalah pandangan bahwa matematika hanya sekedar 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]