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. Tokoh utama aliran formalisme adalah David Hilbert.