В 1970-х годах покойный математик Пол Коэн, единственный человек, когда-либо удостоившийся медали Филдса за работу в области математической логики, как сообщается, сделал масштабное предсказание, которое продолжает волновать и раздражать математиков - что «в каком-то неопределенном будущем математики будут заменены компьютерами ». Коэн, прославившийся своими смелыми методами теории множеств, предсказал, что всю математику можно автоматизировать, включая написание доказательств. Доказательство - это...

Для чего необходимо изучать логику? Логику необходимо изучать для: а) нахождения и выделения главного в изучаемом материале; б) нахождения взаимосвязей элементов изучаемого и понимание их движения: простого в сложное, неразвитого в развитое. в) для стройного и последовательного изложения мысли в устной или письменной форме. г) для развития способности обосновывать свои рассуждения. Изучение логики повышает культуру мышления - правильное отражение реальности и взаимосвязей...