"Доказательства и опровержения"
Есть очень важная книга для всякого, изучающего математику и логику (математическую и философскую). Ее написал выдающийся математик и философ 20 века Имре Лакатос (Лакатош):
Доказательства и опровержения. Как доказываются теоремы..
Одна из основных педагогических идей этой книги - различие ТЕОРЕМЫ и ее ДОКАЗАТЕЛЬСТВ. Далеко не все понимают, что верная теорема может иметь неограниченно много неверных доказательств; что из неверных доказательств вытекают, наряду с доказываемой теоремой, многие другие (неверные) следствия.
К чему я веду? Есть теорема: государство Израиль имеет право на существование и безопасность. Среди рассуждений, являющихся аргументами в поддержку этой теоремы, подавляющее большинство неверны независимо от ее истинности (хотя правильный вывод может быть выведен из них ЛОГИЧЕСКИ КОРРЕКТНО). ( Collapse )
Я надеюсь, мне удалось прояснить мою позицию - коротко говоря, она сводится к "читайте хорошие книжки по логике":-)
Доказательства и опровержения. Как доказываются теоремы..
Одна из основных педагогических идей этой книги - различие ТЕОРЕМЫ и ее ДОКАЗАТЕЛЬСТВ. Далеко не все понимают, что верная теорема может иметь неограниченно много неверных доказательств; что из неверных доказательств вытекают, наряду с доказываемой теоремой, многие другие (неверные) следствия.
К чему я веду? Есть теорема: государство Израиль имеет право на существование и безопасность. Среди рассуждений, являющихся аргументами в поддержку этой теоремы, подавляющее большинство неверны независимо от ее истинности (хотя правильный вывод может быть выведен из них ЛОГИЧЕСКИ КОРРЕКТНО). ( Collapse )
Я надеюсь, мне удалось прояснить мою позицию - коротко говоря, она сводится к "читайте хорошие книжки по логике":-)