В данной статье мы поговорим о математической логике, разберем основные операции и ассоциируем их с реальным миром. Математическая логика — это раздел современной формальной логики, в котором логические...

Для современного физ-мат.обывателя "логическая история", о которой я хочу рассказать, началась в далеком 1900 году на 2-ом Международном конгрессе математиков. Главным событием II Конгресса стал программный доклад Давида Гильберта, сделанный 8 августа 1900 года на заседании 5-й и 6-й секций. Доклад носил скромное название «Математические проблемы», но в нём Гильберт перечислил наиболее насущные и важнейшие, по его мнению, проблемы математики. Математический мир принял этот вызов, и в течение века большинство проблем были так или иначе решены...