ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Как известно, Лейбниц стремился создать универсальный исследовательский метод, пригодный для открытия истин в любой научной области. Главной составляющей метода мыслилась новая логика, более мощная, чем логика Аристотеля. С этой целью построения такой логики, Лейбниц изучал и сопоставлял особенности доказательств в математике и логике, анализировал и так называемые очевидные математические утверждения. В докладе приводится и комментируется доказательство и анализ Лейбницем «не требующего доказательства» факта: «Дважды два – четыре»