نظریه سیستم‌های نمادین و تقارن‌های جبری