מגבלות ההיגיון המתמטי במודלים של בינה מלאכותית