Список проголосовавших за комментарий "Тут еще хотелось бы отметить вот что. Логика — это, по сути, подраздел математики. Как, собственно, и теорвер с матстатистикой. Математика, вообще, не является естественно-научной дисциплиной; математика — фундаментальная наука, предоставляющая, по сути, язык описания. То есть и теорвер — это просто составная часть языка, на котором говорит наука. Говорить, что наука отрицает теорвер — это примерно то же самое, что утверждать, что русский язык отрицает сказуемые :) "