ALIRAN

FORMALISME dan
INTUISIONISME
Mata kuliah : Filsafat Matematika
Dosen : Dr. Yusuf Fuad M.App.Sc.
Muhammad Jakfar,M.Si.

TOPIK 12
KELOMPOK 12

ANGGOTA KELOMPOK
1.Atiek Sulistyowati 16030214006
2.Dessy Kusumaningrum 16030214016
3.Dinda Ayu Wulandari 16030214026
ALIRAN dalam FILSAFAT
MATEMATIKA????
ALIRAN(MAZHAB)

ALIRAN LOGIKALISME

ALIRAN FORMALISME

ALIRAN INTUISIONISME

ALIRAN KONSTRUKTIVISME
 ALIRAN INTUISIONISME
INTUISIONISME

?
intuitio intuition intuisi
?
Sehingga.....

Statement matematika Menggunakan

Perasaan
Tidak tergantung pada
pengalaman
Gerak hati/ hati nurani
PENDAPAT PARA AHLI

Filsuf perancis modern yang beraliran

intuisionisme

Filsuf berasal dari

Belanda

Henry Bergson (1859-

1941)

tidak ada kebenaran tanpa dilakukan Luitzen Egbertus Jan Brouw

pembuktian (1881-1966)
Intuisionis dan Formalis tentang validitas
eksak

Intuisionis
 > Murid dari L.E.J Brouwer
> Menciptakan formula logika Intuisioisme yang
bernama Predikat Kalkulus Heyting

Arrend Heyting (1898-

1980)

Sir Michael Anthony Eardly

Dummett
(1925)
ALIRAN FORMALISME

Formalisme?
?
Forma Wujud
PANDANGAN-PANDANGAN POKOK DALAM FORMALISME