Логика и математика

Логика - это наука правильно рассуждать, наука о формах и законах человеческого мышления. Ее основоположником считают древнегреческого математика Аристотеля. Именно он подверг анализу человеческое мышление, умозаключение.

В течение многих веков логика помогала математике стать строгой, последовательной наукой. Тесная взаимная связь между математикой и логикой привела к тому,что сама логика оказалась под влиянием математики.

Ведь все мы с вами хорошо понимаем, что человеческий разум может достигнуть истину лишь тогда, когда будет исходить из достоверных положений, плавно переходить от неизвестного (путем доказательства) к известному, от сложного к простому.

Математика - это точная наука. И она вся базируется на математических свойствах объекта. Причем доказательство должно опираться на ранее доказанных математических фактах.

Например, в геометрии остались не доказанные 10 фактов: аксиомы (пока не доказаны). И с вами принимаем их на веру.

А ведь логика - это построение четких цепочек причин и следствий.

И еще в математике есть дисциплина, которая называется математической логикой.

Но эта точная дисциплина широко используется в высшей математике.