Biçimselcilik ile Sezgicilik

Özet

Biçimselcilik matematiği biçimsel sistem oyunu İLE sezgicilik matematiği zihinsel inşa olarak görür. Biçimselcilik Hilbert programı İLE sezgicilik Brouwer yaklaşımıdır. Biçimselcilik semboller İLE sezgicilik yapılandırmacı kanıtlar ister.