Вопрос залу

[sanin]

Есть у нас тут кто-нибудь, кто в состоянии внятно и прямо сейчас поговорить со мной про то, чем, в применении к математике, интуиционизм отличается от формализма? Лучше по телефону или Скайпу. Ну вдруг. Или дать ссылку на короткий и (опять же) внятный для непрофессионала текст по теме, - по-русски или по-английски. М?